#10011. 「一本通 1.2 例 1」愤怒的牛（二分答案模板）

愤怒的牛
题目描述：

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

输入格式：

第一行用空格分隔的两个整数 n 和 m；
第二行为 n 个用空格隔开的整数，表示位置 xi。

输出格式：

输出仅一个整数，表示最大的最小距离值。

样例输入：

5 3
1 2 8 4 9

样例输出：

3

样例解释：

把牛放在1，4，8这样最小距离就是3。

数据范围与提示：

2<=n<=10^5
0<=xi<=10^9
2<=m<=n

模板题不做太多解释，详细注释在代码里

#include<bits/stdc++.h>
using namespace std;
int n,m,a[199999];
int l,r,mid;
bool check(int d){//查找mid是否满足 
	int null=1,kk=a[1]+d;//间隔为d，则下一个可以放牛的牛棚为a[1]+mid,牛初始一只 
	for(int i=2;i<=n;i++){//之前a[1]已经默认放了一头牛，所以从2开始 
		if(a[i]<kk)continue;//间隔不足，continue 
		null++;//间隔满足，牛数量++ 
		kk=a[i]+d;//下一个最小可放置的位置 
	}
	if(null>=m){//若可放置的牛满足题目的牛数量，返回1 
		return 1;
	}
	else{//不足则0 
		return 0;
	}
}
int main(){
	cin>>n>>m;
	for(int i=1;i<=n;i++){
		cin>>a[i];
	}
	sort(a+1,a+1+n);//升序排列 
	l=0;r=a[n]-a[1];//左端点l默认为0，右端点r即最大减最小 
	while(l<=r){//二分一般左端点不能超过右端点 
		mid=(l+r)/2;//中值，也可以用位运算>>2 
		if(check(mid)){//检查mid是否符合题意 
			l=mid+1;//满足则区间右移（前区间值小可满足，检查之后是否有也符合的） 
		}
		else
			r=mid-1;//不满足则说明mid过大，右端点左移 
	}
	cout<<r;
	return 0;
}