UVALive 3211 Now or later（二份答案+2-SAT）

题目：https://icpcarchive.ecs.baylor.edu/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=1212

题目大意：有n架飞机要降落，可以选择 早着陆 或者 晚着陆 ，给你这n架飞机两种着陆的时刻表，让你安排，使得两架飞机着陆的时间间隔尽可能大，并输出这个时间。

解题思路：要求答案最大，很容易想到二分答案。然后就是判断这个答案可不可行，这只要做一遍2-SAT就行。再看看时限，时间复杂度为O（n*nlogT），过得去。

代码如下：

#include<cstdio>
#include<cstring>
#include<vector>
#include<algorithm>
using namespace std;

const int MAXN = 2222;

int t[MAXN][2];

struct Two_Sat
{
int n;
vector<int> G[MAXN<<1];
bool mark[MAXN<<1];
int S[MAXN<<1],c;
void init(int n)
{
this->n = n;
for(int i = 0;i < (n<<1);i++)
G[i].clear();
memset(mark,0,sizeof(mark));
}

void add_clause(int x,int x_val,int y,int y_val)
{
x = (x<<1)+x_val;
y = (y<<1)+y_val;
G[x].push_back(y^1);
G[y].push_back(x^1);
}

int dfs(int u)
{
if(mark[u^1]) return 0;
if(mark[u]) return 1;
mark[u] = 1;
S[c++] = u;
for(int i = 0;i < G[u].size();i++)
{
int v = G[u][i];
if(!dfs(v)) return 0;
}
return 1;
}

int solve()
{
for(int i = 0;i < (n<<1);i += 2)
{
if(!mark[i] && !mark[i+1])
{
c = 0;
if(!dfs(i))
{
while(c)
{
mark[S[--c]] = 0;
}
if(!dfs(i+1)) return 0;
}
}
}
return 1;
}
} two;

int check(int mid,int n)
{
two.init(n);
for(int i = 0;i < n;i++)
for(int a = 0;a < 2;a++)
for(int j = i+1;j < n;j++)
for(int b = 0;b < 2;b++)
if(abs(t[i][a] - t[j][b]) < mid)
{
two.add_clause(i,a^1,j,b^1);
}
return two.solve();
}

int main()
{
int n;
while(~scanf("%d",&n))
{
for(int i = 0;i < n;i++)
scanf("%d%d",&t[i][0],&t[i][1]);
int l = 0,r = 1e7;
int ans = 0;
while(l <= r)
{
int mid = (l+r)>>1;
if(check(mid,n))
{
ans = mid;
l = mid+1;
}
else r = mid-1;
}
printf("%d\n",ans);
}
return 0;
}

/*
2
1 10
4 14
*/