POJ3207 Ikki's Story IV

Ikki's Story IV - Panda's Trick

题目大意：一个圆，上面依次有n个点：0、1、2、3、……、n-1，给出m条边，每边连接其中的两个点，边可以从圆内连，也可以从圆外连，每个点最多只连一条边。问是否可以实现连边且每两条边都不相交？

————————————————————————————————————

每一条边只能从圆内连或圆外连，就是2-SAT问题。

如果两边的起点交叉，也就是u[i]<u[j]<v[i]<v[j]或者u[j]<u[i]<v[j]<v[i]，那么两边只能一条从圆内连一条从圆外连，也就是

i*2---->j*2-1

j*2-1---->i*2

j*2---->i*2-1

i*2-1---->j*2

然后tarjan，求每个点的强连通分量，如果i*2和i*2-1在一个强连通分量内，也就是第i条边在圆内又在圆外，那么无解！否则有解！

————————————————————————————————————

#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
const int maxn=1005;
const int maxm=505;
int n,m;
int uu[maxm],vv[maxm];
struct edge
{
    int u,v,nxt;
}e[maxm*maxm*2];
int head[maxm<<1],js;
void addage(int u,int v)
{
    e[++js].u=u;e[js].v=v;
    e[js].nxt=head[u];head[u]=js;
}
int low[maxm<<1],dfn[maxm<<1],cnt,st[maxm<<1],top,lt[maxm<<1],lts;
void tarjan(int u)
{
    low[u]=dfn[u]=++cnt;
    st[++top]=u;
    for(int i=head[u];i;i=e[i].nxt)
    {
        int v=e[i].v;
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(!lt[v]) low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        lt[u]=++lts;
        while(st[top]!=u)lt[st[top--]]=lts;
        --top;
    }
}

int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;++i)
    {
        scanf("%d%d",uu+i,vv+i);
        if(uu[i]>vv[i])swap(uu[i],vv[i]);
    }
    for(int i=1;i<=m;++i)
        for(int j=i+1;j<=m;++j)
            if((uu[i]<uu[j]&&uu[j]<vv[i]&&vv[i]<vv[j])||(uu[j]<uu[i]&&uu[i]<vv[j]&&vv[j]<vv[i]))
            {
                addage(i*2-1,j*2);
                addage(j*2,i*2-1);
                addage(i*2,j*2-1);
                addage(j*2-1,i*2);
            }
    for(int i=1;i<=m*2;++i)
        if(!dfn[i])tarjan(i);
    for(int i=1;i<=m;++i)
        if(lt[i*2]==lt[i*2-1])
        {
            puts("the evil panda is lying again");
            return 0;
        }
    puts("panda is telling the truth...");
    return 0;
}