POJ 3207 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 <cstdio>
#include <iostream>
#include <cstring>
#include <string>
#include <cstdlib>
#include <algorithm>
#include <cmath>
#include <vector>
#include <set>
#include <list>
#include <queue>
#include <map>
#include <bitset>
using namespace std;
#define L(i) i<<1
#define R(i) i<<1|1
#define INF  0x3f3f3f3f
#define pi acos(-1.0)
#define eps 1e-3
#define maxn 300100
#define MOD 1000000007

struct Edge
{
    int to,next;
} edge[maxn<<1];

int n,m,ans;
int tot,head[maxn],scc;
int dfn[maxn],low[maxn],time;
int sta[maxn],top,instack[maxn];
int belong[maxn];
pair<int,int> mp[maxn];

void init()
{
    tot = 0;
    memset(head,-1,sizeof(head));
}
void add_edge(int u,int v)
{
    edge[tot].to = v;
    edge[tot].next = head[u];
    head[u] = tot++;
}
void tarjan(int u)
{
    dfn[u] = low[u] = ++time;
    sta[++top] = u;
    instack[u] = 1;
    for(int i = head[u]; i != -1; i = edge[i].next)
    {
        int v = edge[i].to;
        if(!dfn[v])
        {
            tarjan(v);
            low[u] = min(low[u],low[v]);
        }
        else if(instack[v])
            low[u] = min(low[u],dfn[v]);
    }
    if(dfn[u] == low[u])
    {
        scc++;
        while(1)
        {
            int v = sta[top--];
            instack[v] = 0;
            belong[v] = scc;
            if(v == u)
                break;
        }
    }
}
int ok(int i,int j)
{
    return mp[i].first < mp[j].first && mp[i].second > mp[j].first && mp[i].second < mp[j].second;
}
int main()
{
    int t,C = 1;
    //scanf("%d",&t);
    while(scanf("%d%d",&n,&m) != EOF)
    {
        for(int i = 0; i < m; i++)
        {
            scanf("%d%d",&mp[i].first,&mp[i].second);
            if(mp[i].first > mp[i].second)
                swap(mp[i].first,mp[i].second);
        }
        init();
        for(int i = 0; i < m; i++)
            for(int j = i + 1; j < m; j++)
            {
                if(ok(i,j) || ok(j,i))
                {
                    add_edge(i,j+m);
                    add_edge(i+m,j);
                    add_edge(j,i+m);
                    add_edge(j+m,i);
                }
            }
        int flag = 1;
        top = time = scc = 0;
        memset(dfn,0,sizeof(dfn));
        memset(belong,0,sizeof(belong));
        memset(instack,0,sizeof(instack));
        for(int i = 0; i < 2*m; i++)
            if(!dfn[i])
                tarjan(i);
        for(int i = 0; i < m; i++)
            if(belong[i] == belong[i+m])
                flag = 0;
        if(flag)
            printf("panda is telling the truth...\n");
        else
            printf("the evil panda is lying again\n");
    }
    return 0;
}