codevs 2982 Aggressive cows愤怒的奶牛poj2456--二分答案

农夫 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

要找出间隔最小的最大值，朴素的放法，两端先放，再放中间,推测二分是可以的。将可能的最小值与最大值二分答案，可能的小值是最小间隔，最大值可能是平均值，数据范围在10^9，二分后下降很快，放不下减小，放大下增大，找到最值。

参考代码：

#include<cstdio>
#include<iostream>
#include<algorithm>
using namespace std;
const int maxn=100000+15;
int N,M;
int x[maxn];
bool put(int d){//判断距离间隔d能否放下这m头牛
  int last=0;//第一头牛放左端，
  for(int i=1;i<M;i++){//挨着放下一只
    int crt=last+1;
    while(crt<N&&x[crt]-x[last]<d) crt++;   //找到间隔超过d的位置
    if(crt==N) return false;//放到头了，没法放下第i只牛
    last=crt; 
  }
return true;
}

int main(){
  scanf("%d%d",&N,&M);
  for(int i=0;i<N;i++) scanf("%d",&x[i]);
  sort(x,x+N);
  int left=0,right=x[N-1];//可以再除以(m-1),还要判断0，麻烦，没写
  while(right-left>1){
    int mid=(left+right)>>1;
    if(put(mid)) left=mid;//能发下，向大了找， ,left，mid是可以放这m头牛的。 
    else right=mid;//放不下，向小了找 
  }
  printf("%d\n",left);//
return 0;


}