实数二分 [JSOI2010]部落划分（洛谷 P4047）

[JSOI2010]部落划分

题目大意：

给你 n 个点，让你分成 k 个连通块，求每个连通块之间距离最小的最大值；

两个连通块之间的距离为连通块之内相距最近的两个点的距离；

n<=1000;

---

看到最小值最大，一般都是二分；

但是这题也可以用最小生成树来做，虽然更加简单，但是个人觉得比较难理解；

二分最大距离就可以，判断只要把两个距离比 d 小的放在一块，然后判断连通块个数就可以了；

为什么可以这样？可以反过来想，如果一个连通块的两个点的距离大于 d ，那么为啥不把这个连通块分成两块，这样距离更大了；

代码：

#include<bits/stdc++.h>
#define LL long long
#define pa pair<int,int>
#define ls k<<1
#define rs k<<1|1
#define inf 0x3f3f3f3f
using namespace std;
const int N=10100;
const int M=50100;
const int mod=1e9;
const double esp=1e-9;
int n,k,fa[N];
int find(int p){
	if(p==fa[p]) return p;
	return fa[p]=find(fa[p]);
}
struct Node{
	double x,y;
}d[N];
double solve(int p,int q){
	return sqrt((d[p].x-d[q].x)*(d[p].x-d[q].x)+(d[p].y-d[q].y)*(d[p].y-d[q].y));
}
bool judge(double d){
	for(int i=1;i<=n;i++) fa[i]=i;
	for(int i=1;i<=n;i++){
		for(int j=1;j<=n;j++){
			if(i==j||solve(i,j)-d>=esp) continue;
			fa[find(i)]=find(j);
		}
	}
	int sum=0;
	for(int i=1;i<=n;i++) if(find(i)==i) sum++;
	if(sum>=k) return true;
	return false;
}
int main(){
	cin>>n>>k;
	for(int i=1;i<=n;i++) cin>>d[i].x>>d[i].y;
	double l=1e-9,r=1e9,ans=0;
	while(r-l>esp){
		double d=(l+r)/2.0;
		if(judge(d)){
			ans=d;
			l=d;
		}
		else r=d;
	}
	printf("%.2lf\n",ans);
	return 0;
}