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 , 0 , sizeof(mark));
    for(int i=0 ; i<2*m ; i++) G[i].clear();
}

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

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

bool solve()
{
    for(int i=0 ; i<2*m ; i+=2){
        if(!mark[i] && !mark[i^1]){
            c = 0;
            if(!dfs(i^1)){
                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=0 ; i<m ; i++){
            scanf("%d%d" , &a[i] , &b[i]);
            if(a[i]>b[i]) swap(a[i] , b[i]);
            for(int j=0 ; 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 , 0 , j , 0);
                    add_clause(i , 1 , j , 1);
                }
            }
        }
        printf("%s
" , solve()?"panda is telling the truth...":"the evil panda is lying again");
    }
}