BZOJ1997: [Hnoi2010]Planar（洛谷P3209）

2-SAT 平面图

BZOJ题目传送门
洛谷题目传送门

首先根据平面图的性质，如果$m>n*3-6$，那么这个图一定不是平面图。这样我们就可以把边数缩至$n$级别的了。

因为存在哈密顿回路，那么对于连接相同的两点的边，最多只能有两条（除了哈密顿回路的边），一条在环的里面，一条在环的外面。这样的限制满足2-SAT.

用手画几张图就可以发现，当两条边相交时，必然都在环的同一侧。记相交的边$i$连接的两点为$u$和$v$（