题目背景
一年一度的“跳石头”比赛又要开始了!
题目描述
这项比赛将在一条笔直的河道中进行,河道中分布着一些巨大岩石。组委会已经选择好了两块岩石作为比赛起点和终点。在起点和终点之间,有 N 块岩石(不含起点和终 点的岩石)。在比赛过程中,选手们将从起点出发,每一步跳向相邻的岩石,直至到达 终点。
为了提高比赛难度,组委会计划移走一些岩石,使得选手们在比赛过程中的最短跳 跃距离尽可能长。由于预算限制,组委会至多从起点和终点之间移走 M 块岩石(不能 移走起点和终点的岩石)。
输入输出格式
输入格式:
输入文件名为 stone.in。
输入文件第一行包含三个整数 L,N,M,分别表示起点到终点的距离,起点和终 点之间的岩石数,以及组委会至多移走的岩石数。
接下来 N 行,每行一个整数,第 i 行的整数 Di(0 < Di < L)表示第 i 块岩石与 起点的距离。这些岩石按与起点距离从小到大的顺序给出,且不会有两个岩石出现在同 一个位置。
输出格式:
输出文件名为 stone.out。 输出文件只包含一个整数,即最短跳跃距离的最大值。
输入输出样例
输入样例#1:
25 5 2
2
11
14
17
21
输出样例#1:
4
说明
输入输出样例 1 说明:将与起点距离为 2 和 14 的两个岩石移走后,最短的跳跃距离为 4(从与起点距离 17 的岩石跳到距离 21 的岩石,或者从距离 21 的岩石跳到终点)。
另:对于 20%的数据,0 ≤ M ≤ N ≤ 10。 对于50%的数据,0 ≤ M ≤ N ≤ 100。
对于 100%的数据,0 ≤ M ≤ N ≤ 50,000,1 ≤ L ≤ 1,000,000,000。
----------------------------------------------------------------------------------------------------------------------------------
下面以该题展开叙述:
观察此题,最短的最大,明显的二分。
思路:我们可以每次二分一个距离,然后检查该答案是否合法(若该答案是在至多移走m块石头后的路径中最小的,即合法,若移走的石头超过了m块,那么不合法),若合法,那么就尝试更大的答案,因为我们是要求最短距离的最大嘛。若不合法,说明移走的石头过多,即我们的二分的距离太大(因为距离大,石头之间的距离才容易小于二分的距离,移走的也就多),那就尝试更小的。
code:
#include<iostream>
#include<cstdio>
using namespace std;
const int N = 50010;
int l, n, m, ans, dis[N];
bool check(int x) {
int i, cur = 0, cnt = 0;
for (i = 1; i <= n; i++) {
if (dis[i] - dis[cur] < x) cnt++;
else cur = i;
}
if (cnt > m) return false;
else return true;
}
int main() {
scanf("%d%d%d", &l, &n ,&m);
int i;
for (i = 1; i <= n; i++)
scanf("%d", &dis[i]);
int mid, left = 1, right = l;
while (left <= right) {
mid = (left+right)>>1;
if (!check(mid)) right = mid-1;
else {
ans = mid;
left = mid+1;
}
}
printf("%d", ans);
return 0;
}
接下来解释一些细节:
首先明确,我们二分的最初区间是[最小的距离,最大的距离](本题中最小的距离就是1,最大当然就是整个区间长度),且这个区间上的所有点都没查找过。
为什么right每次更新为mid-1,left每次更新为mid+1?
因为mid我们已经查找过了,因此更新区间时可以把它去掉,保证下次操作的区间上的所有点都没查找过。
为什么是left<=right而不是left<right?
举个例子,当待查区间为[2,3]且下一步将要执行l=mid+1时,我们得到区间[3,3],此时将不会再查3,而等于则可以,即小于等于可以保证整个区间都被查到
注意:二分要实际问题实际分析,不要一味套板子,理解原理才是关键
----------------------------------------------------------------------------------------------------------------
2021-4-11
最近有了些对于二分的新认识,还是先看题目:
code:
using System;
class Solution
{
public int minNumberInRotateArray(int[] rotateArray)
{
int length = rotateArray.Length;
int l = 0, r = length;
int mid;
while (r-l>1)
{
if (rotateArray[l] < rotateArray[r-1]) return rotateArray[l];
mid = (l+r-1)/2;
if (rotateArray[mid] > rotateArray[r-1])
{
l = mid+1;
}
else if (rotateArray[mid] < rotateArray[r-1])
{
r = mid+1;
}
else
{
r--;
}
}
return rotateArray[l];
}
}
这个二分的关键代码简单来写其实就是:
int l = 0, r = 1e6; //左开右闭的
while (r-l > 1) {
int mid = (l+1+r)>>1; //l是开的,所以l+1,左闭右开时可以直接(l+r)/2,这是因为除法取整的特性决定的
if (check(mid)) r = mid;
else l = mid;
}
理解:
为了避免一些麻烦,我们常常把二分区间选为左开右闭式,且保证答案位于当前区间内。例如我们的答案位于[1,10]区间,那么我们就要令l=0,r=10,然后开始二分。
那么r-l>1怎么理解呢?首先我们考虑r-l==1时,大概是(2,3]这样区间,这时我们没必要再去二分,因为我们处理的数组都是离散型的,即答案肯定为3,右边界。当r-l<1时显然对于离散型数组,这样的情况是不合法的,难道你见过(1,1.6]这样的数组区间?显然没有。
计算mid时l+1是因为左开的缘故。
检查的时候若mid合法,则令r=mid,那么接下来我们要二分区间为(l,mid],保证了正确答案位于该区间。当不合法时,令l=mid,接下来二分的区间变为了(mid,r],同样也保证了答案的位于该区间。
左闭右开时可以类比,只要记得计算mid时不用直接l和r除以2即可。
----------------------------------------------------------------------------------------------------------------
2021/7/16
总结:关于二分我一直想找出一个模板,以减少处理边界所需要的时间,现总结如下:
1.左开右闭或左闭右开式:边界情况见上文。跳出循环后可以再手动判断下r(左开右闭,左闭右开类比)是否是答案,是则有解,否则无解。不过还是要具体情况具体分析
2.左闭右闭式:边界情况见上文。答案一般在while循环中找,如果跳出循环后还没找到解,则无解。不过还是要具体情况具体分析,像下面这道题:https://leetcode-cn.com/problems/sqrtx/
code:
class Solution {
public:
int mySqrt(int a)
{
if (a == 0 || a == 1) return a;
int l = 1, r = a, mid, sqrt;
while (l <= r)
{
mid = (l+r*1LL) / 2;
if (1LL*mid*mid == a) { return mid; }
else if (1LL*mid*mid > a) { r = mid - 1; }
else { l = mid + 1; }
}
return r;
}
};
在循环中找解是不可能的,但仔细分析跳出情况后我们可以发现答案就是r
注意:
二分要找准单调的量进行二分。
二分要根据实际题目进行分析。这种二分与上面跳石头二分的不同在于后者的答案未必一定在二分区间中,即哪怕最后我们二分结束,题目的答案可能并不是l或r的值,而是在某一次二分中记录的mid值。而前者则是始终保持答案位于二分区间,然后不断缩小区间,最后找出答案。简单说后者是利用了二分的思想,前者则是二分查找的模板