[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了

 

posted @ 2015-03-04 22:37  Chellyutaha  阅读(102)  评论(0编辑  收藏  举报