Aggressive cows(二分模板)

题目:
农夫约翰搭了一间有 N 间牛舍的小屋。牛舍排在一条线上，第 i 号牛舍在 Xi 的位置。但是他的 M 头牛对小屋很不高兴，因此经常互相攻击。约翰为了防止牛之间互相伤害，因此决定把每头牛都放在离其他牛尽可能远的牛舍。也就是要最大化最近的两头牛之间的距离。

输入:
输入第一行: 两个正整数 N 和 M 。
接下来 N 行，每行一个整数 Xi 。

输出:
一个整数，即最近的两头牛之间的最大距离。

EG:
in:
5 3
1
2
8
4
9

out:
3

数据范围:
2≤ N ≤ 100000
2≤ M ≤ N
0≤ Xi ≤ 109

样例说明:
在位置 1，4，9 的牛舍中放入三头牛，得到最长距离 3 。

---

代码:

#include<iostream>#include<algorithm>#include<cstdio>#include<cctype>#include<ctime>#include<cmath>#include<cstring>#include<queue>using namespace std;int n,m,x[10005];inline bool jiancha(int a){    int cow=1,rr=x[1]+a;    for(int i=2;i<=n;++i)    {        if(rr>x[i]) continue;        ++cow;        rr=x[i]+a;    }    return cow>=m;}int main(){    int l=0;    cin>>n>>m;    for(int i=1;i<=n;++i)        cin>>x[i];    sort(x+1,x+n+1);    int r=x[n]-x[1];    while(r>=l)    {        int mid=(l+r)/2;        if(jiancha(mid))            l=mid+1;        else            r=mid-1;    }    cout<<r;    return 0;}