BZOJ 1997 Hnoi2010 Planar 2-sat
题目大意:给定一个带哈密顿回路的图,判断这个图是否是平面图
这竟然是我第一次写2-sat。。。
把哈密顿回路拎出来,每条边只有两种可能:在里面或者在外面
如果两条边相交,那么必须一条在里面一条在外面
然后建2-sat就好了。。。
10000条边显然不能暴力建图,但是我们发现如果边数>3*点数,那么这个图一定不是平面图
这样就把边数缩小到了400,然后就可以做了
#include
#
原创
2015-03-24 15:32:17 ·
2259 阅读 ·
0 评论