POJ 2723 Get Luffy Out 二分 + 2-sat

题目：

http://poj.org/problem?id=2723

题意：

有2n把钥匙，分成n对，每对只能使用其中一把，有m扇门，每扇门上有两个锁，每个锁都有对应的钥匙，要打开第i扇门才能去开第i+1扇门，求最多能打开多少扇门

思路：

二分枚举结果，然后2-sat判定是否可行，每对钥匙只能存在一个，每扇门两个锁，不打开一个，必定打开另一个

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
#include <cmath>
using namespace std;

const int N = 4100;
const double eps = 1e-8;
struct edge
{
    int to, next;
} g[N*10];
int cnt, head[N];
int dfn[N], low[N], scc[N], st[N], top, num, idx;
int a[N], b[N], c[N], d[N];
bool vis[N];
int n, m;
void add_edge(int v, int u)
{
    g[cnt].to = u, g[cnt].next = head[v], head[v] = cnt++;
}
void init()
{
    memset(head, -1, sizeof head);
    memset(dfn, -1, sizeof dfn);
    memset(vis, 0, sizeof vis);
    top = num = idx = cnt = 0;
}
void tarjan(int v)
{
    dfn[v] = low[v] = ++idx;
    vis[v] = true, st[top++] = v;
    int u;
    for(int i = head[v]; i != -1; i = g[i].next)
    {
        u = g[i].to;
        if(dfn[u] == -1)
        {
            tarjan(u);
            low[v] = min(low[v], low[u]);
        }
        else if(vis[u]) low[v] = min(low[v], dfn[u]);
    }
    if(dfn[v] == low[v])
    {
        num++;
        do
        {
            u = st[--top], vis[u] = false, scc[u] = num;
        }
        while(u != v);
    }
}
bool work(int mid)
{
    init();
    for(int i = 1; i <= n; i++)
        add_edge(a[i], b[i] + 2*n), add_edge(b[i], a[i] + 2*n);
    for(int i = 1; i <= mid; i++)
        add_edge(c[i] + 2*n, d[i]), add_edge(d[i] + 2*n, c[i]);
    for(int i = 0; i < 4*n; i++)
        if(dfn[i] == -1) tarjan(i);
    for(int i = 0; i < 2*n; i++)
        if(scc[i] == scc[i+2*n]) return false;
    return true;
}
int main()
{
    while(scanf("%d%d", &n, &m), n || m)
    {
        for(int i = 1; i <= n; i++) scanf("%d%d", &a[i], &b[i]);
        for(int i = 1; i <= m; i++) scanf("%d%d", &c[i], &d[i]);
        int l = 0, r = m, res = 0;
        while(l <= r)
        {
            int mid = (l + r) / 2;
            if(work(mid)) l = mid + 1, res = mid;
            else r = mid - 1;
        }
        printf("%d\n", res);
    }
    return 0;
}