洛谷P2678 跳石头（二分答案）

P2678 跳石头

题目背景

一年一度的“跳石头”比赛又要开始了!

题目描述

这项比赛将在一条笔直的河道中进行，河道中分布着一些巨大岩石。组委会已经选择好了两块岩石作为比赛起点和终点。在起点和终点之间，有 NN 块岩石（不含起点和终点的岩石）。在比赛过程中，选手们将从起点出发，每一步跳向相邻的岩石，直至到达终点。

为了提高比赛难度，组委会计划移走一些岩石，使得选手们在比赛过程中的最短跳跃距离尽可能长。由于预算限制，组委会至多从起点和终点之间移走 MM 块岩石（不能移走起点和终点的岩石）。

输入格式

第一行包含三个整数 $L,N,M$，分别表示起点到终点的距离，起点和终点之间的岩石数，以及组委会至多移走的岩石数。保证$L\ge 1$且$N\ge M\ge 0$。

接下来 NN 行，每行一个整数，第 ii 行的整数 $Di(0<D_i<Li)$
​ 表示第 ii 块岩石与起点的距离。这些岩石按与起点距离从小到大的顺序给出，且不会有两个岩石出现在同一个位置。

输出格式

一个整数，即最短跳跃距离的最大值。

输入输出样例

输入 #1

25 5 2
2
11
14
17
21

输出 #1

4

说明/提示

输入输出样例 1 说明：将与起点距离为 22和 14 的两个岩石移走后,最短的跳跃距离为 44(从与起点距离 17 的岩石跳到距离 21 的岩石,或者从距离 21 的岩石跳到终点)。

另：对于 20%的数据,$0\le M\le N\le 100\le M\le N\le 10$。

对于50%的数据,$0\le M\le N\le 1000\le M\le N\le 100$。

对于100%的数据,$0\le M\le N\le 50,000,1\le L\le 1,000,000,0000\le M\le N\le 50,000,1\le L\le 1,000,000,000$。

我理解的题意

经过了很长时间的理解和scx dalao的点拨 我终于弄明白了题意 才发现之前理解的是错误的

这里的最小值最大是说 把每一次移走小于m块石头的状态从起点到终点的每一步的最小值全部算出来，称为$t(i)$ 。在这些最小值里面找出来一个最大值,即ans=$max(t(i))$

思路

知道题意以后我们就可以来解决这道问题了！

本题利用到了“二分答案” 即对所有可能的答案进行二分，如果想找最小值最大的话，就每次找一下当前的二分值ans是否合理，如果合理就往右边找（因为合理的话可能找到更大的），如果不合理（说明有比现在的ans小的情况）那就往小区间找，最后找到的一定就是最小值最大的那一个了。

本题的judge函数是用来判断是否有比当前的答案小的，如果有的话，当前的ans就不合理。这个函数采用了贪心的思想，每次都判断一下一下跳的距离能不能比当前的ans大，如果一步小于的话为了让ans符合条件，就必须把中间的石头移走，让每次跳的更远。由于每一次跳之前只有两种选择：1.跳过去 即 当前的a[i]-a[now]>当前的ans 这样答案是合理的。2 拿走石头，这样的情况是因为如果直接跳过去的话答案就比ans小，直接不合理了，于是要拿走石头如果这样找一遍之后发现移走的石头比规定的最多要多的话，那么当前的答案不合理，需要把答案区间往左边（小）更新，否则就往右（大）。

至此 本题就解决了。

代码

#include<bits/stdc++.h>
using namespace std;
int l,m,n,s;
int a[500100];
int ans;
int ansok(int k)
{
	int now=0;
	int sum=0;
	for(int i=1; i<=n+1; i++)
	{
		if(a[i]-a[now]<k)
			sum++;//拿掉石头
		else
			now=i;//不拿掉石头，更新下标
	}
	if(sum<=m)
		return 1;
	else
		return 0;
}
int main()
{
	cin>>s>>n>>m;
	for(int i=1; i<=n; i++)
		cin>>a[i];
	a[n+1]=s;
	int l=0;
	int r=s;
	while(l<=r)
	{
		int mid=(r+l)/2;
		if(ansok(mid))
		{
			ans=mid;
			l=mid+1;
		}
		else
			r=mid-1;
	}
	cout<<ans;
	return 0;
}