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])) ;这个时候，两条边不管在什么地方都不会影响的

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

 #include <cstdio>
 #include <vector>
 #include <iostream>
 #include <cstring>
 #include <algorithm>
 using namespace std;
 #define N 2010
 int S[N] , n , m , c;
 bool mark[N];
 vector<int> G[N];

 void init()
 {
     memset(mark ,  , sizeof(mark));
     for(int i= ; i<*m ; i++) G[i].clear();
 }

 void add_clause(int i , int p , int j , int q)
 {
     int m=*i+p , n=*j+q;
     G[m^].push_back(n);
     G[n^].push_back(m);
 }

 bool dfs(int u)
 {
     if(mark[u]) return true;
     if(mark[u^]) return false;
     mark[u] = true;
     S[c++] = u;
     for(int i= ; i<(int)G[u].size() ; i++)
         if(!dfs(G[u][i])) return false;
     return true;
 }

 bool solve()
 {
     for(int i= ; i<*m ; i+=){
         if(!mark[i] && !mark[i^]){
             c = ;
             if(!dfs(i^)){
                 while(c) mark[S[--c]] = false;
                 if(!dfs(i)) return false;
             }
         }
     }
     return true;
 }

 int main()
 {
     //freopen("in.txt" , "r" , stdin);
     while(~scanf("%d%d" , &n , &m))
     {
         init();
         int a[N] , b[N];
         for(int i= ; i<m ; i++){
             scanf("%d%d" , &a[i] , &b[i]);
             if(a[i]>b[i]) swap(a[i] , b[i]);
             for(int j= ; j<i ; j++){
                 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])) ;
                 else {
                  //   cout<<i<<" "<<j<<endl;
                     add_clause(i ,  , j , );
                     add_clause(i ,  , j , );
                 }
             }
         }
         printf("%s\n" , solve()?"panda is telling the truth...":"the evil panda is lying again");
     }
 }