poj Ikki's Story IV - Panda's Trick (2-sat)

/*
平面上，一个圆，圆的边上按顺时针放着n个点。现在要连m条边，比如a，b，那么a到b可以从圆的内部连接，也可以从圆的外部连接。给你的信息中，每个点最多只会连接的一条边。问能不能连接这m条边，使这些边都不相交。
解题报告：


题意可能刚开始不是很好理解，比如1 5连边，2，6连边，由于点是顺序排列的，一画图就可以发现，这两条边必须一个从圆外面连，一个从内部连，否则就会相交。如果再加入3 7这条边，那么就必须相交了。


这样，就可以转化成标准的2-sta问题：


1：每个边看成2个点：分别表示在内部连接和在外部连接，只能选择一个。计作点i和点i'


2：如果两条边i和j必须一个画在内部，一个画在外部（一个简单判断就可以）


那么连边：


i->j’, 表示i画内部的话，j只能画外部，即j’


j->i’，同理


i’->j，同理


j’->i，同理


然后就是2-sat算法了，tarjan一下，如果有i和i'同属于一个强联通，返回false，否则就成立。
*/
# include <stdio.h>
# include <string.h>
# include <algorithm>
# include <stack>
using namespace std;
const int MAXN = 1010;
const int MAXM = 2000010;
struct Edge
{
    int to,next;
} edge[MAXM];
int head[MAXN],tot;
void init()
{
    tot = 0;
    memset(head,-1,sizeof(head));
}
void add(int u,int v)
{
    edge[tot].to = v;
    edge[tot].next = head[u];
    head[u] = tot++;
}
int Low[MAXN],DFN[MAXN],Stack[MAXN],Belong[MAXN];//Belong数组的值1~scc
int Index,top;
int scc;
bool Instack[MAXN];
int num[MAXN];
int n,m;
void Tarjan(int u)
{
    int v;
    Low[u] = DFN[u] = ++Index;
    Stack[top++] = u;
    Instack[u] = true;
    for(int i = head[u]; i != -1; i = edge[i].next)
    {
        v = edge[i].to;
        if( !DFN[v] )
        {
            Tarjan(v);
            if(Low[u] > Low[v])Low[u] = Low[v];
        }
        else if(Instack[v] && Low[u] > DFN[v])
            Low[u] = DFN[v];
    }
    if(Low[u] == DFN[u])
    {
        scc++;
        do
        {
            v = Stack[--top];
            Instack[v] = false;
            Belong[v] = scc;
            num[scc]++;
        }
        while(v != u);
    }
}
bool solve()
{
    memset(DFN,0,sizeof(DFN));
    memset(Instack,false,sizeof(Instack));

    memset(num,0,sizeof(num));
    Index = scc = top = 0;
    for(int i = 1; i <=2*m; i++)
        if(!DFN[i])
            Tarjan(i);
    for(int i = 1; i <=m; i++)
    {
        if(Belong[i] == Belong[i+m])
            return false;
    }
    return true;
}
void build()
{
    int x[1010],y[1010];
    for(int i=1; i<=m; i++)
    {
        scanf("%d%d",&x[i],&y[i]);
        x[i]++;
        y[i]++;
        if(x[i]>y[i])
            swap(x[i],y[i]);
    }

    for(int i=1; i<=m; i++)
    {
        for(int j=i+1; j<=m; j++)
        {
            if((x[j]>=x[i]&&y[i]>=x[j]&&y[j]>=y[i])||(x[i]>=x[j]&&y[j]>=x[i]&&y[i]>=y[j]))
            {
                add(i,j+m);
                add(j,i+m);
                add(i+m,j);
                add(j+m,i);
            }
        }
    }
}
int main()
{
    while(~scanf("%d%d",&n,&m))
    {
        init();
        build();
        if(solve())
            puts("panda is telling the truth...");
        else
            puts("the evil panda is lying again");
    }
    return 0;
}