BZOJ 1997: [Hnoi2010]Planar 2-sat

1997: [Hnoi2010]Planar

Time Limit: 10 Sec  Memory Limit: 64 MB
Submit: 2046  Solved: 762
[Submit][Status][Discuss]

Description

Input

Output

Sample Input

2
6 9
1 4
1 5
1 6
2 4
2 5
2 6
3 4
3 5
3 6
1 4 2 5 3 6
5 5
1 2
2 3
3 4
4 5
5 1
1 2 3 4 5

Sample Output

NO
YES

平面图性质m<=3n-6

可以少算点。。

已知哈密顿回路

所以

先令所有边在环内

两条相交的边必有一个在环外

2-sat搞一搞