UVAlive3211_Now or later

白书上的例题。

每种航班可以选择两种时间降落，如果想任意航班降落时间差的最小值最大，应该如何安排？

二分时间，如果两个时间只差小于当前枚举的时间，说明这条边不可选，可以根据2sat的方法构图。

然后判断安排方案是否合法即可。

召唤代码君：

#include <iostream>
#include <cstdio>
#include <cstring>
#define maxn 5555
#define maxm 26666666
using namespace std;

int to[maxm],next[maxm],first[maxn],edge;
int t[maxn],Q[maxn],top=;
int n,m;
bool mark[maxn];

int abs(int x)
{
    return x>=?x:-x;
}

void addedge(int U,int V)
{
    edge++;
    to[edge]=V,next[edge]=first[U],first[U]=edge;
}

bool dfs(int cur)
{
    if (mark[cur^]) return false;
    if (mark[cur]) return true;
    Q[++top]=cur,mark[cur]=true;
    for (int i=first[cur]; i!=-; i=next[i])
        if (!dfs(to[i])) return false;
    return true;

}

bool check(int x)
{
    edge=-;
    for (int i=; i<=n+n+; i++) first[i]=-,mark[i]=false;
    for (int i=; i<=n+n+; i++)
        for (int j=(i|)+; j<=n+n+; j++)
            if (abs(t[i]-t[j])<x) addedge(i,j^),addedge(j,i^);
    for (int i=; i<=n+n; i+=)
    {
        if (mark[i] || mark[i+]) continue;
        top=;
        if (!dfs(i))
        {
            while (top) mark[Q[top--]]=false;
            if (!dfs(i+)) return false;
        }
    }
    return true;
}

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