La3211 Now or Later（2-SAT判定+二分法)

题目: n 架飞机，每架飞机的降落时间有两个选择，一个为早点降落，另一个为晚点降落；求两架飞机降落时间差的最小值的最大值（就是怎么安排，使得所有飞机降落的时间差的最小值尽量大）

输入：一个n，代表飞机数目；接下来n行，表示每架飞机降落的两个时间

分析：最小值尽量大，用二分查找；对于查到一个最小值t，如果任意两个时间差小于t，那么这两架飞机就不能同时降落，由此产生了条件就是时间差<t的就不能同时满足

代码：

#include <cstdio>
#include <iostream>
#include <vector>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 2010;

struct TwoSAT {
    int n, c, s[N*2];
    vector<int> G[N*2];
    bool mark[N*2];

    void init( int n ) {
        this->n = n;
        for ( int i = 0; i < n*2; ++i ) G[i].clear(); 
        memset( mark, 0, sizeof(mark) );
    }
    bool dfs( int x ) {
        if ( mark[x^1] ) return false;
        if ( mark[x] ) return true;
        mark[x] = true;
        s[c++] = x;
        for ( int i = 0; i < G[x].size(); ++i ) 
            if ( !dfs(G[x][i]) ) return false;
        return true;
    }
    void add ( int x, int xval, int y, int yval ) {
        x = x * 2 + xval;
        y = y * 2 + yval;
        G[x^1].push_back(y);
        G[y^1].push_back(x);
    }
    bool solve() {
        for ( int i = 0; i < n*2; i += 2 ) 
            if ( !mark[i] && !mark[i+1] ) {
                c = 0;
                if ( !dfs(i) ) {
                    while ( c > 0 ) mark[s[--c]] = false;
                    if ( !dfs(i+1) ) return false;
                }
            }
        return true;
    }
};

TwoSAT solver;
int t[N][2], n;

bool test ( int dif ) {
    solver.init(n);
    for ( int i = 0; i < n; ++i ) for ( int a = 0; a < 2; ++a ) 
        for ( int j = i+1; j < n; ++j ) for ( int b = 0; b < 2; ++b ) 
            if ( abs( t[i][a] - t[j][b] ) < dif )  solver.add( i, a^1, j, b^1 );
    return solver.solve();
}

int main()
{
    while ( scanf("%d", &n) != EOF && n ) {
        int L = 0, R = 0;
        for ( int i = 0; i < n; ++i ) for ( int a = 0; a < 2; ++a ) {
            scanf("%d", &t[i][a]);
            R = max( R, t[i][a] );
        }
        while ( L < R ) {
            int M = L + ( R - L + 1 ) / 2;
            if ( test(M) ) L = M; 
            else R = M - 1;
        }
        printf("%d\n", L );
    }
}