poj 3905 2-sat

很奇怪很奇怪的一件事情

输入的时候用scanf ("%s%s",s1,s2)竟然错了

最后无语的换了下输入，建图不难的

#include<stdio.h>

#include<string.h>

#include<vector>

#include<algorithm>

using namespace std;

const int MAX = 2011;

vector<int> edge[MAX];

int st[MAX];

int dfn[MAX],low[MAX];

int top,btype,tdfn;//btype:Á¬Í¨¿éµÄ¸öÊý

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 main()

{

	int n,m,i;

	while(scanf("%d%d",&n,&m)!=EOF)

	{

		for(i=0;i<=2*n;i++)

			edge[i].clear();

		for(i=0;i<m;i++)

		{

			for (i = 0; i < m; i++)

			{

				int rx,ry,x,y;

                scanf("%d%d",&x,&y);

				if (x > 0)

					rx = x + n;

				else

				{

					rx = -x;

					x = rx + n;

				}

				if (y > 0)

					ry = y + n;

				else

				{

					ry = -y;

					y = ry + n;

				}

				edge[rx].push_back(y);

				edge[ry].push_back(x);

			}

		}

		SCC(2*n);

		bool flag=true;

		for(i=1;i<=n;i++)

			if(belong[i]==belong[i+n])

				flag=false;

			if(flag) printf("1\n");

			else printf("0\n");

	}

	return 0;

}