POJ 3207 2-sat

 题目大意：

在圆上顺时针n个点，给定m个连接，可以通过圆内或者圆外相交，问能不能找到一种方式，使这些连接的边都不相交

 

 这里很容易看出的是，这些边只有在圆外或者圆内两种连接方式，而且必须选择其中一种

所以2-sat以这些边作为连接点，向内连接为2*i，圆外连接为2*i+1

自己画画图可以找到规律

if(b[i]<a[j] || b[j]<a[i] || (a[i]<a[j]&&b[i]>b[j]) || (a[j]<a[i]&&b[j]>b[i])) ;这个时候，两条边不管在什么地方都不会影响的

其他的情况就必须保证一条在圆内一条在圆外

 

 1 #include <cstdio>

 2 #include <vector>

 3 #include <iostream>

 4 #include <cstring>

 5 #include <algorithm>

 6 using namespace std;

 7 #define N 2010

 8 int S[N] , n , m , c;

 9 bool mark[N];

10 vector<int> G[N];

11 

12 void init()

13 {

14     memset(mark , 0 , sizeof(mark));

15     for(int i=0 ; i<2*m ; i++) G[i].clear();

16 }

17 

18 void add_clause(int i , int p , int j , int q)

19 {

20     int m=2*i+p , n=2*j+q;

21     G[m^1].push_back(n);

22     G[n^1].push_back(m);

23 }

24 

25 bool dfs(int u)

26 {

27     if(mark[u]) return true;

28     if(mark[u^1]) return false;

29     mark[u] = true;

30     S[c++] = u;

31     for(int i=0 ; i<(int)G[u].size() ; i++)

32         if(!dfs(G[u][i])) return false;

33     return true;

34 }

35 

36 bool solve()

37 {

38     for(int i=0 ; i<2*m ; i+=2){

39         if(!mark[i] && !mark[i^1]){

40             c = 0;

41             if(!dfs(i^1)){

42                 while(c) mark[S[--c]] = false;

43                 if(!dfs(i)) return false;

44             }

45         }

46     }

47     return true;

48 }

49 

50 int main()

51 {

52     //freopen("in.txt" , "r" , stdin);

53     while(~scanf("%d%d" , &n , &m))

54     {

55         init();

56         int a[N] , b[N];

57         for(int i=0 ; i<m ; i++){

58             scanf("%d%d" , &a[i] , &b[i]);

59             if(a[i]>b[i]) swap(a[i] , b[i]);

60             for(int j=0 ; j<i ; j++){

61                 if(b[i]<a[j] || b[j]<a[i] || (a[i]<a[j]&&b[i]>b[j]) || (a[j]<a[i]&&b[j]>b[i])) ;

62                 else {

63                  //   cout<<i<<" "<<j<<endl;

64                     add_clause(i , 0 , j , 0);

65                     add_clause(i , 1 , j , 1);

66                 }

67             }

68         }

69         printf("%s\n" , solve()?"panda is telling the truth...":"the evil panda is lying again");

70     }

71 }