poj 2723 2-sat

其实可以二分的，听说直接输入一扇门的信息，做一次SCC也能爆过，就直接暴力了，呵呵~

每个门有两把锁，这就有了一种关系，假设两把锁是a，b，那么不开a就一定要开b，不开b就一定要开a，即b'->a,a'->b;

另外还有n对矛盾关系，用了a钥匙就不能用b钥匙，a->b',b->a'

然后，强连通求解

#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;//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 i,j,k;
	int n,m;
	int a,b;
	while(scanf("%d%d",&n,&m),(n||m))
	{
		for(i=0;i<=4*n;i++)
			edge[i].clear();
		for(i=0;i<n;i++)
		{
			scanf("%d%d",&a,&b);
			a++,b++;
			edge[a].push_back(b+2*n);
			edge[b].push_back(a+2*n);
		}
		int ans=0;
		bool flag=true;
		for(i=0;i<m;i++)
		{
			scanf("%d%d",&a,&b);
			a++,b++;
			if(flag)
			{
				edge[a+2*n].push_back(b);
				edge[b+2*n].push_back(a);
			    SCC(4*n);
				for(j=1;j<=2*n;j++)
				{
					if(belong[j]==belong[j+2*n])
					{
						flag=false;
						break;
					}	
				}
				if(flag)ans++;
			}
			else continue;
		}
		printf("%d\n",ans);
        
	}
	return 0;
}