NIIの吉田さん、阪大の山口さんとの共著論文 https://arxiv.org/abs/1704.02700 が理論計算機科学のトップ会議FOCS 2018に採択されました。 概略 与えられたグラフが森か？二部か？与えられた2-CNFが充足可能か？など様々な問題が単純なDFS (unit propagatio…