POJ 2456 Aggressive cows(二分查找 最大化最小值）

题意：给出n个牛棚的位置，选择其中的m个给牛住，使得牛之间的距离的最小值最大。

首先我们可以知道距离的最小值一定产生于相邻的牛之间，所以要保证相邻牛之间的距离大于等于这个最小值d。所以把牛棚的位置从小到大排序，然后在最小的那个位置先放一头牛，再找下一个牛棚放牛，下一个位置和当前的位置间隔必须大于等于d。如果满足条件，即可以找到m个牛棚给牛住，那么再尝试让d大一点。为什么每一次都是大于等于d?就算这一轮没有出现距离刚好为d的情况，那么下一次一定可以找到一个距离刚好为d'的情况，其中d'就是这轮中距离的最小值，并且这个d'比d更大。由于mid的时候可能就是最终解，所以区间是左闭右开，要把mid包括进来，最后输出l。

至于为什么第一头牛一定是放在位置最小的地方，可以假设如果放在次小的地方，那么如果最小值只可能被改得更小，或者不变。

#include<cstdio>
#include<cstring>
#include<cmath>
#include<cmath>
#include<algorithm>
#define N 100010
#define INF 0x3f3f3f3f
using namespace std;
int n, c, l, r, mid, st, ed, site[N];
bool ok(int x)
{
    st = 0;
    ed = 0;
    for (int i = 0; i < c-1; i++)
    {
        while (site[ed+1] - site[st] < x && ed+1 < n) ed++;
        if (ed+1 == n) return false; //原本下一个牛应该放在[0,n-1]中，现在要超过n-1，说明已经没有地方可以放了
        st = ed+1;
        ed = st;
    }
    return true;
}
int main()
{
    scanf("%d%d", &n, &c);
    for (int i = 0; i < n; i++)
        scanf("%d", &site[i]);
    sort(site, site+n);
    site[n] = INF;
    l = 0;
    r = INF;
    while (r - l > 1)
    {
        mid = (l + r) / 2;
        if (ok(mid)) l = mid;
        else r = mid;
    }
    printf("%d\n", l);
}