競技プログラミングにおける2-SAT問題まとめ

2-SATとは しっかりした定義ではなく競技プログラミングで使う定義では、「x ∧ y」の選言の充足判定をすること。 http://naoyat.hatenablog.jp/entry/2013/07/13/220034 http://codeforces.com/blog/entry/16205 この辺りが詳しい。 …