题目描述
输入格式
输出格式
算法
(二分答案) O ( n l o g n ) O(nlogn) O(nlogn)
当我们看到最短距离最大时,大约就可以知道用二分答案,因为这同时满足了答案的有界性与单调性。
本题通过二分答案,将中值mid作为可能的答案值,不断带入判断是否为可行解直至找到最优可行解。可行说明mid在最优解在mid的右边,不可行说明mid在最优解在mid的左边。
而判断的过程就是枚举所有的石头,判断石头间的距离是否可以比mid更大,如果更大就更新比较的石头使得每次比较都是相邻石头的比较,如果没有更大则移除石头的计数器+1,最后判断计数器的值是否比最大移除石头上限值小,来判段是否为可行解。无论如何,不断更新可行解所在区域,直至找到最优解(分治过程)。
C++ 代码
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N = 1e5 + 10,INF = 1e9 + 1;
int a[N];
int dis,n,m,res;
bool check(int x)
{
int move_tot = 0,now_index = 0;
for(int i = 1;i <= n;i ++){
if(a[i] - a[now_index] < x) move_tot ++;
else now_index = i;
}
if(move_tot <= m) return true;
else return false;
}
int main()
{
cin >> dis >> n >> m;
for(int i = 1;i <= n; i ++){
cin >> a[i];
if(i == n) a[i + 1] = dis;
}
int l = 1,r = dis;
while(l <= r){
int mid = (l + r) >> 1;
if(check(mid)){
l = mid + 1;
res = mid;
}
else r = mid - 1;
}
cout << res << '\n';
return 0;
}