POJ2456 Aggressive cows 最大值最小化（二分）

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

题目大意：FJ有一个有n间牛棚的小屋，牛棚在一条直线上，坐标为分别为x[i],但是他的c头牛对牛棚不满，因此会经常相互攻击，FJ为了防止牛之间相互攻击，因子决定把每头牛都放在离其他牛尽可能远的牛棚，也就是要最大化最近两头牛之间的距离。

分析：二分每一个距离d。我们定义C（d）为可以安排牛的位置使得最近两头牛的距离为d。那么问题就变为了求C（d）的最大值的d。另外，最近两头牛的距离不小于d，就是说C（d）=可以安排牛的位置使得任意两头牛的距离都不小于d，这个问题可以用贪心很好的解决：

（1）对牛棚升序排序；

（2）把第一头牛放在x[0]的牛棚；

（3）如果第i头牛放入x[j]的话，那么第i+1头牛就要放入满足x[j]+d<=x[k]的最小的x[k]中。

实现代码如下：

#include <cstdio>
#include <algorithm>
using namespace std;
const int M=1e5+10;
const int inf=0x7fffffff;
int x[M],n,c;
bool judge(int mid)
{
    int last=0;
    for(int i=1;i<c;i++)
    {
        int cnt=last+1;
        while(cnt<n&&x[cnt]-x[last]<mid)
          cnt++;
        if(cnt==n) return false;
        last=cnt;
    }
    return true;
}
void solve()
{
    sort(x,x+n);
    int left=0,right=inf;
    while(right>left+1)
    {
        int mid=(left+right)/2;
        if(judge(mid)) left=mid;
        else right=mid;
    }
    printf("%d\n",left);
    //printf("%d\n",right-1);
}
int main()
{
    while(scanf("%d%d",&n,&c)!=-1)
    {
        for(int i=0;i<n;i++)
          scanf("%d",&x[i]);
        solve();
    }
    return 0;
}