poj 2723（2 sat 加 二分）

题目大意

2N把钥匙，分成两组，每组钥匙只能用一把；

有m个门，每个门两把锁，只要打开一个锁门就开了；

注意

1，门锁有两个一样的

2.每把钥匙只能连续开锁；

2-sat 加 二分

钥匙一组为（a,b);

表示 a&b=1;

门一组为（c,d);

表示 c|d=1;

二分门的数量

check():跑tarjian ,存在a点对应的a1和a0属于同一个环不成立。

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
#define f(a, b, c) for(int a=(b);a<=c;a++)
int top,idc,low[4100],dfn[4100],zhang[100004],vis[4100],seq,color[4100];
int tov[10004],h[4100],nex[10004],tp;
int n,m,key[2100][2],men[2100][2];
void add(int x,int y)
{
	tp++;
	tov[tp]=y;
	nex[tp]=h[x];
	h[x]=tp;
} 
void build(int x)
{
	tp=0;
	memset(h,0,sizeof(h));
	f(i,1,n)
	{
		add(key[i][0],key[i][1]+2*n);
		add(key[i][1],key[i][0]+2*n);
	}
	f(i,1,x)
	{
		add(men[i][0]+2*n,men[i][1]);
		add(men[i][1]+2*n,men[i][0]);
	}
	
}

void tarjian(int x)
	{
		idc++;
		low[x]=dfn[x]=idc;
		top++;
		zhang[top]=x;
		vis[x]=1;
		for(int i=h[x];i;i=nex[i])
		{
			int v=tov[i];
			if(!dfn[v])
			{
				tarjian(v);
				low[x]=min(low[x],low[v]);
			}
			else if(vis[v]==1)
			{
				low[x]=min(low[x],dfn[v]);
			}
		}
		if(low[x]==dfn[x])
		{
			seq++;
			while(1)
			{
			  int u=zhang[top];
			  top--;
			  vis[u]=0;
			  color[u]=seq;
			  if(u==x)
			  {
			  	break;
			  }
			}
		}
	}
int check()
{
	memset(dfn,0,sizeof(dfn));
	memset(low,0,sizeof(low));
	memset(vis,0,sizeof(vis)); 
	memset(color,0,sizeof(color)); 
	top=0;
	idc=0;
	memset(zhang,0,sizeof(zhang));
	for(int i=1;i<=4*n;i++)
	{
		if(dfn[i]==0)tarjian(i);
	}
	for(int i=1;i<=2*n;i++)
	{
		if(color[i]==color[i+2*n])
		{
			return 0;
		}
	}
	return 1;
}
int main()
{
	while(1)
    
	{scanf("%d%d",&n,&m);
    	if(n==0) break;
    	f(i,1,n)
    	{
    		scanf("%d%d",&key[i][0],&key[i][1]);
		}
		f(i,1,m)
    	{
    		scanf("%d%d",&men[i][0],&men[i][1]);
		}
		int l=0,r=m,ans=0;
		while(l<=r)
		{
			int mid=(l+r)/2;
			build(mid);
			if(check())
		    {
			l=mid+1;
			 ans=mid;
		    }
		    else r=mid-1;
		}
		printf("%d\n",ans);
	}
	return 0;
}