UVALive 3211 Now or Later （2-SAT）

题目的要求一个最小值最大，二分即可，但是怎么判断呢？

飞机早或者晚两种状态，可以用一个布尔变量表示，假设当前猜测为m，那么根据题意，

如果x和y所对应的时间冲突那么就是¬(xΛy)化成或的形式(¬x)V(¬y)，就可以套用twoSAT了。

关于2-SAT，简单理解是，把逻辑推导变成一条有向边，然后跑图判断一下。

#include<bits/stdc++.h>
using namespace std;

const int maxn = ;

#define PB push_back
struct TwoSAT
{
    int n,M;
    vector<int> G[maxn*];
    bool vis[maxn*];
    int S[maxn*], c;

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

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

    }

    void add_clause(int x,int xv,int y,int yv)// xv or yv
    {
        x = x<<|xv;
        y = y<<|yv;
        G[x^].PB(y);
        G[y^].PB(x);
    }

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

int T[maxn][];

bool ok(int m,int n)
{
    solver.init(n);
    for(int i = ; i < n; i++){
        for(int xv = ; xv < ; xv++){
            for(int j = i+; j < n; j++){
                for(int yv = ; yv < ; yv++){
                    if(abs(T[i][xv]-T[j][yv])<m){
                        solver.add_clause(i,xv^,j,yv^);
                    }
                }
            }
        }
    }
    return solver.solve();
}

int main()
{
    //freopen("in.txt","r",stdin);
    int n;
    while(~scanf("%d",&n)){
        int l = , r = ;
        for(int i = ; i < n; i++){
            scanf("%d%d",T[i],T[i]+);
            r = max(r,max(T[i][],T[i][]));
        }
        int mid;
        for( ; l < r; ok(mid,n)?l = mid:r = mid-) mid = (l+r+)>>;
        printf("%d\n",l);
    }
    return ;
}