Map Labeler POJ

题意： 

　　给出n个点  让求这n个点所能建成的正方形的最大边长，要求不覆盖，且这n个点在正方形上或下边的中点位置

解析：

　　当然是二分，但建图就有点还行。。比较难想。。行吧。。。我太垃圾。。。

　　2 - sat建图 一看逻辑关系，二看具体情况

　　这里既有平常常用的逻辑关系，也有一些具体的关系

#include <iostream>
#include <cstdio>
#include <sstream>
#include <cstring>
#include <map>
#include <cctype>
#include <set>
#include <vector>
#include <stack>
#include <queue>
#include <algorithm>
#include <cmath>
#include <bitset>
#define rap(i, a, n) for(int i=a; i<=n; i++)
#define rep(i, a, n) for(int i=a; i<n; i++)
#define lap(i, a, n) for(int i=n; i>=a; i--)
#define lep(i, a, n) for(int i=n; i>a; i--)
#define rd(a) scanf("%d", &a)
#define rlld(a) scanf("%lld", &a)
#define rc(a) scanf("%c", &a)
#define rs(a) scanf("%s", a)
#define pd(a) printf("%d
", a);
#define plld(a) printf("%lld
", a);
#define pc(a) printf("%c
", a);
#define ps(a) printf("%s
", a);
#define MOD 2018
#define LL long long
#define ULL unsigned long long
#define Pair pair<int, int>
#define mem(a, b) memset(a, b, sizeof(a))
#define _  ios_base::sync_with_stdio(0),cin.tie(0)
//freopen("1.txt", "r", stdin);
using namespace std;
const int maxn = 1e5 + 10, INF = 0x7fffffff, LL_INF = 0x7fffffffffffffff;
int n;
vector<int> G[maxn];
int sccno[maxn], vis[maxn], low[maxn], scc_cnt, scc_clock;
stack<int> S;
void init()
{
    for(int i = 0; i < maxn; i++) G[i].clear();
    mem(sccno, 0);
    mem(vis, 0);
    mem(low, 0);
    scc_cnt = scc_clock = 0;
}

struct node
{
    int x, y;
}Node[maxn];

void dfs(int u)
{
    vis[u] = low[u] = ++scc_clock;
    S.push(u);
    for(int i = 0; i < G[u].size(); i++)
    {
        int v = G[u][i];
        if(!vis[v])
        {
            dfs(v);
            low[u] = min(low[u], low[v]);
        }
        else if(!sccno[v])
            low[u] = min(low[u], vis[v]);
    }
    if(low[u] == vis[u])
    {
        scc_cnt++;
        for(;;)
        {
            int x = S.top(); S.pop();
            sccno[x] = scc_cnt;
            if(x == u) break;
        }
    }
}

void build(int mid)
{
    for(int i = 0; i < n; i++)
        for(int j = i + 1; j < n; j++)
        {
            if(abs(Node[i].x - Node[j].x) >= mid) continue;
            if(abs(Node[i].y - Node[j].y) >= 2 * mid) continue;
            if(abs(Node[i].y - Node[j].y) >= mid)
            {
                if(Node[i].y > Node[j].y) //i在下面的时候 j只能在下面
                    G[i << 1].push_back(j << 1), G[j << 1 | 1].push_back(i << 1 | 1);
                else
                    G[j << 1].push_back(i << 1), G[i << 1 | 1].push_back(j << 1 | 1);
            }
            else if(abs(Node[i].y - Node[j].y) < mid)
            {
                if(Node[i].y > Node[j].y)  //i只能在上面 j只能在下面
                {
                    G[i << 1 | 1].push_back(j << 1);
                    G[j << 1].push_back(i << 1 | 1);
                    G[i << 1].push_back(i << 1 | 1);
                    G[j << 1 | 1].push_back(j << 1);
                }
                else if(Node[i].y < Node[j].y) //j只能在上面 i只能在下面
                {
                    G[j << 1 | 1].push_back(i << 1);
                    G[i << 1].push_back(j << 1 | 1);
                    G[j << 1].push_back(j << 1 | 1);
                    G[i << 1 | 1].push_back(i << 1);
                }
                else    //一个在上面 一个在下面
                {
                    G[i << 1].push_back(j << 1 | 1);
                    G[j << 1 | 1].push_back(i << 1);
                    G[i << 1 | 1].push_back(j << 1);
                    G[j << 1].push_back(i << 1 | 1);
                }
            }
        }
}

bool check()
{
    for(int i = 0; i < n * 2; i += 2)
        if(sccno[i] == sccno[i + 1])
            return false;
    return true;
}

int main()
{
    int T;
    rd(T);
    while(T--)
    {
        rd(n);
        for(int i = 0; i < n; i++)
            rd(Node[i].x), rd(Node[i].y);
        int l = 0, r = 20000 + 100, ans;
        while(l <= r)
        {
            int mid = (l + r) / 2;
            init();
            build(mid);
            for(int i = 0; i < n * 2; i++) if(!vis[i]) dfs(i);
            if(check()) l = mid + 1;
            else r = mid - 1;
        }
        pd(r);

    }

    return 0;
}