la3211

2-sat+二分。。。

每次二分答案然后连边2-sat。。。边要开到n*n

样例水得跟没有一样。。。

#include<bits/stdc++.h>
using namespace std;
const int N = ;
struct edge {
    int nxt, to;
} e[N * N << ];
int n, cnt = , top, Time, cot;
int dfn[N], low[N], vis[N], st[N], early[N], late[N], head[N], belong[N];
void link(int u, int v)
{
    e[++cnt].nxt = head[u];
    head[u] = cnt;
    e[cnt].to = v;
}
void tarjan(int u)
{
    st[++top] = u; dfn[u] = low[u] = ++Time; vis[u] = ;
    for(int i = head[u]; i; i = e[i].nxt)
    {
        if(!dfn[e[i].to])
        {
            tarjan(e[i].to);
            low[u] = min(low[u], low[e[i].to]);
        }
        else if(vis[e[i].to]) low[u] = min(low[u], dfn[e[i].to]);
    }
    if(dfn[u] == low[u])
    {
        ++cot; int x = ;
        while(x != u)
        {
            x = st[top--];
            belong[x] = cot;
            vis[x] = ;
        }
    }
}
bool judge(int t)
{
    memset(head, , sizeof(head));
    memset(dfn, , sizeof(dfn));
    memset(low, , sizeof(low));
    memset(belong, , sizeof(belong));
    cnt = ; top = Time = cot = ;
    for(int i = ; i <= n; ++i)
        for(int j = ; j <= n; ++j) if(i != j)
        {
            int x = i << , y = j << ;
            if(late[i] - late[j] >=  && late[i] - late[j] < t)
                link(x, y - ), link(y, x - );
            if(late[i] - early[j] >=  && late[i] - early[j] < t)
                link(x, y), link(y - , x - );
            if(early[i] - late[j] >=  && early[i] - late[j] < t)
                link(x - , y - ), link(y, x);
            if(early[i] - early[j] >=  && early[i] - early[j] < t)
                link(x - , y), link(y - , x);
        }
    for(int i = ; i <=  * n; ++i) if(!dfn[i]) tarjan(i);
    for(int i = ; i <= n; ++i) if(belong[i * ] == belong[i *  - ]) return false;
    return true;
}
int main()
{
    while(scanf("%d", &n) != EOF)
    {
        int l = , r = , ans = ;
        for(int i = ; i <= n; ++i) scanf("%d%d", &early[i], &late[i]), r = max(r, late[i]);
        while(r - l > )
        {
            int mid = (l + r) >> ;
            if(judge(mid)) ans = l = mid; else r = mid;
        }
        printf("%d\n", ans);
    }
    return ;
}