【USACO 2005 Feb. Gold】2.愤怒的牛【二分法】

农夫约翰建造了一座有 n 间牛舍的小屋，牛舍排在一条直线上，第 i 间牛舍在 xi 的位置，但是约翰的 m 头牛对小屋很不满意，因此经常互相攻击。约翰为了防止牛之间互相伤害，因此决定把每头牛都放在离其它牛尽可能远的牛舍。也就是要最大化最近的两头牛之间的距离。

牛们并不喜欢这种布局，而且几头牛放在一个隔间里，它们就要发生争斗。为了不让牛互相伤害。John 决定自己给牛分配隔间，使任意两头牛之间的最小距离尽可能的大，那么，这个最大的最小距离是多少呢？

输入格式
第一行用空格分隔的两个整数 n 和 m；

第二行为 n 个用空格隔开的整数，表示位置 xi。

输出格式
输出仅一个整数，表示最大的最小距离值。

样例
样例输入

5 3
1 2 8 4 9

样例输出

3

样例解释
把牛放在 1, 4 ,8 这样最小距离是 3 。

数据范围与提示

2≤n≤10^5, 0≤xi≤10^9, 2≤m≤n。

二分法：

最大距离应该是平均距离，可以从最大值开始往回找，或者是

#include<iostream>
#include<algorithm>
using namespace std; 

const int maxn=100005;
int x[maxn];
int n,m;

int fun(int mid)
{
	
	int sum=0;//符合条件的牛栏集合数
	int pos=0; 
	for(int i=0;i<n;i++)
	{
		if(x[i]-x[pos]>=mid)//如果满足a[pos] ~ a[i] >=mid 那么下次接着开始记录 
		{
			sum++;
			pos=i;
		}
	}
	if(sum+1<m)
		return 0;
	else //成功 
		return 1;
}

int main()
{
	cin>>n>>m;//n间牛舍，m头牛 
	for(int i=0;i<n;i++)
	{
		cin>>x[i];
	}
	//
	int res=0;//答案：最小间隔的最大值
	//最大化任一两头牛之间的距离，一定不会大于平均距离
	//先排序
	sort(x,x+n);//从小到大
	//二分法
	int low=1;//最小距离 
	int high=(x[n-1]-x[0])/(m-1);//平均距离 
	int mid;
	while(low<=high)
	{
		mid=(low+high)/2;
		if(fun(mid)==1)//如果成功，就往大了算 
		{
			res=mid;
			low=mid+1;
		}
		else//未成功 往小了算 
		{
			high=mid-1;
		}
	}
	
	return 0;
}