【UVALive

题意：

　　有n架飞机需要着陆。每架飞机有两种选择，早着陆或者晚着陆，二选其一。现在为了保证飞机的着陆安全，要求两架着陆的飞机的时间间隔的最小值达到最大。

分析：

　　最小值最大问题我们想到二分答案。对于猜测值x，判断是否有一种方案使相邻两着陆时间都不小于x。

　　如果两架飞机的某着陆时间差小于p，证明不能同时选择。根据这个条件建图，再用2-SAT判断是否有解即可。

代码如下：

#include<cstdio>
#include<cstdlib>
#include<cstring>
#define Maxn 2010
#define Maxm 10000010

int n;
int first[2*Maxn],mark[2*Maxn],s[2*Maxn];
int a[Maxn],b[Maxn];
int c,v;

struct node
{
    int x,y,next;
}t[4*Maxm];int len;

int mymax(int x,int y) {return x>y?x:y;}
int myabs(int x) {return x<0?-x:x;}

void ins(int x,int y)
{
    t[++len].x=x;t[len].y=y;
    t[len].next=first[x];first[x]=len;
}

bool dfs(int x)
{
    if(mark[x^1]) return 0;
    if(mark[x]) return 1;
    mark[x]=1;
    s[++c]=x;
    for(int i=first[x];i;i=t[i].next)
     if(!dfs(t[i].y)) return 0;
    return 1;
}

bool solve()
{
    memset(mark,0,sizeof(mark));
    for(int i=0;i<n;i++)
     if(!mark[2*i]&&!mark[2*i+1])
     {
         c=0;
         if(!dfs(2*i))
         {
             while(c>0) mark[s[c--]]=0;
             if(!dfs(2*i+1)) return 0;
        }
      }
      return 1;
}

bool check(int x)
{
    memset(first,0,sizeof(first));len=0;
    for(int i=1;i<=n;i++)
     for(int j=i+1;j<=n;j++)
     {
        if(myabs(a[i]-a[j])<x)  {ins((i-1)*2,(j-1)*2+1);     ins((j-1)*2,(i-1)*2+1);}
         if(myabs(a[i]-b[j])<x) {ins((i-1)*2,(j-1)*2);     ins((j-1)*2+1,(i-1)*2+1);}
         if(myabs(b[i]-a[j])<x) {ins((i-1)*2+1,(j-1)*2+1);  ins((j-1)*2,(i-1)*2);}
         if(myabs(b[i]-b[j])<x) {ins((i-1)*2+1,(j-1)*2);      ins((j-1)*2+1,(i-1)*2);}
     }
    return solve();
}

void ffind(int l,int r)
{
    int mid;
    while(l<r)
    {
        mid=(l+r+1)>>1;
        if(check(mid)) l=mid;
        else r=mid-1;
    }
    printf("%d
",l);
}

int main()
{
    while(scanf("%d",&n)!=EOF)
    {
        int mx=0;
        for(int i=1;i<=n;i++)
        {
            scanf("%d%d",&a[i],&b[i]);
            mx=mymax(mx,mymax(a[i],b[i]));
        }
        ffind(0,mx);
    }
    return 0;
}

2016-03-25 13:46:05