now or later

题目链接

• 题意：
  有n架飞机要着陆，每个飞机有两个着陆时间，必须选一个时间。现在要安排各个飞机着陆的时间，使得相邻两个着陆时间间隔的最小值尽量大
  输入：第一行是飞机的数目n；之后n行每行两个整数表示两个着陆时间（早晚时间）；输出：安全间隔的最大值
• 分析：
  根据每个飞机只有两个着陆时间的特点可以想到TwoSAT。但是，对于这个问题，直接使用显然是不行的，TwoSAT只能对于给定的关系来判断解是否存在和输出解。题目中要求的是不定的关系（对于不同的安全间隔，TwoSAT构图结果是不一样的）。对于给定的一个时间间隔，可以判断是否存在这样的一个计划，那么就可以二分时间间隔来解
• 重点：
  用二分处理解集
  采用TwoSAT构图
• 总结：
  这里要用到一个典型的处理方式：二分查找最终答案。分析一下这种问题的特点：满足题意的答案有很多，但是，题目要的是最优的。这就有两种情况：
  1.整个解集都是有解的，不过要求的是最优点（根据特点可以采用三分或者二分来解）
  2.部分解集有解，题目一般要求的都是恰好有解的地方。那么可以采用二分来解决

//2-sat dfs版本//如果标记了2i表示假,标记了2i+1表示真//调用solve函数获得整个图的值//n是点的数量//vector<int> G存储下一个点的序号//mark[2 * i] = true表示i点为假,mark[2 * i + 1] = true表示i点为真//S[]是算法使用的逻辑栈,c是栈计数值const int MAXV = 2100;struct TwoSAT{    int n;    vector<int> G[MAXV*2];    bool mark[MAXV*2];    int S[MAXV*2], c;    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 init(int n)    {        this->n = n;        for (int i = 0; i < n*2; i++) G[i].clear();        memset(mark, 0, sizeof(mark));    }    // x = xval or y = yval    void add_clause(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;    }} tst;int ipt[MAXV][2];int main(){//    freopen("in.txt", "r", stdin);    int n;    while (~RI(n))    {        int L = 0, R = 0;        REP(i, n)        {            RII(ipt[i][0], ipt[i][1]);            R = max(R, ipt[i][1]);        }        while (L <= R)        {            tst.init(n);            int M = (L + R) >> 1;            REP(i, n) FF(j, i + 1, n)            {                REP(a, 2) REP(b, 2)                {                    if (abs(ipt[i][a] - ipt[j][b]) < M)                        tst.add_clause(i, a, j, b);                }            }            if (tst.solve())                L = M + 1;            else                R = M - 1;        }        WI(R);    }    return 0;}