本日は大学の修論研究発表会でした．何故タブロー法は変な木を生成するだけで充足可能性判定ができるんだろうかとずっと疑問に思っていたのですが、あの木は（与えられた論理式が充足可能なときは）論理式を充足するあるモデルそのものなんだそうです．様相…

Korte と Vygen の「組み合わせ最適化」を読んでいたら、突然以下のような補題が出てきました（以下は第二版 23 ページからの引用）． 補題 2.6 (Minty [1960]) を有向グラフとし， とする． は黒で彩色され，残りの各辺は赤，黒あるいは緑のいずれかで彩色…

広告つぶしにコメント．最近忙しいです．今度、IJCAI 2011 に出てた Civilization 関連の論文でも読んでみようかなぁと思っています．