NYOJ 586疯牛（二分）

描述
农夫 John 建造了一座很长的畜栏，它包括N (2 <= N <= 100,000)个隔间，这些小隔间依次编号为x1,...,xN (0 <= xi <= 1,000,000,000).
但是，John的C (2 <= C <= N)头牛们并不喜欢这种布局，而且几头牛放在一个隔间里，他们就要发生争斗。为了不让牛互相伤害。John决定自己给牛分配隔间，使任意两头牛之间的最小距离尽可能的大，那么，这个最大的最小距离是什么呢？
输入
有多组测试数据，以EOF结束。
第一行：空格分隔的两个整数N和C
第二行——第N+1行：分别指出了xi的位置
输出
每组测试数据输出一个整数，满足题意的最大的最小值，注意换行。
样例输入
5 3
1
2
8
4
9
样例输出
3
 

#include<iostream>
#include<algorithm>
//在所有可行的方法中，它门的最小值中选最大的 
using namespace std;
int a[100005],n,c;
int judge(int mid)
{
	int i,count=1,t=a[0];
	for(i=1;i<n;i++)
	{
		if(a[i]-t>=mid)
		{
			count++;
			t=a[i];
			if(count>=c)
			 return 1;
		}
	}
	return 0;
}
int binary()
{
	int low=0,high=a[n-1]-a[0],mid;
	while(low<=high)
	{
		mid=(low+high)/2;
		if(judge(mid))
		 low=mid+1;
		else
		 high=mid-1;
	}
	return low-1;
}
int main()
{
	while(~scanf("%d%d",&n,&c))
	{
		int i;
		for(i=0;i<n;i++)
		  cin>>a[i];
		sort(a,a+n);
		cout<<binary()<<endl;
	}
	return 0;
}