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

二分最短距离即可。

然后每次把距离不超过mid的用并查集连起来，最后判断联通块的个数是否大于k即可。

AC代码：

#pragma GCC optimize(2)
#include<bits/stdc++.h>
//#define int long long
using namespace std;
const int N=1e3+10;
const double eps=1e-5;
int n,k,f[N];
struct node{
	double x,y;
}t[N];
int find(int x){
	return x==f[x]?x:f[x]=find(f[x]);
}
inline double dis(node a,node b){
	return sqrt((a.x-b.x)*(a.x-b.x)+(a.y-b.y)*(a.y-b.y));
}
int check(double mid){
	for(int i=1;i<=n;i++)	f[i]=i;
	for(int i=1;i<=n;i++){
		for(int j=i+1;j<=n;j++){
			int fa=find(i); int fb=find(j);
			if(fa==fb)	continue;
			if(mid-dis(t[i],t[j])>eps)	f[max(fa,fb)]=min(fa,fb);
		}
	}
	int cnt=0,vis[N]={0};
	for(int i=1;i<=n;i++){
		int fa=find(i);
		if(vis[fa])	continue;
		vis[fa]=1; cnt++;
	}
	return cnt>=k;
}
double bsearch(){
	double l=0,r=30000.0;
	while(r-l>eps){
		double mid=(l+r)/2;
		if(check(mid))	l=mid;
		else	r=mid;
	}
	return l;
}
signed main(){
	cin>>n>>k;
	for(int i=1;i<=n;i++)	scanf("%lf %lf",&t[i].x,&t[i].y);
	printf("%.2lf\n",bsearch());
	return 0;
}