poj 3207 2-sat

一圈的点从0到n-1顺次围起来，题目中给出m条links，要求你把这些link对应的点连起来，问是否存在一种可能使得连完后不存在相交的两条线

另外，连线有两种连法，内部相连与外部相连，而且题目保证

 Every point will have at most one link.

很明显的two-sat(虽然做之前已经知道是two-sat了，囧)

把每条边看成图中的一个点，如果两条边的区间存在相交，则两条边必然是一内一外才能保证不相交。假如有m条边要连接，则实际可能被连的边有2*m条

建图的时候，假设1到m都是在内部的边，m+1到2*m对应外部的边，如果i,j之间区间存在交集，即矛盾了，则必须把 i ，j+m两条边连起来，以为必须有一条在里面，一条在外面，这样图就可以建成了，随后就是求强连通（SCC）的过程了，关键是建图！

#include<stdio.h>
#include<string.h>
#include<vector>
#include<algorithm>
using namespace std;
const int MAX = 10010;
vector<int> edge[MAX];
int st[MAX];
int dfn[MAX],low[MAX];
int top,btype,tdfn;
int belong[MAX];
bool ins[MAX];
void dfs(int s)
{
int i,t;
dfn[s]=low[s]=++tdfn;
ins[s]=true;
st[++top]=s;
for(i=0;i<edge[s].size();i++)
{
t=edge[s][i];
if(!dfn[t])
{
dfs(t);
if(low[t]<low[s]) low[s]=low[t];
}
else if(ins[t] && dfn[t]<low[s])  low[s]=dfn[t];
}
if(dfn[s]==low[s])
{
btype++;
do
{
t=st[top--];
ins[t]=false;
belong[t]=btype;
}while(t!=s);
}
}
void SCC(int n)
{
int i;
top=btype=tdfn=0;
memset(ins,false,sizeof(ins));
memset(dfn,0,sizeof(dfn));
for(i=1;i<=n;i++)
if(!dfn[i])
dfs(i);
}
int rec[510][2];
int main()
{
int i,j,k;
int n,m;
int a,b;
scanf("%d%d",&n,&m);
for(i=0;i<=n;i++)
edge[i].clear();
for(i=1;i<=m;i++)
{
scanf("%d%d",&a,&b);
a++;b++;
if(a>b) swap(a,b);
rec[i][0]=a;
rec[i][1]=b;
}
for(i=1;i<=m;i++)
for(j=i+1;j<=m;j++)
{
if(rec[j][0]>rec[i][0]&&rec[j][0]<rec[i][1]&&rec[j][1]>rec[i][1]
||rec[j][1]>rec[i][0]&&rec[j][1]<rec[i][1]&&rec[j][0]<rec[i][0])
{
edge[i].push_back(j+m);
edge[j+m].push_back(i);
edge[i+m].push_back(j);
edge[j].push_back(i+m);
}
}
SCC(2*m);
bool ans=true;
for(i=1;i<=m;i++) if(belong[i]==belong[i+m])
{
ans=false;
break;
}
if(ans)
printf("panda is telling the truth...\n");
else printf("the evil panda is lying again\n");

return 0;
}