农夫和奶牛（二分）

农夫John建造了一座很长的畜栏，它包括N(2<=N<=100000)个隔间，这些小隔间的位置为x0,x1......xN-1(0<=xi<=1000000000,均为整数，各不相同）。John的c(2<=c<=n)头牛每头分到一个隔间。牛都希望互相离得远点省的互相打扰。怎样才能使任意两头牛之间的最小距离尽可能地大，这个最大的最小距离是多少呢？

#include<stdio.h>
#include<algorithm>
using namespace std;
int a[100005];
int n,c;
bool judge(int dis){
	int num=1,pre=a[0];
	for(int i=1;i<n;i++){
		if(a[i]-pre>=dis){
			num++;
			pre=a[i];
			if(num==c){
				return true;
			}
		}
	}
	return false;
}
int main(void){
	scanf("%d%d",&n,&c);
		
		for(int i=0;i<n;i++){
			scanf("%d",&a[i]);
		}
		sort(a,a+n);
		int l=0,r=1000000000/c;
		int mid;
		int ans;
		while(l<=r){
			mid=(l+r)>>1;
			if(judge(mid)){
				ans=mid;
				l=mid+1;
			}else{
				r=mid-1;
			}
		}
		printf("%d\n",ans);
	return 0;
}