UVA 1146 2-SAT
UVA 1146
题目链接：
http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=36009
题意：
n架飞机，有两个降落时间任选一个。
选择一种合理的降落时间分配方案，使得相邻降落的两架飞机降落时间最小间隔最大。
思路：
看了题解，也不知道1A有木有效果。
二分时间，判断是否合法。因为一架飞机降落只有两种状态，所以二分时间后，在时间间隔不合法的两个点之间处理。2-SAT版。
二分新姿势get
源码：
#include <cstdio>
#include <cmath>
#include <cstring>
#include <cstdlib>
#include <string>
#include <algorithm>
#include <iostream>
#include <vector>
#include <stack>
using namespace std;
#define gmax(a,b) ((a) > (b) ? (a) : (b))
#define gmin(a,b) ((a) < (b) ? (a) : (b))
const int MAXN = 2000 + 5;
int T[MAXN][2];
int n;
vector<int>lin[MAXN * 2];
bool valid[MAXN * 2];
stack<int>sta;
void add(int u, int uval, int v, int vval)
{
u = 2 * u + uval;
v = 2 * v + vval;
lin[u^1].push_back(v);
lin[v^1].push_back(u);
}
bool dfs(int u)
{
if(valid[u^1]) return false;
if(valid[u]) return true;
valid[u] = true;
sta.push(u);
for(int i = 0 ; i < (int)lin[u].size() ; i++){
if(!dfs(lin[u][i])) return false;
}
return true;
}
bool solve(int t)
{
for(int i = 0 ; i < 2 * n ; i++)
lin[i].clear();
for(int i = 0 ; i < n ; i++){
for(int j = i + 1 ; j < n ; j++){
for(int k1 = 0 ; k1 < 2 ; k1++){
for(int k2 = 0 ; k2 < 2 ; k2++){
if(abs(T[i][k1] - T[j][k2]) < t)
add(i, k1, j, k2);
}
}
}
}
while(!sta.empty()) sta.pop();
memset(valid, false, sizeof(valid));
for(int i = 0 ; i < 2 * n ; i += 2){
if(!valid[i] && !valid[i^1]){
if(!dfs(i)){
while(!sta.empty()){
int org = sta.top(); sta.pop();
valid[org] = false;
if(org == i) break;
}
if(!dfs(i^1)) return false;
}
}
}
return true;
}
int main()
{
while(scanf("%d", &n) != EOF)
{
int L, R;
L = R = 0;
for(int i = 0 ; i < n ; i++){
scanf("%d%d", &T[i][0], &T[i][1]);
R = gmax(R, T[i][1]);
}
// printf("R = %d, L = %d\n", R, L);
while(L < R){
int mid = L + (-L + R + 1) / 2;
if(solve(mid)) L = mid;
else R = mid - 1;
}
// printf("after 2-fen R = %d, L = %d\n", R, L);
// if(solve(R))
printf("%d\n", R);
// else
// printf("%d\n", L);
}
return 0;
}
/*
10
44 156
153 182
48 109
160 201
55 186
54 207
55 165
17 58
132 160
87 197
*/