UVALive - 3211 Now or later(2-sat)

题意：有n架飞机。每架飞机都可以选择早着陆和晚着陆两种方式之一，且必须选择一种。任务就是安排所有飞机着陆时，相邻两个着陆时间间隔的最小值尽量大。

解：直接套模板，二分*（2-sat）O(n^2)建图

#include <iostream>
#include <stdio.h>
#include <string.h>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <vector>
#include <math.h>
#include <bitset>
#include <algorithm>
#include <climits>
using namespace std;
const int N = 4000+100;
typedef long long LL;
int a[N],vis[N],head[N];
int belong[N],low[N],dfn[N],stack1[N];
int n,taj,top,cnt,time1;
void init()
{
    memset(head,-1,sizeof(head));
    memset(vis,0,sizeof(vis));
    memset(low,-1,sizeof(low));
    memset(dfn,-1,sizeof(dfn));
    cnt=0, top=0, taj=0, time1=0;
    return ;
}
struct node
{
    int to, next;
}p[N*N];
void add(int u,int v)
{
    p[cnt].to=v,p[cnt].next=head[u];head[u]=cnt++;
    return ;
}
void dfs(int u)
{
    low[u]=dfn[u]=time1++;
    stack1[top++]=u,vis[u]=1;
    for(int i=head[u];i!=-1;i=p[i].next)
    {
        int v=p[i].to;
        if(dfn[v]==-1)
        {
            dfs(v);
            low[u]=min(low[u],low[v]);
        }
        else if(vis[v]) low[u]=min(dfn[v],low[u]);
    }
    if(low[u]==dfn[u])
    {
        taj++;
        while(1)
        {
            int v=stack1[--top];
            belong[v]=taj;
            vis[v]=0;
            if(v==u) break;
        }
    }
    return ;
}
int judge(int mid)
{
    init();
    for(int i=0; i<n; i++)
    {
        for(int i1=0; i1<=1; i1++)
        {
            for(int j=i+1; j<n; j++)
            {
                for(int j1=0; j1<=1; j1++)
                {
                    int x=abs(a[i*2+i1]-a[j*2+j1]);
                    if(x<mid) add(i*2+i1,j*2+1-j1),add(j*2+j1,i*2+1-i1);
                }
            }
        }
    }
    for(int i=0;i<n;i++)
    {
        if(dfn[i*2]==-1)dfs(i*2);
        if(dfn[i*2+1]==-1) dfs(i*2+1);
    }
    int flag=0;
    for(int i=0;i<n;i++)
    {
        if(belong[i*2]==belong[i*2+1]) return 0;
    }
    return 1;
}

int main()
{
    int x, y;
    while(scanf("%d", &n)!=EOF)
    {
        int mint, maxt,flag=-1;
        for(int i=0; i<n; i++)
        {
            scanf("%d %d", &x, &y);
            a[i*2]=x,a[i*2+1]=y;
            if(flag==-1||a[i*2]<mint) mint=a[i*2];
            if(flag==-1||a[i*2]>maxt) maxt=a[i*2+1];
            flag=1;
        }
        int l=1, r=maxt-mint, ans;
        while(l<=r)
        {
            int mid=(l+r)/2;
            if(judge(mid)) l=mid+1, ans=mid;
            else r=mid-1;
        }
        printf("%d\n",ans);
    }
    return 0;
}