• [USACO11JAN] The Continental Cowngress G

  2011 · USACO · 2-SAT

• [HNOI2010] 矩阵

  2010 · 各省省选 · 湖南 · 枚举 · 剪枝 · 图论建模 · 2-SAT · 构造 · bitset

• [HNOI2010] 平面图判定

  2010 · 线段树 · 并查集 · 各省省选 · 湖南 · 图论建模 · 平面图 · 2-SAT · 二分图

• [POI 2011] KON-Conspiracy

  2011 · POI（波兰） · 2-SAT · 构造

• [NOI2017] 游戏

  2017 · NOI · Special Judge · O2优化 · 拓扑排序 · 2-SAT · 强连通分量

• [JSOI2010] 满汉全席

  2010 · 各省省选 · 江苏 · 图论建模 · 2-SAT

• 【模板】2-SAT

  图论 · Special Judge · O2优化 · 2-SAT · 强连通分量 · 模板题

• [JSOI2014] 学生选课

  2014 · 二分 · 各省省选 · 江苏 · 2-SAT · 强连通分量

• [北京省选集训2019] 完美塔防

  2019 · 北京 · Special Judge · O2优化 · 2-SAT

• [JSOI2019] 精准预测

  2019 · 各省省选 · 江苏 · O2优化 · 2-SAT · bitset

• [POI 2001 R2] 和平委员会

  2001 · POI（波兰） · Special Judge · 2-SAT

• [PA 2010] Riddle

  2010 · 2-SAT · Tarjan · PA（波兰）

• [ICPC 2014 WF] Metal Processing Plant

  2014 · 2-SAT · ICPC · WF

• [NEERC 2016] Binary Code

  2016 · Special Judge · 图论建模 · 2-SAT · 字典树 Trie · ICPC · NERC/NEERC

• [JOISC 2020] 美味しい美味しいハンバーグ

  贪心 · 2020 · Special Judge · 图论建模 · 2-SAT · 强连通分量 · Tarjan · 分类讨论 · JOISC/JOIST（日本）

• 「C.E.L.U-02」划分可重集

  O2优化 · 图论建模 · 2-SAT · 可持久化线段树

• 「C.E.L.U-03」布尔

  倍增 · O2优化 · 2-SAT · 动态树 LCT · 整体二分

• [THUPC 2023 初赛] 喵了个喵 II

  2023 · Special Judge · O2优化 · 2-SAT · 可持久化线段树 · 构造 · THUPC

• [THUPC 2024 决赛] 机器人

  模拟 · 2024 · Special Judge · 2-SAT · THUPC

• Katu Puzzle

  2-SAT

• [GCJ 2017 #2] Beaming With Joy

  2017 · Special Judge · 2-SAT · Google Code Jam

• [NWRRC 2023] Colorful Village

  2023 · Special Judge · 2-SAT · ICPC · NWRRC

|