UVA1146 / LA3211（ACM-ICPC 2004ヨーロッパ-南西部）現在またはそれ以降（2-SAT質問+ 2点回答）

質問は最小値を最大化するために必要ですが、これは明らかにバイナリの回答です。
問題の各飛行機は、ある状態（初期）または別の状態（後期）にあります。2-SATを検討してください。

回答を割り、着陸時間間隔の最小値xを割ります。

2つの航空機p、qごとに4つの状態を列挙する

列挙されたケースで、pの着陸時間はaであり、qの着陸時間はbであるとすると、$|a-b|<$次に、$x$は対応する状態の間のエッジを接続します（2つの状態は2つのうち1つしか選択できないことを示します。つまり、間隔がxより小さいすべてのエッジによって接続された2つの状態を同時に満たすことができるかどうかを尋ねます）。

この質問のデータには重要なエッジがあることに注意してください。ベクトルを使用してください。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<vector>

using namespace std;
typedef long long ll;
const int N = 5000007, M = 5000007, INF = 0x3f3f3f3f;

int n, m;
int dfn[N], low[N], num;
int head[N], ver[M], nex[M], tot;
vector<int>g[N];
int a[N][2];
int stk[N], top, scc_cnt;
bool ins[N];
int color[N];

void add(int x, int y){
    
    
    ver[tot] = y;
    nex[tot] = head[x];
    head[x] = tot ++ ;
}

void tarjan(int x)
{
    
    
    dfn[x] = low[x] = ++ num;
    stk[++ top] = x;
    ins[x] = true;
    for(size_t i = 0; i < g[x].size(); ++ i){
    
    
        int y = g[x][i];
        if(!dfn[y]){
    
    
            tarjan(y);
            low[x] = min(low[x], low[y]);
        }
        else if(ins[y])
            low[x] = min(low[x], dfn[y]);
    }
    if(low[x] == dfn[x]){
    
    
        int y;
        ++ scc_cnt;
        color[x] = scc_cnt;
        do{
    
    
            y = stk[top -- ];
            ins[y] = false;
            color[y] = scc_cnt;
        }while(x != y);
    }
    return ;
}

inline bool check(int x){
    
    
    //memset(head, -1, sizeof head);
    for(int i = 1; i <= 2 * n; ++ i)
        g[i].clear();
    memset(dfn, 0, sizeof dfn);
    memset(low, 0, sizeof low);
    memset(color, 0, sizeof color);
    memset(ins, 0, sizeof ins);
    tot = num = scc_cnt = 0;

    //0 : -x : E 早 : i
    //1 : x : L 晚 : i + n

    //比较之后的两个相差的时间是否小于x
    //如果小于x的话那么两者就不能同时出现（同时为true）
    for(int p = 1;p <= n;++ p){
    
    
        for(int c = 0; c <= 1; ++ c){
    
    
            for(int q = p + 1; q <= n; ++ q){
    
    
                for(int d = 0; d <= 1; ++ d){
    
    
                    if(abs(a[p][c] - a[q][d]) < x){
    
    
                        /*if(c && d){//11 -> 01, 01
                            add(p, q + n);
                            add(q, p + n);
                        }
                        else if(!c && d){//01 -> 11, 00
                            add(p + n, q + n);
                            add(q, p);
                        }
                        else if(c && !d){//10 -> 00, 11
                            add(p, q);
                            add(q + n, p + n);
                        }
                        else if(!c && !d){//00 -> 10, 01
                            add(p + n, q);
                            add(q + n, p);
                        }*/
                        g[p + n * c].push_back(q + n * (d ^ 1));
                        g[q + n * d].push_back(p + n * (c ^ 1));
                    }
                }
            }
        }
    }

    for(int i = 1; i <= 2 * n; ++ i)
        if(!dfn[i])
            tarjan(i);

    for(int i = 1; i <= n; ++ i){
    
    
        if(color[i] == color[i + n])
            return false;
    }
    return true;
}

void solve(){
    
    
    int l = 0, r = 0, ans = -1;

    for(int i =1; i <= n; ++ i)
            scanf("%d%d", &a[i][0], &a[i][1]), r = max(max(a[i][1], a[i][0]), r);


    while(l <= r){
    
    
        int mid = l + r >> 1;
        if(check(mid))ans = mid, l = mid + 1;
        else r = mid - 1;
    }
    printf("%d\n", ans);
    return ;
}

int main()
{
    
    
    while(scanf("%d", &n) != EOF){
    
    
        solve();
    }
    return 0;
}