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

2-SATとは 「x ∧ y」の選言の充足判定をする 解説 コドフォ記事 2-SATはSCCで解ける ダメな組合せが見つかったときに制約を作る 問題 yukicoder No.274 The Wall 解説 CF400 The Door Problem yukicoder No.470 Inverse S+T 解説1 …