LA 3211 飞机调度（2—SAT）

https://vjudge.net/problem/UVALive-3211

题意：

有n架飞机需要着陆，每架飞机都可以选择“早着陆”和“晚着陆”两种方式之一，且必须选择一种，第i架飞机的早着陆时间为E，晚着陆时间为L，不得在其他时间着陆。你的任务是为这些飞机安排着陆方式，使得整个着陆计划尽量安全。换句话说，如果把所有飞机的实际着陆时间按照从早到晚的顺序排列，相邻两个着陆时间间隔的最小值。

思路：

二分查找最大值P，每次都用2—SAT判断是否可行。

 #include<iostream>
 #include<algorithm>
 #include<cstring>
 #include<cstdio>
 #include<vector>
 #include<stack>
 #include<queue>
 #include<cmath>
 #include<map>
 using namespace std;

 const int maxn=+;

 int T[maxn][];

 struct TwoSAT
 {
     int n;
     vector<int> G[*maxn];
     bool mark[*maxn];
     int S[*maxn],c;

     bool dfs(int x)
     {
         if(mark[x^])  return false;
         if(mark[x])  return true;
         mark[x]=true;
         S[c++]=x;
         for(int i=;i<G[x].size();i++)
             if(!dfs(G[x][i]))   return false;
         return true;
     }

     void init(int n)
     {
         this->n=n;
         for(int i=;i<*n;i++)   G[i].clear();
         memset(mark,,sizeof(mark));
     }

     void add_clause(int x,int xval,int y,int yval)
     {
         x = x* + xval;
         y = y* + yval;
         G[x^].push_back(y);
         G[y^].push_back(x);
     }

     bool solve()
     {
         for(int i=;i<*n;i+=)
             if(!mark[i] && !mark[i+])
         {
             c=;
             if(!dfs(i))
             {
                 while(c>)  mark[S[--c]]=false;
                 if(!dfs(i+))   return false;
             }
         }
         return true;
     }
 }solver;

 bool test(int n,int p)
 {
     solver.init(n);
     for(int i=;i<n;i++)
     for(int a=;a<;a++)
     for(int j=i+;j<n;j++)
     for(int b=;b<;b++)
         if(abs(T[i][a]-T[j][b])<p)   solver.add_clause(i,a^,j,b^);
     return solver.solve();
 }

 int main()
 {
     //freopen("D:\\input.txt","r",stdin);
     int n;
     while(~scanf("%d",&n))
     {
         int L=,R=;
         for(int i=;i<n;i++)
         {
             for(int a=;a<;a++)
             {
                 scanf("%d",&T[i][a]);
                 R=max(R,T[i][a]);
             }
         }
         while(L<=R)
         {
             int mid=(L+R)/;
             if(test(n,mid))  L=mid+;
             else R=mid-;
         }
         printf("%d\n",R);
     }
     return ;
 }