POJ-2456 Aggressive cows（二分）

题目链接：http://poj.org/problem?id=2456

描述

农夫 John 建造了一座很长的畜栏，它包括N (2 <= N <= 100,000)个隔间，这些小隔间依次编号为x1,...,xN (0 <= xi <= 1,000,000,000).
但是，John的C (2 <= C <= N)头牛们并不喜欢这种布局，而且几头牛放在一个隔间里，他们就要发生争斗。为了不让牛互相伤害。John决定自己给牛分配隔间，使任意两头牛之间的最小距离尽可能的大，那么，这个最大的最小距离是什么呢？

输入

第一行：空格分隔的两个整数N和C
第二行——第N+1行：分别指出了xi的位置

输出

每组测试数据输出一个整数，满足题意的最大的最小值，注意换行。

样例输入

5 3
1
2
8
4
9

样例输出

3

题意要表达的是：把C头牛放到N个带有编号的隔间里，使得任意两头牛所在的隔间编号的最小差值最大。

分析：这是一个最小值最大化的问题。先对隔间编号从小到大排序，则最大距离不会超过两端的两头牛之间的差值，最小值为1。所以我们可以通过二分枚举最小值来求。假设当前的最小值为x，如果判断出最小差值为x时可以放下C头牛，说明当前的x有点小，就先让x变大再判断；如果放不下，说明当前的x太大了，就先让x变小然后再进行判断。直到求出一个最大的x就是最终的答案。

代码：

 

#include<iostream>
#include<cstdio>
#include<map>
#include<algorithm>
#include<cstring>
using namespace std;
int n,c;
int a[100005];
bool judge(int x)//判断当距离为x时，能否将c头牛都放进隔间里
{
    int kase=1;
    int num=a[0];
    for(int i=1;i<n;i++)
    {
        if(a[i]-num>=x)//只要距离大于这个最小距离就能放
        {
            num=a[i];
            kase++;
            if(kase==c)//如果所有牛都能放进
                return true;
        }

    }
    return false;
}
int main()
{
    ios::sync_with_stdio(false);
    cin>>n>>c;
    for(int i=0;i<n;i++)
        cin>>a[i];
    sort(a,a+n);//排序，二分查找是必须先排序
    int low=1;//最小距离
    int high=a[n-1]-a[0];//最大距离，即最大距离不会超过第一个与最后一个元素之间的距离
    int mid;
    while(low<=high)//二分搜索
    {
        mid=low+(high-low)/2;
        if(judge(mid))
            low=mid+1;
        else
            high=mid-1;
    }
    cout<<low-1<<endl;//或者输出high+1也可以
    return 0;
}

转自：https://www.cnblogs.com/MisdomTianYa/p/6581896.html