*PS:竟然CCCCCE了(눈‸눈)
Description
聪聪研究发现,荒岛野人总是过着群居的生活,但是,并不是整个荒岛上的所有野人都属于同一个部落,野人们总是拉帮结派形成属于自己的部落,不同的部落之间则经常发生争斗。只是,这一切都成为谜团了——聪聪根本就不知道部落究竟是如何分布的。 不过好消息是,聪聪得到了一份荒岛的地图。地图上标注了N个野人居住的地点(可以看作是平面上的坐标)。我们知道,同一个部落的野人总是生活在附近。我们把两个部落的距离,定义为部落中距离最近的那两个居住点的距离。聪聪还获得了一个有意义的信息——这些野人总共被分为了K个部落!这真是个好消息。聪聪希望从这些信息里挖掘出所有部落的详细信息。他正在尝试这样一种算法: 对于任意一种部落划分的方法,都能够求出两个部落之间的距离,聪聪希望求出一种部落划分的方法,使靠得最近的两个部落尽可能远离。 例如,下面的左图表示了一个好的划分,而右图则不是。请你编程帮助聪聪解决这个难题。
Input
第一行包含两个整数N和K(1< = N < = 1000,1< K < = N),分别代表了野人居住点的数量和部落的数量。
接下来N行,每行包含两个正整数x,y,描述了一个居住点的坐标(0 < =x, y < =10000)
Output
输出一行,为最优划分时,最近的两个部落的距离,精确到小数点后两位。
Sample Input
4 2
0 0
0 1
1 1
1 0
Sample Output
1.00
Solution 1 二分答案+并查集验证
二分两个最近部落的距离,对于距离小于mid的两个点就把他们合并,最后统计一下联通块个数是否大于等于k,true就调整右边界,不然就调整左边界。
代码
#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
using namespace std;
int N,K;
int fa[1010],used[1010];
double r=-1;
double a[1010][1010];
struct maple{
int x,y;
}ship[1010];
int find(int x)
{
return fa[x]==x?x:fa[x]=find(fa[x]);
}
bool can(double q)
{
int k=0;
for(int i=1;i<=N;++i) fa[i]=i,used[i]=0;
for(int i=1;i<=N;++i)
for(int j=i+1;j<=N;++j)
if(a[i][j]<q)
{
int x=find(i),y=find(j);
if(x!=y) fa[x]=y;
}
for(int i=1;i<=N;++i)
{
int x=find(i);
if(!used[x])
{
used[x]=1;
++k;
}
}
if(k>=K) return true;
else return false;
}
int main()
{
scanf("%d%d",&N,&K);
for(int i=1;i<=N;++i)
scanf("%d%d",&ship[i].x,&ship[i].y);
for(int i=1;i<=N;++i)
for(int j=i+1;j<=N;++j)
{
a[i][j]=sqrt(pow((double)ship[i].x-ship[j].x,2)+pow((double)ship[i].y-ship[j].y,2));//强转,不然会ce
r=max(r,a[i][j]);
}
double l=0;
while(l+0.0001<r) //0.001 会wa
{
double mid=(l+r)/2;
if(can(mid)) l=mid;
else r=mid;
}
printf("%.2lf",l);
return 0;
}
Solution 2 最小生成树
(摘自题解,侵删)
首先处理出任意两点间的距离,这时的答案就是其中最短的距离,我们把距离最短的两点合并到一个集合(连边),此时答案又变成剩余的距离中的最短距离,我们再次进行连接……可知答案一定在最小生成树中。
所以我们可以建立一棵最小生成树,来保证每次连边都是不在同一个集合内的两点且之间的距离为当前最小的,直到连接了n-k+1条边。
至于为什么是n-k+1条??
n-k是为了保证能够建成k个集合(已知n-1条边是一棵树,若删去一条边–>n-2是两棵树……那么n-k就是k棵树)
+1的原因是为了保证当前求的这一条边是集合外的边,并不是连接的意思。
这样第n-k+1条边的长度就是答案。