2-SAT

Part1:模板

从最基础的题目开始做起,了解原理和性质
P4782 【模板】2-SAT 问题最基础的问题
P4171 [JSOI2010]满汉全席也是很基础的题目
P5782 [POI2001]和平委员会把党派中1号委员看做u,把2号委员看做u'
CF1239D Catowice City
P3007 [USACO11JAN] The Continental Cowngress G
CF27D Ring Road 2

Part2:进阶题目

比较好的练习题
UVA11294 Wedding每对夫妻拆成4个点
UVA1391 Astronauts每个宇航员有两种选择
P3513 [POI2011]KON-Conspiracy2-SAT加统计

Part3:优化建图

优化建图是一个2-SAT常用Trick,一般有前后缀优化与线段树建图优化
P6378 [PA2010]Riddle每一个部分进行一次前后缀优化
AT2336 [ARC069D] Flags线段树优化建图
P7477 「C.E.L.U-02」划分可重集树状数组/主席树优化建图
P6965 [NEERC2016]Binary CodeTrie优化建图+前缀优化建图结合
CF1215F Radio Stations经典建图难题
CF587D Duff in Mafia二分+前缀优化建图

Part4:其它题目

P3825 [NOI2017]游戏二进制枚举+2-SAT
P7843 「C.E.L.U-03」布尔结合整体二分
P5332 [JSOI2019]精准预测
P7216 [JOISC2020] 美味しい美味しいハンバーグ构造题(这题不应该先想2-SAT)


  1. P4782 - 【模板】2-SAT
  2. P4171 - [JSOI2010] 满汉全席
  3. P5782 - [POI 2001 R2] 和平委员会
  4. CF1239D - Catowice City
  5. P3007 - [USACO11JAN] The Continental Cowngress G
  6. CF27D - Ring Road 2
  7. UVA11294 - Wedding
  8. UVA1391 - Astronauts
  9. P3513 - [POI 2011] KON-Conspiracy
  10. P6378 - [PA 2010] Riddle
  11. AT_arc069_d - [ARC069F] Flags
  12. P7477 - 「C.E.L.U-02」划分可重集
  13. P6965 - [NEERC 2016] Binary Code
  14. CF1215F - Radio Stations
  15. CF587D - Duff in Mafia
  16. P3825 - [NOI2017] 游戏
  17. P7843 - 「C.E.L.U-03」布尔
  18. P5332 - [JSOI2019] 精准预测
  19. P7216 - [JOISC 2020] 美味しい美味しいハンバーグ