POJ2723 2-SAT+二分

一对钥匙里面二选一，又是一个很明显的2-SAT问题特征。
分点：
一把钥匙根据选不选分为两点，n把钥匙就是2n个点
建边：
首先根据给定的钥匙进行建边，选了其中一个另一个就不能选。
然后二分，枚举通过门的数量k，建边建到第k个门过，门上的钥匙必须要有一把，因此建边的根据是一个钥匙不选那么另一个就一定要选。

AC代码
由于前面两道例题的模板和这个一样，注释就不写了，如有疑问请参考 2-SAT简介

//AC 64MS
//2021/10/09
#include <iostream>
#include <string.h>
#include <vector>
#define maxn ((1 << 12) + 5)
using namespace std;

int stack[maxn], cnt = 0;
int key[maxn], door[maxn];
int n, m;
vector<int> g[maxn];
bool vis[maxn];

void init()
{
    memset(vis, false, sizeof(vis));
    for (int i = 0; i < n << 2; i++)
        g[i].clear();
}
inline void addEdge(int x, int xv, int y, int yv) { g[x * 2 + xv].push_back(y * 2 + yv); }

bool dfs(int x)
{
    if (vis[x ^ 1]) return false;
    if (vis[x]) return true;
    vis[x] = true;
    stack[cnt++] = x;
    for (int i = 0; i < g[x].size(); i++)
        if (!dfs(g[x][i])) return false;
    return true;
}
bool check(int k)
{
    init();
    for (int i = 0; i < n * 2; i += 2)
    {
        addEdge(key[i], 1, key[i + 1], 0);
        addEdge(key[i + 1], 1, key[i], 0);
    }
    for (int i = 0; i < k * 2; i += 2)
    {
        addEdge(door[i], 0, door[i + 1], 1);
        addEdge(door[i + 1], 0, door[i], 1);
    }
    for (int i = 0; i < n * 2; i += 2)
    {
        if (!vis[i] && !vis[i + 1])
        {
            cnt = 0;
            if (!dfs(i))
            {
                while (cnt > 0)
                    vis[stack[--cnt]] = false;
                if (!dfs(i + 1)) return false;
            }
        }
    }
    return true;
}

int main()
{
    while (scanf("%d%d", &n, &m) != EOF && (n + m))
    {
        for (int i = 0; i < n * 2; i += 2)
        {
            scanf("%d %d", &key[i], &key[i + 1]);
        }
        for (int i = 0; i < m * 2; i += 2)
        {
            scanf("%d %d", &door[i], &door[i + 1]);
        }
        int l = 0, r = m + 1, mid, ans;
        while (l < r)
        {
            mid = (l + r) >> 1;
            if (check(mid))
            {
                ans = mid;
                l = mid + 1;
            }
            else
                r = mid;
        }
        printf("%d\n", ans);
    }
    return 0;
}