nyoj586疯牛

题目信息：

疯牛

时间限制：1000 ms  |  内存限制：65535 KB

难度：4

描述

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

样例输出

3

代码如下：

#include<stdio.h>
#include<stdlib.h>
#define Max_size 100020
int a[Max_size];
int N,C;
int cmp(const void *a,const void *b)//从小到大排序
{
    return *(int *)a-*(int *)b;
}
bool Judge(int v)// v表示两个牛之间最小的距离值
{
    int i;
    int num=0;//房子的编号
    int t;
    for(i=1;i<C;i++)//对牛进行计数
    {
        t=num+1;
        while(t<N&&a[t]-a[num]<v)//t跳出时，t==N说明列举了num之后的所有的房子都不能满足两房子之间距离<=v值
                                 //反之，则说明找到了满足条件的房子
            t++;
        if(t==N)
            return false;
        num=t;
    }
    return true;
}
int main()
{
    int i,bottom,top,mid;
    while(~scanf("%d%d",&N,&C))
    {
        for(i=0;i<N;i++)
            scanf("%d",a+i);
        qsort(a,N,sizeof(a[0]),cmp);//因为每个房间的坐标是混乱的，所以对每个房间的坐标进行小到大排序  
        bottom=0;top=(a[N-1]-a[0])*2;//确定上界和下界确保每个点都被检验过
        while(top-bottom>1)
        {
            mid=(top+bottom)/2;
            if(Judge(mid))
                bottom=mid;//mid值能满足条件 说明答案的区间为[mid,top)  
            else
                top=mid;//mid 值不能满足条件 说明答案的区间为(bottom,mid)  
        }
        printf("%d\n",bottom);
    }
    return 0;        
}