NYOJ586 疯牛-20140210

题目描述

  

疯牛

时间限制： 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 3
1
2
8
4
9

样例输出

3

解题报告

有关最大的最小值或者最小的最大值问题，考虑二分法。

这道题二分枚举结果再贪心法验证即可。

复杂度为O(NLogN)。

代码

/*二分结果+贪心验证
*/
#include <iostream>
#include <algorithm>
#include <stdio.h>
using namespace std;
long x[100001],n,c;
bool judge(int tip)
{
    int res = x[1];
    int p=1;
    for(int o = 1;o <= c;o++,p++)//每次加MID，能否放下C头牛
    {
        while(x[p] < res)
        {
            p++;
            if(p > n)
            {
                return false;
                break;
            }
        }
        res=x[p];
         res += tip;
    }
    return true;
}
void binary_search1()
{
    int head = 0,heal = 1000000001,mid;
    while(head != heal)
    {
        mid = ( head + heal )/2;
        if( judge(mid) )
            head = mid;
        else
            heal = mid + 1;
        if( (heal-head) <= 2)
        {if(judge(heal))
        {
            printf("%d\n",heal);
            break;
        }
        if(judge(heal-1))
        {
            printf("%d\n",heal-1);
            break;
        }else
        {
            printf("%d\n",head);
            break;
        }
        }


    }

}
int main()
{
    while(~scanf("%d%d",&n,&c))
    {
        for(int i = 1;i <= n;i++)
            scanf("%d",&x[i]);
        sort(x,x+n+1);
        binary_search1();
       // judge(4);
    }
    return 0;

}