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;

}