1. 题目描述
2. 思路分析
整体思路：二分答案
由题意知，公路上相邻路标的最大距离定义为该公路的“空旷指数”。在公路上增设一些路标，使得公路的“空旷指数”最小。也就是满足最大值最小。我们就自然想到可以二分答案。
定义三个变量L，n，k分别表示公路的长度，原有路标的数量，以及最多可增设的路标数量。开一个数组a，数组的第i个元素a[i]表示原有路标与起点的距离。
我们这里又开了一个差值数组s，令s[i]=a[i]-a[i-1]，这样就可以用数组s表示原有的两个相邻路标的距离。
令左边界l=0，右边界r=L。
套用二分模板，mid=(l+r)>>1。主要就是要写一个check()函数，设check()函数的形参为x，将mid传入x。我们定义一个cnt变量用于记录新增的路标数量，遍历s[i]数组，如果s[i]>x，我们就要新增一个路标(cnt++)，同时我们判断剩余部分（s[i]-x）的长度和x的关系，如果剩余部分的长度比x大，我们就继续插路标（cnt++），直到num<=x。
for循环结束后，我们判断一下cnt（新增路标数量）和k（最多可增设的路标数量），如果cnt<=k，return true。否则return false。
3. 代码实现
#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N = 100010;
ll a[N], s[N], L, n, k, maxx;
bool check(int x) {
ll cnt = 0;
for (int i = 1; i <= n; i++) {
if (s[i] > x) {
cnt++;
int num = s[i] - x;
while (num > x) {
cnt++;
num -= x;
}
}
}
if (cnt <= k) return true;
else return false;
}
int main() {
cin >> L >> n >> k;
for (int i = 1; i <= n; i++) {
cin >> a[i];
s[i] = a[i] - a[i - 1];
}
int l = 0, r = L;
while (l + 1 < r) {
int mid = (l + r) >> 1;
if (check(mid)) r = mid;
else l = mid;
}
cout << r << endl;
return 0;
}
