【二分+2-SAT+Tarjan】POJ2723 Get Luffy Out

题面在这里

2-SAT经典题……

钥匙只能二选一，所以很容易看出是2-SAT问题
考虑约束关系：
对于一扇门，假设它两把锁为(a,b)
那么为了过这扇门，选了a’就一定要选b，反之亦然
后面不需要讲了……

然而每次枚举过几扇门太慢了，直接二分答案

注意：数据范围有点坑

示例程序：

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int maxn=5000,maxe=maxn;
int N,M,n,p[maxn];
int tot,lnk[maxn],son[maxe],nxt[maxe];
inline char nc(){
    static char buf[100000],*p1=buf,*p2=buf;
    return p1==p2&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
}
inline int red(){
    int res=0,f=1;char ch=nc();
    while (ch<'0'||'9'<ch) {if (ch=='-') f=-f;ch=nc();}
    while ('0'<=ch&&ch<='9') res=res*10+ch-48,ch=nc();
    return res*f;
}
inline void add(int x,int y){
    son[++tot]=y;nxt[tot]=lnk[x];lnk[x]=tot;
}
struct door{
    int x,y;
}a[maxe];
int dfn[maxn],low[maxn],stk[maxn],to[maxn],tim;
bool instk[maxn];
void tarjan(int x){
    stk[++stk[0]]=x;instk[x]=1;
    dfn[x]=low[x]=++tim;
    for (int j=lnk[x];j;j=nxt[j])
     if (!dfn[son[j]]) tarjan(son[j]),low[x]=min(low[x],low[son[j]]);else
     if (instk[son[j]]) low[x]=min(low[x],dfn[son[j]]);
    if (low[x]==dfn[x])
     while (stk[stk[0]+1]!=x)
      instk[stk[stk[0]]]=0,to[stk[stk[0]--]]=x;
}
bool check(int m){
    memset(lnk,0,sizeof(lnk));tot=0;
    for (int i=1;i<=m;i++)
     add(p[a[i].x],a[i].y),add(p[a[i].y],a[i].x);
    memset(dfn,0,sizeof(dfn));
    memset(instk,0,sizeof(instk));stk[0]=tim=0;
    for (int i=1;i<=n;i++)
     if (!dfn[i]) tarjan(i);
    for (int i=1;i<=n;i++)
     if (to[i]==to[p[i]]) return 0;
    return 1;
}
int main(){
    for (N=red(),M=red();N;N=red(),M=red()){
        n=N*2;
        for (int i=1,x,y;i<=N;i++)
         x=red()+1,y=red()+1,p[x]=y,p[y]=x;
        for (int i=1;i<=M;i++)
         a[i].x=red()+1,a[i].y=red()+1;
        int L=1,R=M,ans;
        while (L<=R){
            int mid=L+R>>1;
            if (check(mid)) ans=mid,L=mid+1;else R=mid-1;
        }
        printf("%d\n",ans);
    }
    return 0;
}