题意：
给出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; }