一. 2 - SAT
2-SAT，简单的说就是给出 [image] 个集合，每个集合有两个元素，已知若干个 [image]，表示 [image] 与 [image] 矛盾（其中 [image] 与 [image] 属于不同的集合）。然后从每个集合选择一个元素，判断能否一共选 [image] 个两两不矛盾的元素。显然可能有多种选择方案，一般题中只需要求出一种即可。
解决方案：
- Tarjan SCC 缩点
- 暴搜
二. 图论建模
技巧：1. 建立虚拟源点
2. 建反图
3.慎用SPFA!!!
例题：1.p5837 2.p1525 3.p1262