POJ 3207 Ikki's Story IV - Panda's Trick (2-SAT)

题意：给一个圈，上面有n个点，0~n-1，然后再给你m对点，之间连边，可以连在圈内也可以连载圈外，问最后是否能将这m条边都连接，并且之间互不相交

思路：将每条边看成一个点，若两条边可能相交，那么，一个连圈内，一个连圈外，将每个点分点成a,a'，表示连载圈外和圈内，建立2-SAT模型即可。注意两条直线的相交判断。

#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
const int maxn=1005;
const int maxm=2*1005*1005;
int n,m;
struct node
{
    int to,next;
} e[maxm];
int head[maxn],edge;
int l[505],r[505];
inline void addedge(int u,int v)
{
    e[edge].to=v,e[edge].next=head[u],head[u]=edge++;
}
bool instack[maxn];
int dfn[maxn],low[maxn],stap[maxn],belong[maxn],cnt,ccnt,stop;
void init()
{
    stop=ccnt=cnt=edge=0;
    memset(head,-1,sizeof(head));
    memset(belong,0,sizeof(belong));
    memset(dfn,0,sizeof(dfn));
}
void dfs(int i)
{
    int v,u=i;
    dfn[u]=low[u]=++cnt;
    instack[i]=true;
    stap[stop++]=u;
    for(int j=head[u]; ~j; j=e[j].next)
    {
        if(!dfn[v=e[j].to])
        {
            dfs(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
            low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u])
    {
        ccnt++;
        while(true)
        {
            v=stap[--stop];
            belong[v]=ccnt;
            instack[v]=false;
            if(v==u) break;
        }
    }
}
void tarjan()
{
    for(int i=0; i<2*m; i++)
        if(!dfn[i])
            dfs(i);
}
bool ok()
{
    for(int i=0; i<2*m; i+=2)
        if(belong[i]==belong[i^1]) return 0;
    return 1;
}
bool touch(int i,int j)
{
    if(l[i]<l[j]&&r[i]>l[j]&&r[j]>r[i]) return 1;
    if(l[i]>l[j]&&l[i]<r[j]&&r[i]>r[j]) return 1;
    return 0;
}
int main()
{
    while(~scanf("%d%d",&n,&m))
    {
        init();
        for(int i=0;i<m;i++)
        {
            scanf("%d%d",&l[i],&r[i]);
            if(l[i]>r[i]) swap(l[i],r[i]);
        }
        for(int i=0;i<m;i++)
        for(int j=0;j<m;j++)
        if(i!=j&&touch(i,j))
        {
            addedge(i<<1,j<<1|1);
            addedge(i<<1|1,j<<1);
        }
        tarjan();
        if(ok())  puts("panda is telling the truth...");
        else puts("the evil panda is lying again");
    }
    return 0;
}