愤怒的牛（二分答案）

问题重述

农夫约翰建造了一座有n间牛舍的小屋，牛舍排在一条直线上，第i间牛舍在xi的位置，但是约翰的m头牛对小屋很不满意，因此经常互相攻击。约翰为了防止牛之间互相伤害，因此决定把每头牛都放在离其它牛尽可能远的牛舍。也就是要最大化最近的两头牛之间的距离。
牛们并不喜欢这种布局，而且几头牛放在一个隔间里，它们就要发生争斗。为了不让牛互相伤害。John 决定自己给牛分配隔间，使任意两头牛之间的最小距离尽可能的大，那么，这个最大的最小距离是多少呢？

• 输入格式:
  第一行用空格分隔的两个整数n和m，n，m<=10
  第二行为n个用空格隔开的整数，表示位置xi
  5 3
  1 2 8 4 9

• 输出格式:
  输出仅一个整数，表示最大的最小距离值
  3

解题思路

遇到最大的最小等这种最值问题一定要想到二分答案！！！
先去猜这个最值k，然后去找一个check()函数方法可以反过去验证这个答案k是否可行，并且还可以判断这个值大了还是小了，进而进一步缩小答案的范围，最终即可得到正确答案
所以二分答案的关键就是找一个check函数可以验证当前的答案

代码

#include <vector>
#include <iostream>
#include <string.h>
#include <map>
#include <stack>
#include <algorithm>
using namespace std;
int n,m;
vector<int> nums;
bool check(int x){
    int cnt=0,last=nums[0];
    for(int i=0;i<n;i++){
        int now=nums[i];
        if(now-last>=x) {
            cnt++;
            if(cnt>=m-1) return true;
            last=now;
        }
    }
    return false;
}
int main()
{
    cin>>n>>m;
    //m间房，m-1个区间
    for(int i=0;i<n;i++){
        int t;
        cin>>t;
        nums.push_back(t);
    }
    sort(nums.begin(),nums.end());
    int l=nums[0],r=nums[n-1];
    while(l<=r){
        int mid=(l+r)>>1;
        //！！！！！千万不能写成l=mid否则会死循环
        if(check(mid)) l=mid+1;//牛棚>mid的区间个数多与m-1了继续放大
        //（之前的错误想法）这里必须写成mid不能写mid+1了，因为包含恰好满足m-1个区间的情况，不能把恰好满足的情况排除了（之前的错误想法）
        //如果写成mid,就会造成死循环当l+1=r时，mid会一直等于l
        //而如果写成l=mid+1，尽管恰好满足时的点被跳过了即之后的区间不再包含了
        //但它的值仍会保留在mid=l-1里面，l是最后一次满足check时而赋值为mid+1的l
        else r=mid-1;
    }
    cout<<l-1;
    system("pause");
    return 0;
}