[BZOJ 1997][HNOI2010]Planar(2-SAT)

题目：http://www.lydsy.com:808/JudgeOnline/problem.php?id=1997

分析：

考虑每条边是在圈子里面还是圈子外面

所以就变成了2-SAT判定问题了= =，于是求SCC，如果一个点对应的2个bool点在一个SCC中就无解了。

当然这样建图好像要TLE……

然后就要上大杀器了：平面图|E|<=3|V|-6

所以，如果m>3n-6就直接输出NO了