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）
链接三
来源：https://www.cnblogs.com/DWVictor/p/11355038.html
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）
链接三
来源：https://www.cnblogs.com/DWVictor/p/11355038.html