UVALive-3211 Now or later （2-SAT+二分）

题目大意：有n架飞机，每架飞机有两个可选择的着陆时间，并且每架飞机都必须要选一个时间着陆。为了安全考虑，要求两架飞机的最小着陆时间差最大，找出这个最大值。

题目分析：有“最小值的最大值”这样的字眼，用二分。二分枚举这个最小时间差的最大值p，则问题变成了这样的：有n个只有两个元素的集合，每个元素代表一个时间点，现在要从这些集合中选出n个（一个集合中必须选出一个）元素构成新的集合，使得新集合中任意两点之间的差值都不小于p，找到满足条件的最大的p。

　　如果两个不同集合中的两个元素（一个集合中一个）之间的差值（绝对值，也就是时间差）小于p，那么这两个元素之间便有矛盾，不能同时被选。例如：设x1、x2为同一个集合中的元素，y1、y2为另一个集合中的元素，如果x1与y1之差小于p，那么如果选了x1就必须选y2，反过来，选了y1就必须选x2。这样就是2-SAT模型了。只需找出使得这个2-SAT有解的最大p即可。

代码如下：

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

const int maxn=2005;
int n,cnt,S[maxn*2],mark[maxn*2],Table[maxn][2];
vector<int>G[maxn*2];

void add(int x,int a,int y,int b)
{
x=x*2+a;
y=y*2+b;
G[x^1].push_back(y);
G[y^1].push_back(x);
}

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

bool judge(int M)
{
for(int i=0;i<2*n;++i)  G[i].clear();
memset(mark,0,sizeof(mark));
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(Table[i][a]-Table[j][b])<M)
add(i,a^1,j,b^1);
for(int i=0;i<2*n;i+=2){
if(!mark[i]&&!mark[i+1]){
cnt=0;
if(!dfs(i)){
while(cnt>0)  mark[S[--cnt]]=0;
if(!dfs(i+1))   return false;
}
}
}
return true;
}

int main()
{
int L,R;
while(scanf("%d",&n)!=EOF)
{
L=R=0;
for(int i=0;i<n;++i){
scanf("%d%d",&Table[i][0],&Table[i][1]);
R=max(R,max(Table[i][0],Table[i][1]));
}
while(L<R)
{
int M=L+(R-L+1)/2;
if(judge(M)){
L=M;
}else
R=M-1;
}
printf("%d\n",L);
}
return 0;
}