进击的奶牛（二分）

Farmer John建造了一个有N(2<=N<=100,000)个隔间的牛棚，这些隔间分布在一条直线上，坐标是x1,…,xN (0<=xi<=1,000,000,000)。

他的C(2<=C<=N)头牛不满于隔间的位置分布，它们为牛棚里其他的牛的存在而愤怒。为了防止牛之间的互相打斗，Farmer John想把这些牛安置在指定的隔间，所有牛中相邻两头的最近距离越大越好。那么，这个最大的最近距离是多少呢？

输入格式
第1行：两个用空格隔开的数字N和C。

第2~N+1行：每行一个整数，表示每个隔间的坐标。

输出格式
输出只有一行，即相邻两头牛最大的最近距离。

输入输出样例
》》
5 3
1
2
8
4
9
《《
3

思路：最小值最大化（不断更新下确界）
下确界满足条件：遍历数组，当距离差大于等于下确界，放倔牛，当倔牛能放完的时候，该下确界就满足条件

#include <bits/stdc++.h>
#define LL long long
using namespace std;

LL a[100000];
bool check(LL m, int n, int c){//检测该下确界是否符合题目条件
    int cnt = 1, last = 0;
    for(int i = 1; i < n; i++){
        if(a[i] - a[last] >= m){
            last = i;
            cnt++;//在a[0]处必须放一头牛，所以初始值为1
        }
    }
    if(cnt >= c){
        return true;
    }
    else{
        return false;
    }
}
int main(){
    int n, c;
    cin >> n >> c;
    for(int i = 0; i < n; i++){
        cin >> a[i];
    }
    sort(a, a + n);
    LL L = 0, R = a[n-1] - a[0], M;
    while(L <= R){//二分找下确界
        M = (L + R)/2;
        if(check(M, n, c)){
            L = M + 1;//该下确界符合条件，继续缩小范围，自然是缩小左边界
        else{
            R = M - 1;
        }
    }
    cout << R << endl;//下确界是指最大下界，自然在下确界可取范围内取右边界
    return 0;
}