Uva 1146 - Now or later 二分+构图2-sat判断

            题意:

                       有个飞机场..要安排飞机降落并且休息..每个飞机可能在其两个时刻到达...让一个飞机到达并且休息的时候..其他的飞机不能降落..问要保证所有飞机都能正常降落的最长休息时间是什么...

            题解:

                       裸构图2-sat....因为一个分号的原因WA了好久...囧.....还有就是边的数组开小了...一定要先算清楚啊！！！

Program:

#include<iostream>
#include<stdio.h>
#include<cmath>
#include<queue>
#include<stack>
#include<string.h>
#include<map>
#include<set>
#include<algorithm>
#define oo 1000000007
#define MAXN 2005<<1
#define MAXM 40000005
#define ll long long
using namespace std;   
struct LINE
{
       int y,next; 
}line[MAXM];
int a[MAXN][2],Lnum,_next[MAXN],dfn[MAXN],low[MAXN],tp[MAXN],tpnum,DfsIndex;
bool instack[MAXN];
stack<int> mystack;
void addline(int x,int y)
{
       line[++Lnum].next=_next[x],_next[x]=Lnum,line[Lnum].y=y;
}
void tarjan(int x)
{
       mystack.push(x),instack[x]=true;
       dfn[x]=low[x]=++DfsIndex;       
       for (int k=_next[x];k;k=line[k].next)
       {
               int y=line[k].y;
               if (!dfn[y])
               {
                     tarjan(y);
                     low[x]=min(low[x],low[y]);
               }else
               if (instack[y])
                     low[x]=min(low[x],dfn[y]);
       }
       if (low[x]==dfn[x])
       {
               tpnum++;
               do
               {
                       x=mystack.top();
                       mystack.pop();
                       instack[x]=false;
                       tp[x]=tpnum;
               }while (low[x]!=dfn[x]);
       }
}
bool _2sat(int n,int m)
{
       int i,j;
       Lnum=0,memset(_next,0,sizeof(_next));
       for (i=0;i<n;i++)
          for (j=i+1;j<n;j++)
          {
                 if (abs(a[i][0]-a[j][0])<m) addline(i<<1,j<<1|1),addline(j<<1,i<<1|1);
                 if (abs(a[i][0]-a[j][1])<m) addline(i<<1,j<<1),addline(j<<1|1,i<<1|1);
                 if (abs(a[i][1]-a[j][0])<m) addline(i<<1|1,j<<1|1),addline(j<<1,i<<1);
                 if (abs(a[i][1]-a[j][1])<m) addline(i<<1|1,j<<1),addline(j<<1|1,i<<1);
          }
       memset(dfn,0,sizeof(dfn));
       memset(instack,false,sizeof(instack));
       while (!mystack.empty()) mystack.pop();
       DfsIndex=tpnum=0;
       for (i=0;i<(n<<1);i++)
          if (!dfn[i]) tarjan(i);
       for (i=0;i<n;i++)
          if (tp[i<<1]==tp[i<<1|1]) return false;
       return true;
}
int main()
{        
       int n,i; 
       while (~scanf("%d",&n))
       {
              for (i=0;i<n;i++) scanf("%d%d",&a[i][0],&a[i][1]);
              int l=0,r=oo,mid; 
              while (r-l>1)
              {
                     mid=r+l>>1;
                     if (!_2sat(n,mid)) r=mid;
                          else  l=mid;
              }
              printf("%d\n",l);
       }
       return 0;
}