P3853 [TJOI2007]路标设置（二分答案）

题目 链接

题目描述

现在政府决定在公路上增设一些路标，使得公路的“空旷指数”最小。他们请求你设计一个程序计算能达到的最小值是多少。请注意，公路的起点和终点保证已设有路标，公路的长度为整数，并且原有路标和新设路标都必须距起点整数个单位距离。

输入格式

第1行包括三个数L、N、K，分别表示公路的长度，原有路标的数量，以及最多可增设的路标数量。
第2行包括递增排列的N个整数，分别表示原有的N个路标的位置。路标的位置用距起点的距离表示，且一定位于区间[0,L]内。

输出格式

输出1行，包含一个整数，表示增设路标后能达到的最小“空旷指数”值。

输入输出样例

输入 #1

101 2 1
0 101

输出 #1

51

说明/提示

公路原来只在起点和终点处有两个路标，现在允许新增一个路标，应该把新路标设在距起点50或51个单位距离处，这样能达到最小的空旷指数51。
50%的数据中，2 ≤ N ≤ 100，0 ≤ K ≤ 100
100%的数据中，2 ≤ N ≤ 100000, 0 ≤ K ≤ 100000
100%的数据中，0 ＜ L ≤ 10000000

题目简析

找到一个“最小值”，可以发现在[l，l+x]中如果需要空旷指数为y的话，那么应该插入 x / y个路标，排序之后从小到大枚举每个间距，尝试放路标，如果能够在给定的K个路标完成y的空旷指数的话，那么就是合法的，可见空旷指数越大则越“合法”。就会有 0 0 0 0 0 0 1 1 1 1这样的状态产生，找到第一个合法的状态便是二分答案。

参考代码

#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
const int N = 100010;
ll a[N];
ll n, m, k;

ll check(ll x) {
	ll res = 0;
	for (int i = 1; i < n; i++) {
		ll d = a[i] - a[i - 1];
		if (d > x) {
			res += d / x;
			if (d % x == 0) res--;
		}
		if (res > k) return false;
	}
	return res <= k;
}

int main() {
	// freopen("in.txt", "r", stdin);
	cin >> m >> n >> k;
	for (int i = 0; i < n; i++) scanf("%lld", a + i);
	sort(a, a + n);
	ll l = 0, r = m;
	// for (int i = l; i <= r; i++) cout << i << " " << check(i) << endl;
	while (l < r) {
		ll mid = l + r >> 1;
		if (check(mid)) r = mid;
		else l = mid + 1;
	}
	printf("%lld", l);
	return 0;
}

备注

这道题有一个需要注意的地方，10的间距，空旷指数5的话，那么也只需要一个路标即可，但是 10 / 5 = 2，所以如果正好除得尽的话减少一个路标。