[bzoj1997][Hnoi2010]平面图判定——2-SAT+平面图定理
题目大意:
给定一个带有哈密顿回路的图,求此图是否为平面图。
思路:
既然有哈密顿回路,则可以把环外和环内看成两个不同的区域,然后如果有不是环上的边相交的话就不能同时在环内或者环外。然后就可以转化为2-SAT模型。
但是发现如果枚举去连边的话显然很可能会TLE。这个时候要用到平面图的一个定理,即任意一个平面图的边的个数不大于3*n-6,至于证明我就不知道了。。
然后就直接枚举连边跑2-S...
原创
2018-08-19 16:53:27 ·
747 阅读 ·
0 评论