[HDU3062]Party（2-sat）传送门
2sat问题，只需要判断yes或no
所以可以直接连边，缩点，判断同一组的是否在同一个块中。


1 #include <cstdio>
2 #include <stack>
3 #include <cstring>
4 #includ

对于2-sat问题的求解一.O(n+m)
暴力不多说
二.O(m)
1．构图

2．求图的极大强连通子图

3．把每个子图收缩成单个节点，根据原图关系构造一个有向无环图

4．判断是否有解，无解则输出（退出）

5．对新图进行拓