UVALive 3211 Now or later(2-SAT，二分，Kosaraju)

题意：

　　有n个飞机要降落，每机都可以在两个时间点上选择降落。但是两机的降落时间间隔太小会影响安全性，所以，要求两机的降落时间应该达到最大，当然也不能冲突了。问最大的时间间隔是多少？（其实问的是max(每种方案中两机间的最小间隔) ）

思路：

　　二分穷举每个时间间隔，对于每个间隔，建反向图，对图进行DFS着色看是否有冲突，无冲突的话证明此间隔是可以实现的。要找一个可以实现的，且间隔最大的。

 #include <iostream>
 #include <stdio.h>
 #include <string.h>
 #include <vector>
 #include <stack>
 #include <algorithm>
 #include <bits/stdc++.h>
 #define LL long long
 #define pii pair<int,int>
 #define INF 0x7f7f7f7f
 using namespace std;
 const int N=+;
 int n, s[N*], c=, col[N*], early[N], late[N];
 vector<int> vect[N*];

 bool color(int x)
 {
     if(col[x^])    return false;   //(x,x^1)这一对已经选好了x^1，你还想选x，肯定矛盾。
     if(col[x])      return true;    //你要选的，刚好已选。
     col[x]=true;
     s[c++]=x;
     for(int i=; i<vect[x].size(); i++)
     {
         int t=vect[x][i];
         if(!color(t))   return false;  //染色不成功
     }
     return true;
 }

 int cal(int dis)
 {
     for(int i=; i<n*; i++)    vect[i].clear();
     for(int i=; i<n; i++)  //建图
     {
         for(int j=; j<n; j++)
         {
             if(i==j)    continue;
             if( abs(early[i]-early[j])<dis )    vect[j*+ ].push_back(i* );
             if( abs(early[i]-late[j]) <dis )    vect[j* ].push_back(i* );
             if( abs(late[i] -early[j])<dis )    vect[j*+].push_back(i*+);
             if( abs(late[i] -late[j]) <dis )    vect[j*].push_back(i*+);
         }
     }
     memset(col,,sizeof(col));  //所有着色的都是要的
     memset(s,,sizeof(s));      //作为栈记录此次失败所标记过的，回头只需将栈中的点去掉标记
     for(int i=; i<n*; i+=)
     {
         if(!col[i] && !col[i+]) //都还未着色，如果有1个已经着色，那这对就已经选好了
         {
             c=;
             if( !color(i))
             {
                 while(c)    col[s[--c]]=;    //选i是不行的，要清除刚才的着色。
                 if(!color(i+)) return false;   //i不行，就从i+1开始着色试试。
             }
         }
     }
     return true;
 }

 int main()
 {
     freopen("input.txt", "r", stdin);
     int a, b, up;
     while(~scanf("%d",&n))
     {
         memset(early,,sizeof(early));
         memset(late,,sizeof(late));
         up=;
         for(int i=; i<n; i++)
         {
             scanf("%d%d",&early[i],&late[i]);
             up=max(late[i],up);
         }

         int l=, r=up;
         while(l<=r)
         {
             int mid=(l+r)/;
             if(cal(mid))   l=mid+;
             else    r=mid-;
         }
         printf("%d\n",l-);
     }

     return ;
 }

AC代码