题意
有n个城市,每个城市需要贴上一个标签,所以的标签都是大小相同且不重叠的正方形,其对应的城市位于标签上边或下边的中点,最大化标签的边长。
题解
应该很明显有二分性的吧。二分出边长之后是不是可以得出一些限制?
假设二分的边长为d。
那么对于
|xi−xj|>=d
|
x
i
−
x
j
|
>=
d
的两个城市,不会造成什么影响所有也没有限制不需要考虑。
然后如果
|yi−yj|>=2d
|
y
i
−
y
j
|
>=
2
d
也不用考虑。
|yi−yj|<d
|
y
i
−
y
j
|
<
d
不妨设yi>yj,那么必须是i向上j向下,这种情况怎么连边呢,有一个小技巧就是i向下连向i向上,j向上连向j向下,那么就肯定会取i向上j向下啦qwq
d<=|yi−yj|<2d
d
<=
|
y
i
−
y
j
|
<
2
d
,那么必须i向上或者j向下,i向下和j向下连边,j向上和i向上连边。
然后裂点连边跑tarjan缩点即可qaq
应该挺简单的吧?
//Suplex
#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
#include <cmath>
#define N 200000
using namespace std;
int T,n,l,r,t,cnt,top,tot,x[N],y[N],vet[N+N],Next[N+N],head[N];
int low[N],dfn[N],c[N],stack[N],belong[N];
void add_edge(int u,int v)
{
vet[++cnt]=v;Next[cnt]=head[u];head[u]=cnt;
}
void tarjan(int u)
{
low[u]=dfn[u]=++tot;
c[u]=1;stack[++top]=u;
for(int i=head[u];i;i=Next[i]){
int v=vet[i];
if(!dfn[v]){
tarjan(v);
low[u]=min(low[u],low[v]);
}else if(c[v]) low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u]){
int tmp=0;
t++;
while(tmp!=u){
tmp=stack[top--];
c[tmp]=0;
belong[tmp]=t;
}
}
}
inline bool check(int d)
//X 向下 X-1 向上
{
cnt=top=t=tot=0;
for(int i=1;i<=n+n;i++) head[i]=0;
for(int i=1;i<=n;i++)
for(int j=i+1;j<=n;j++){
if(d==2) printf("%d\n",cnt);
if(abs(x[i]-x[j])>=d || abs(y[i]-y[j])>=d+d) continue;
int xx=i,yy=j;
if(y[xx]<y[yy]) swap(xx,yy);
int X=xx+xx,Y=yy+yy;
if(y[xx]-y[yy]>=d && y[xx]-y[yy]<d+d){
add_edge(X,Y);
add_edge(Y-1,X-1);
}
if(y[xx]-y[yy]<d){
if(y[xx]-y[yy]) add_edge(X,X-1),add_edge(Y-1,Y);
else add_edge(X-1,Y),add_edge(X,Y-1),add_edge(Y,X-1),add_edge(Y-1,X);
}
}
for(int i=1;i<=n+n;i++) dfn[i]=low[i]=c[i]=belong[i]=0;
for(int i=1;i<=n+n;i++)
if(!dfn[i]) tarjan(i);
for(int i=1;i<=n;i++) if(belong[i+i-1]==belong[i+i]) return false;
return true;
}
int main()
{
scanf("%d",&T);
while(T--){
scanf("%d",&n);
for(int i=1;i<=n;i++)
scanf("%d%d",&x[i],&y[i]),x[i]+=10000,y[i]+=10000;
l=0;r=20005;
while(l<r){
int mid=(l+r+1)>>1;
if(check(mid)) l=mid;else r=mid-1;
}
printf("%d\n",r);
}
return 0;
}