# poj 2723 Get Luffy Out

（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 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;
}

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(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;
}


• 本文已收录于以下专栏：

## POJ2723-Get Luffy Out(2-SAT)

Get Luffy Out Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 7456   ...
• mowayao
• 2014年08月07日 18:43
• 509

## poj 2732 Get Luffy Out（2分+2-sat）

Get Luffy Out Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 8671   ...
• saber_acher
• 2017年03月01日 20:17
• 133

## poj 2723 Get Luffy Out

• String_YI
• 2013年10月13日 21:29
• 360

## POJ 2723 Get Luffy Out

• Mr_Xujh
• 2015年07月27日 10:52
• 178

## 2723 Get Luffy Out

2-SAT+二分
• scorpiocj
• 2011年02月08日 01:47
• 401

## Pku 2723 Get Luffy Out

• Nameless_05
• 2011年09月08日 00:20
• 738

## POJ 2723 Get Luffy Out （2-SAT）

• wing_wuchen
• 2017年07月20日 11:05
• 88

## Get Luffy Out poj 2723 Tarjan+2-SAT

• peter_zhu01
• 2016年06月12日 17:20
• 211

## POJ 2723 Get Luffy Out 二分 2-SAT

Get Luffy Out Time Limit: 2000MS   Memory Limit: 65536K Total Submissions: 6742   ...
• cyendra
• 2013年08月09日 11:41
• 604

## POJ 2723 - Get Luffy Out(2-SAT)

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

举报原因： 您举报文章：poj 2723 Get Luffy Out 色情 政治 抄袭 广告 招聘 骂人 其他 (最多只允许输入30个字)