标签：
题目：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了
[BZOJ 1997][HNOI2010]Planar(2-SAT)
标签：
原文地址：http://www.cnblogs.com/wmrv587/p/4314531.html
