随笔分类 -  图论--2-SAT

摘要：题目：https://www.lydsy.com/JudgeOnline/problem.php?id=1997 平面图的一个定理：若边数大于（3*点数-6），则该图不是平面图。 然后就可以2-SAT了！ 注意把输入读完再用定理continue！！！ 注意边是元素，所以是i+m，而且数组也应开成M< 阅读全文