POJ 3207

还是那句话，做2SAT题时，找出矛盾点基本上可解了。这道题也是这样

题意是说给出一个圆上的 n 个点（0~n-1编号），然后在指定的 m 对点之间各连一条线（可以在圆内，也可以在圆外，可以是曲线，这点真心坑爹，开始一直木有看明白），然后问你是否能使这些线都不相交

当两条线在同一边会有交点时，即会有矛盾，建图加边。

对于那些没有交点即没有矛盾的边，直接忽略就好，因为边的含义是“必须”。

#include <iostream>
#include <cstring>
#include <cstdio>
using namespace std;

const int MAXN=1050;
const int MAXM=1000000;
int n,m;
struct d{
    int u,v;
}sv[505];
int dfn[MAXN],low[MAXN],st[MAXN],tot,stop,pat,indx,belong[MAXN];
bool stack[MAXN];
struct e{
    int u,v;
    int next;
}edge[MAXM];
int head[MAXN];

void addedge(int u,int v){
    edge[tot].u=u;
    edge[tot].v=v;
    edge[tot].next=head[u];
    head[u]=tot++;
}

void exch(int &x,int &y){
    if(x>y){
        int tmp=y;
        y=x;
        x=tmp;
    }
}

bool sure(int i,int k){
    int u=sv[k].u;
    int v=sv[k].v;
    int p=sv[i].u;
    int q=sv[i].v;
    if(p>=u&&p<=v&&q>=u&&q<=v)
    return false;
    if(p>=v) return false;
    if(q<=u) return false;
    if(p<=u&&q>=v) return false;
    return true;
}

void tarjan(int u){
    dfn[u]=low[u]=++indx;
    stack[u]=true;
    st[stop++]=u;
    int v;
    for(int e=head[u];e!=-1;e=edge[e].next){
        v=edge[e].v;
        if(dfn[v]==0){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(stack[v]){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u]){
        pat++;
        do{
            v=st[--stop];
            belong[v]=pat;
            stack[v]=false;
        }while(u!=v);
    }
}

int main(){
    int u,v;
    while(scanf("%d%d",&n,&m)!=EOF){
        tot=indx=pat=stop=0;
        for(int i=0;i<m*2;i++){
            dfn[i]=low[i]=belong[i]=0;
            stack[i]=false; head[i]=-1;
        }
        
        for(int i=0;i<m;i++){
            scanf("%d%d",&sv[i].u,&sv[i].v);
            exch(sv[i].u,sv[i].v);
            if(i>0){
                for(int k=0;k<i;k++){
                    if(sure(i,k)){
                        addedge(2*i,2*k+1);
                        addedge(2*k,2*i+1);
                        addedge(2*i+1,2*k);
                        addedge(2*k+1,2*i);
                    }
                }
            }
        }
        
        for(int i=0;i<2*m;i++)
        if(dfn[i]==0)
        tarjan(i);
        
        bool flag=true;
        for(int i=0;i<m;i++){
            if(belong[i*2]==belong[2*i+1]){
                flag=false;
                printf("the evil panda is lying again
");
                break;
            }
        }
        if(flag)
        printf("panda is telling the truth...
");
    }
    return 0;
}