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

正确代码 

#include<iostream>
#include<algorithm>
using namespace std;
int n,c,a[1000];
int judge(int mid)
{
    int t=a[0],count=1;
    for(int 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(high>=low)
    {
        mid=(high+low)/2;
        if(judge(mid))
        low=mid+1;
        else
        high=mid-1;
    }
    return low-1;
}
  

int main()
{
    cin>>n>>c;
    for(int i=0;i<n;i++)
    {
        cin>>a[i];
    }
    sort(a,a+n);
    cout<<binary()<<endl; 
 }

题目理解
正如题目所描述的那样，首先先用二分查找找出最小间距，然后用贪心算法求出最大的最小间距。难点是理解二分查找的方式和贪心算法的应用，即求出中间栅栏的编号即mid，进行判断是否可以以这个最小间距进行安放牛，若不行则最大栅栏编号-1，进一步缩小mid的值再进行判断直到求出最大的最小间距，程序输出。