[Poj2723]Get Luffy Out

题意

有$n$组钥匙,每组两把,但只能用一把

$m$扇门每扇门$2$把锁,只要打开一把锁就能开门,问最多能按顺序开几扇门

---

题解

因为是要按照顺序开门,所以答案具有单调性

考虑二分答案,因为每组钥匙都是一对二元组,所以可以联想到$2-sat$来判断

对于一扇门上的两把锁,如果一把不开,另外一把就一定要开

所以对于一扇门$(a,b)$,连边$(a',b),(b',a)$

最后判断是不是$Blong[a]=Blong[a']$

#include<cstdio>
#include<cstring>
#define fp(i,a,b) for(register int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(register int i=a,I=b-1;i>I;--i)
#define go(u) for(register int i=fi[u],v=e[i].to;i;v=e[i=e[i].nx].to)
#define file(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,1:0;}
template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,1:0;}
using namespace std;
char ss[1<<17],*A=ss,*B=ss;
inline char gc(){return A==B&&(B=(A=ss)+fread(ss,1,1<<17,stdin),A==B)?-1:*A++;}
template<class T>inline void sd(T&x){
    char c;T y=1;while(c=gc(),(c<48||57<c)&&c!=-1)if(c==45)y=-1;x=c-48;
    while(c=gc(),47<c&&c<58)x=x*10+c-48;x*=y;
}
const int N=1e5+5,M=2*N;
typedef int arr[N];
struct eg{int nx,to;}e[M];
int n,m,ce,dft,Top,Cnt;arr nt,fi,bl,dfn,low,vis,col,S;
void tarjan(int u){
    dfn[u]=low[u]=++dft;vis[u]=1;S[++Top]=u;
    go(u)if(!dfn[v])tarjan(v),cmin(low[u],low[v]);
        else if(vis[v])cmin(low[u],dfn[v]);
    if(dfn[u]==low[u]){
        ++Cnt;int v;
        do{vis[v=S[Top--]]=0,bl[v]=Cnt;}while(u^v&&Top);
    }
}
struct da{int x,y;}a[N];
#define clr(x) memset(x,0,sizeof x)
inline void add(int u,int v){e[++ce]={fi[u],v},fi[u]=ce;}
inline bool chk(int Mid){
    if(!Mid)return 1;
    Cnt=dft=ce=0;clr(fi),clr(dfn),clr(low);
    fp(i,1,Mid)add(nt[a[i].x],a[i].y),add(nt[a[i].y],a[i].x);
    fp(i,0,2*n-1)if(!dfn[i])tarjan(i);
    fp(i,0,2*n-1)if(bl[i]==bl[nt[i]])return 0;
    return 1;
}
int main(){
    #ifndef ONLINE_JUDGE
        file("s");
    #endif
    int u,v;
    while(sd(n),sd(m),n||m){
        fp(i,1,n)sd(u),sd(v),nt[nt[u]=v]=u;
        fp(i,1,m)sd(a[i].x),sd(a[i].y);
        int L=0,R=m,mid,ans=0;
        while(L<=R){
            mid=(L+R)>>1;
            if(chk(mid))L=mid+1,ans=mid;
            else R=mid-1;
        }printf("%d\n",ans);
    }
return 0;
}