2-sat一个变量两种状态符合条件的状态建边找强连通,两两成立1 - n 为第一状态(n + 1) - (n + n) 为第二状态
例题模板
链接一
POJ 3207 Ikki's Story IV - Panda's Trick(2-sat)
链接二
Katu Puzzle POJ - 3678 (2 - sat)
链接三
HDU3622 Bomb Game(二分+2-SAT)