poj 3207 Ikki's Story IV - Panda's Trick【2-set】

題目：poj 3207 Ikki’s Story IV - Panda’s Trick

題意：給出一個有（0-n-1）組成的圓，然後連接上面的一些點，可以選擇從圓內部連接或者內部連接，然後問你所有的都不想交可不可行

分析：對於每條Link，要麼在圓外，要麼在圓內，且不可同時滿足，
只能兩者取一，判斷這M條Link是否合法，也就是M條Link不衝突，
這就是典型的2-sat問題了。 將每條Link i 看做一個點，如果Link在圓內，
則選做i ，如果在圓外， 則選做i’。對於兩條線(i,j) ，如果i，j不能同時
在圓內，也就可以推出兩者不能同時在圓外，建邊跑2-set就ok了

#include <iostream>
#include <cstdio>
#include <cstring>
#include <vector>
#include <cmath>
#include <stack>
#include <algorithm>
using namespace std;
const int N = 1200;

struct TwoSet
{
    vector<int> G[2*N];
    int s[2*N],c;
    bool vis[2*N];
    void init(int n)
    {
        for(int i=0;i<=2*n;i++)
            G[i].clear();
        memset(vis,false,sizeof(vis));
    }
    void add_Node(int x,int y)
    {
        G[x].push_back(y^1);
        G[y].push_back(x^1);
    }
    bool dfs(int x)
    {
        if(vis[x^1])
            return false;
        if(vis[x])
            return true;
        vis[x] = true;
        s[c++] = x;
        for(int i=0;i<G[x].size();i++)
        {
            if(!dfs(G[x][i]))
                return false;
        }
        return true;
    }
    bool yougth(int n)
    {
        for(int i = 0;i< 2*n;i+=2)
        {
            if(!vis[i] && !vis[i+1])
            {
                c = 0;
                if(!dfs(i))
                {
                    while(c>0)
                        vis[ s[--c] ] = false;
                    if(!dfs(i+1))
                        return false;
                }
            }
        }
        return true;
    }
};
TwoSet solve;
struct Node
{
    int x,y;
};
Node a[N];
int main()
{
//    freopen("Input.txt","r",stdin);
    int n,m;
    while(~scanf("%d%d",&n,&m))
    {
        for(int i=0;i<m;i++){
            scanf("%d%d",&a[i].x,&a[i].y);
            if(a[i].x>a[i].y)
                swap(a[i].x,a[i].y);
        }
        solve.init(m);
        for(int i=0;i<m;i++)
        {
            if(abs(a[i].x-a[i].y)==1)
                continue;
            for(int j=i+1;j<m;j++)
            {
                if(abs(a[j].x-a[j].y)==1)
                    continue;
                if( (a[i].x>a[j].x && a[i].y>a[j].y) || (a[i].x<a[j].x && a[i].y<a[j].y)  )
                    solve.add_Node(i,j);
            }
        }
        if(solve.yougth(m))
            puts("panda is telling the truth...");
        else
            puts("the evil panda is lying again");
    }
    return 0;
}