• poj 2723 Get Luffy Out 二分+2-sat


    题目链接

    给n个钥匙对, 每个钥匙对里有两个钥匙, 并且只能选择一个。
    有m扇门, 每个门上有两个锁, 只要打开其中一个就可以通往下一扇门。
    问你最多可以打开多少个门。


    对于每个钥匙对, 如果选择了其中一个钥匙, 那么另一个就不能选。 所以加边(a, b'), (b, a')。 对于每个门, 如果不打开其中一个锁, 那么另一个锁就一定要打开。 所以加边(a', b), (b', a)。 然后二分判断就可以了。
    #include <iostream>
    #include <vector>
    #include <cstdio>
    #include <cstring>
    #include <algorithm>
    #include <complex>
    #include <cmath>
    #include <map>
    #include <set>
    #include <string>
    #include <queue>
    #include <stack>
    #include <bitset>
    using namespace std;
    #define pb(x) push_back(x)
    #define ll long long
    #define mk(x, y) make_pair(x, y)
    #define lson l, m, rt<<1
    #define mem(a) memset(a, 0, sizeof(a))
    #define rson m+1, r, rt<<1|1
    #define mem1(a) memset(a, -1, sizeof(a))
    #define mem2(a) memset(a, 0x3f, sizeof(a))
    #define rep(i, n, a) for(int i = a; i<n; i++)
    #define fi first
    #define se second
    typedef complex <double> cmx;
    typedef pair<int, int> pll;
    const double PI = acos(-1.0);
    const double eps = 1e-8;
    const int mod = 1e9+7;
    const int inf = 1061109567;
    const int dir[][2] = { {-1, 0}, {1, 0}, {0, -1}, {0, 1} };
    const int maxe = 1e5;
    const int maxn = 5000;
    struct node
    {
        int nextt, to;
    }e[maxe];
    int n, m, num, cnt, top, deep, dfn[maxn], st[maxn], head[maxn], low[maxn], s[maxn], instack[maxn];
    pll a[maxn], b[maxn];
    void add(int u, int v) {
        e[num].to = v, e[num].nextt = head[u], head[u] = num++;
    }
    void tarjan(int u) {
        dfn[u] = low[u] = ++deep;
        instack[u] = 1;
        st[++top] = u;
        for(int i = head[u]; ~i; i = e[i].nextt) {
            int v = e[i].to;
            if(!dfn[v]) {
                tarjan(v);
                low[u] = min(low[u], low[v]);
            } else if (instack[v]) {
                low[u] = min(low[u], dfn[v]);
            }
        }
        if(dfn[u] == low[u]) {
            int v;
            cnt++;
            do {
                v = st[top--];
                instack[v] = 0;
                s[v] = cnt;
            } while(u != v);
        }
    }
    void init() {
        mem1(head);
        mem(instack);
        mem(dfn);
        mem(s);
        num = deep = top = cnt = 0;
    }
    int check(int x) {
        init();
        for(int i = 0; i < x; i++) {
            add(b[i].fi<<1|1, b[i].se<<1);
            add(b[i].se<<1|1, b[i].fi<<1);
        }
        for(int i = 0; i < n; i++) {
            add(a[i].fi<<1, a[i].se<<1|1);
            add(a[i].se<<1, a[i].fi<<1|1);
        }
        for(int i = 0; i < n<<2; i++) {
            if(!dfn[i])
                tarjan(i);
        }
        /*for(int i = 0; i < n<<1; i++)
            cout<<s[i]<<" ";
        cout<<endl;
        */for(int i = 0; i < 2*n; i++) {
            if(s[i<<1] == s[i<<1|1])
                return 0;
        }
        return 1;
    }
    int main()
    {
        while(~scanf("%d%d", &n, &m)) {
            if(n+m==0)
                break;
            for(int i = 0; i < n; i++) {
                scanf("%d%d", &a[i].fi, &a[i].se);
            }
            for(int i = 0; i < m; i++) {
                scanf("%d%d", &b[i].fi, &b[i].se);
            }
            int l = 0, r = m, ans;
            while(l <= r) {
                int mid = l+r>>1;
                if(check(mid)) {
                    l = mid+1;
                    ans = mid;
                } else {
                    r = mid-1;
                }
            }
            printf("%d
    ", ans);
        }
        return 0;
    }
    
    
  • 相关阅读:
    CentOS /RHEL系统怎么更新安全补丁
    使用yum查询系统安装的软件及可以更新的软件并单独指定升级某一个软件
    惠普服务器通过ILO系统远程安装系统
    django进行数据库迁移的错误处理方法:You are trying to change the nullable field 'title' on book to non-nullable without a d
    Django数据库增删改查
    linux用户
    linux基础
    mysql小白系列_01 原理
    mysql运维入门6:MySQL读写分离
    mysql运维入门5:MySQL+kepalived高可用架构
  • 原文地址:https://www.cnblogs.com/yohaha/p/5403975.html
Copyright © 2020-2023  润新知