はまやんはまやんはまやん

hamayanhamayan's blog

2017-02-19から1日間の記事一覧

競技プログラミングにおける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 解説2 CC Vertex Cover 解…