2-SAT算法

参考blog

参考论文

参考论文

题目 & 题解

裸2-SAT

• poj3683
• poj3207
• poj3678
• poj3648

2-SAT + 二分法

• poj2723
• poj2749
• hdu3622
• hdu3715

一点总结

1. 寻找对立关系，一般是每回合（每次）只能选择2个中的一个，且另一个不能选择了。
2. 连边。x -> y 表示 若 x 为真，则 y 为真，那么在寻找 边的关系时，保证若 x 为真，则只有一个确定的 y 为真（也就是只能建一条边）
   
   例如，x or y , 表示 x' -> y ，y' -> x 。对于单独的 x 为真 ，则连边 x' -> x。
3. 有些题目存在 (x xor y) = 1 ，即 x -> y' , x' -> y, y -> x' , y' -> x，可以发现组成了两个环，即一个确定下来后，另一个也确定下来了，属于同一强连通分量。