poj3207 Ikki's Story IV - Panda's Trick(2-sat 裸题 tarjan判断是否可行)

题目

题意： 圆环上n个点编号为0,1,2,3…n-1，连接m组点，连线要么在圆内要么在圆外，判断这m条线是否有互不相交的情况。
思路：

第 i 条线 和第 j 条线在圆内相交，在圆外也一定相交。
设第 i 条线 在园内相连 是 i 否则是 ii ，第 j 条线 在园内相连 是 j 否则是 jj.
如果 i 和 j 相交 则 i->jj jj->i ii->j j->ii

#include<cstdio>
#include<algorithm>
using namespace std;
const int N=1e3+5;
struct Edge{int to,nex;}edge[N*N];int head[N],tot;
inline void add(int from,int to){edge[++tot]=(Edge){to,head[from]},head[from]=tot;}
int x[N],y[N];
inline void make_graph(int m){
    for(int i=1;i<=m;++i)
        for(int j=i+1;j<=m;++j)
            if((x[i]<x[j]&&x[j]<y[i]&&y[i]<y[j])||(x[j]<x[i]&&x[i]<y[j]&&y[j]<y[i]))
                add(i,j+m),add(j+m,i),add(i+m,j),add(j,i+m);
}
int low[N],dfn[N],st[N],vis[N],col[N],cnt,index,color;
void tarjan(int x){
    dfn[x]=low[x]=++cnt,st[++index]=x,vis[x]=1;
    for(int i=head[x];i;i=edge[i].nex){
        int y=edge[i].to;
        if(!dfn[y]) tarjan(y),low[x]=min(low[x],low[y]);
        else if(vis[y]) low[x]=min(low[x],dfn[y]);
    }
    if(low[x]==dfn[x]){
        ++color;
        do{col[st[index]]=color,vis[st[index--]]=0;}while(x!=st[index+1]);
    }
}
int main(){
    int n,m;scanf("%d%d",&n,&m);
    for(int i=1;i<=m;++i){
        scanf("%d%d",&x[i],&y[i]);
        if(x[i]>y[i]) swap(x[i],y[i]);
    }
    make_graph(m);
    for(int i=1;i<=2*m;++i) if(!dfn[i]) tarjan(i);
    int flag=0;
    for(int i=1;i<=m;++i) if(col[i]==col[i+m]){flag=1;break;}
    flag?puts("the evil panda is lying again"):puts("panda is telling the truth...");
}