摘要：题目：https://www.lydsy.com/JudgeOnline/problem.php?id=1997 神奇的经典2-SAT问题！ 对于两个相交的区间，只能一里一外连边，所以可以进行2-SAT问题的建模； 但 m 太大了，可以用一个平面图的定理，m <= 3*n - 6 来缩小范围； 注意 阅读全文

摘要：题目：http://acm.hdu.edu.cn/showproblem.php?pid=1814 第一次的2-SAT，推荐博客：https://blog.csdn.net/jarjingx/article/details/8521690 但这题就是暴力； 还调了好久... 代码如下： 阅读全文