hamayanhamayan https://blog.hatena.ne.jp/hamayanhamayan/ はまやんはまやんはまやん https://blog.hamayanhamayan.com/ 競技プログラミング 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 解説 CF403 Underground Lab CF411 National Property SRM 464 Med ColorfulDecoration 解説1 解説2 ARC069 Flags GCJ 2017 Round2 C. … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.hamayanhamayan.com%2Fentry%2F2017%2F02%2F19%2F024517" title="競技プログラミングにおける2-SAT問題まとめ - はまやんはまやんはまやん" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-02-19 02:45:17 rich https://blog.hamayanhamayan.com/entry/2017/02/19/024517 1.0 100%