Aggressive cows (POJ No.2456)--二分法例题

题意

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

• $2\le N\le 100000$
• $2\le M\le N$
• $0\le x_i\le 10^9$

思路

类似的最大化最小值或者最小化最大值的问题，通常用二分搜索法就可以很好地解决。我们定义$l=0,r=\max x_i$，在$[l,r]$中进行二分搜索，将$mid=(l+r)>>1$作为最大的最小距离进行判定，看此时是否能够将这些牛全部安放，如果可以$l$继续右移，否则$r$左移

代码

#include<iostream>
#include<iomanip>
#include<cmath>
#include<string.h>
#include<queue>
#include<vector>
#include<map>
#include<algorithm>
using namespace std;

#define Max 100005
#define ll long long
#define inf 1000005
#define p pair<ll,ll>

ll n, m, ans = 0;
ll len[Max];

bool cnt(ll mid) {
	ll pos = len[1], ans = 1;
	for (ll i = 2; i <= n; i++) {
		if (len[i]-pos >= mid) {//距离可以容纳一头牛
			pos = len[i]; ans++;
		}
	}
	return ans >= m;
}

int main() {
	ll l = 0, r = 0;
	cin >> n >> m; len[0] = 0;
	for (ll i = 1; i <= n; i++) { cin >> len[i]; r = max(len[i], r); }
	sort(len + 1, len + n + 1);
	while (r > l + 1) {
		ll mid = (r + l) >> 1;
		if (cnt(mid)) l = mid; //以mid为最大的最小距离，能否满足m个牛的要求
		else r = mid;
	}
	cout << l << endl;
}