题目大意
2N把钥匙,分成两组,每组钥匙只能用一把;
有m个门,每个门两把锁,只要打开一个锁门就开了;
注意
1,门锁有两个一样的
2.每把钥匙只能连续开锁;
2-sat 加 二分
钥匙一组为(a,b);
表示 a&b=1;
门一组为(c,d);
扫描二维码关注公众号,回复:
3453412 查看本文章
表示 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;
}