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;
}