poj 2723 Get Luffy Out

原创 2012年03月27日 16:03:08

类型:2-sat

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

来源:Beijing 2005

思路:2-sat判定问题。将一把钥匙看做两个点,不取为i, 取为i + 2n。

(1)对于每一对钥匙(u, v),二者最多只能选一个,故有选择v + 2n, u必选,选择u + 2n,v必选。

(2)对于每一个们上的锁(u, v),二者至少选一个,固有选择u,v + 2n必选,选择v,u + 2n必选。

构造好图后,判断解的存在性。

二分答案

// poj 2723 Get Luffy Out
// re ac 484K 47MS
#include <iostream>
#include <string>
#include <queue>
#include <stack>
#include <algorithm>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
using namespace std;

#define FOR(i,a,b) for(i = (a); i < (b); ++i)
#define FORE(i,a,b) for(i = (a); i <= (b); ++i)
#define FORD(i,a,b) for(i = (a); i > (b); --i)
#define FORDE(i,a,b) for(i = (a); i >= (b); --i)
#define CLR(a,b) memset(a,b,sizeof(a))
#define PB(x) push_back(x)

const int N = 5010;
const int M = 40010;

int low[N], dfn[N];
int belong[N];
bool inStack[N], vis[N];
stack<int> st;
int n, m;
int step, t;
int conflict[N];
int du[N];
int color[N];
int cnt1, cnt2;
int head1[N];
int door[N][2], key[N][2];
int top[N], cnt;
struct node {
    int s, e;
    int len;
}c[N];
struct edge1 {
    int v, nxt;
}E1[M];

void addedge1(int u, int v) {
    E1[cnt1].v = v;
    E1[cnt1].nxt = head1[u];
    head1[u] = cnt1++;
}

void tarjan(int u) {
    int i;
    step++;
    st.push(u);
    low[u] = dfn[u] = step;
    vis[u] = 1;
    inStack[u] = 1;
    for(i = head1[u]; i != -1; i = E1[i].nxt) {
        int x = E1[i].v;
        if(!vis[x]) {
            tarjan(x);
            low[u] = min(low[u], low[x]);
        }
        else if(inStack[x])
            low[u]=min(low[u], dfn[x]);
    }
    if(low[u] == dfn[u]) {
        t++;
        while(1) {
            int x = st.top();
            st.pop();
            belong[x] = t;
            inStack[x] = 0;
            if(x == u)
                break;
        }
    }
}

void solve() {
    int i, j, mid, l = 1, r = m;
    int tmp_cnt = cnt1;
    while(l <= r) {
        mid = (l + r) >> 1;
        cnt1 = tmp_cnt;
        cnt1 = step = t = 0;
        CLR(head1, -1);
        CLR(vis, 0);
        CLR(inStack, 0);
        FORE(i, 1, n) {
            addedge1(key[i][0] + 2 * n, key[i][1]);
            addedge1(key[i][1] + 2 * n, key[i][0]);
        }
        FORE(i, 1, mid) {
            addedge1(door[i][0], door[i][1] + 2 * n);
            addedge1(door[i][1], door[i][0] + 2 * n);
        }
        while(!st.empty())
            st.pop();
        FORE(i, 1, 4 * n)
            if(!vis[i])
                tarjan(i);
        bool sign = false;
        FORE(i, 1, 2 * n)
            if(belong[i] == belong[i + 2 * n]) {
                sign = true;
                break;
            }
        if(sign)
            r = mid - 1;
        else
            l = mid + 1;
    }
    printf("%d\n", l - 1);
}

int main() {
    int u, v, i, j;
    while(scanf("%d %d", &n, &m) != EOF, n || m) {
        FORE(i, 1, n) {
            scanf("%d %d", &key[i][0], &key[i][1]);
            ++key[i][0], ++key[i][1];
        }
        FORE(i, 1, m) {
            scanf("%d %d", &door[i][0], &door[i][1]);
            ++door[i][0], ++door[i][1];
        }
        solve();
    }
    return 0;
}




POJ-2723-Get Luffy Out

这个题其实就是2

poj 2723 Get Luffy Out 2-SAT

因为过一个门之后才能到下一个门,所以我们直接二分门数,对于每对钥匙a、b,a&b=0,所以a到n+b加边,b到n+a加边。而对于每个门对于的钥匙a、b两个必须存在一个,所以n+a到b,b+n到a加边即...

poj 2723 Get Luffy Out(图论-2-sat)

Get Luffy Out Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 7512   ...

poj 2723 Get Luffy Out 2-SAT+二分答案

Description Ratish is a young man who always dreams of being a hero. One day his friend Luffy was c...

POJ 2723 - Get Luffy Out(2-SAT)

#题目: http://poj.org/problem?id=2723 #题意: 2*n把钥匙, 两两配对成n对,用其中一把另一把就会消失. m个门, 每个门上有两把锁, 打开其中一把就可以打...

poj 2723 Get Luffy Out 2_SAT

题目大意 有m层楼,从一层到m层,要进入每层都要打开位于该层的两道门中的至少一道。门锁有2n种,每个门锁为2n种中的一种,可以重复。有2n把钥匙,分别对应2n种锁,但是钥匙两两一组,共n组,每组只能...

POJ 2723 Get Luffy Out(2-SAT)

题意:给你一些钥匙,按顺序有m个门,问最多可以打开多少个门。钥匙是成对的,只能使用一对中的一个钥匙。。 #include #include #include #include #includ...

poj 2723 Get Luffy Out 二分答案+2-sat+如何建图

/* 2-sat 题意:m个门,每个门上有两把锁,打开一个就可以通过 2n个钥匙,每两个绑在一起,只能选用一个 问最多可以通过几扇门? 2-sat问题关键在建图,2-sat对每个事物都有两个选项 ...

Poj 2723 Get Luffy Out【2-SAT---------Tarjan强连通】

Get Luffy Out Time Limit: 2000MS   Memory Limit: 65536K Total Submission...

poj2723 Get Luffy Out

继续对2-sat建图的理解下面的博客讲的挺好http://hi.baidu.com/%8E%E1%D0%B3/blog/item/0a062c11ac76178e6538db55.html/cmtid...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:poj 2723 Get Luffy Out
举报原因:
原因补充:

(最多只允许输入30个字)