二分查找与二分答案（一）

一、前言

二分查找是在给定的有序的数组中查找我们所需要的答案一种方便的工具，它的便捷性体现在它能够在O（logn）的时间复杂度内进行查找，在这个基础上我们可以进一步使用二分答案去解题；

二、二分查找原理以及核心代码实现

1.二分查找原理

我们可以通过分析下面一个问题来对二分查找形成一个比较清楚的认知：

如图，我们想要写一个程序查找1到6这6个数字在该数组的的位置，那么首先我们最容易想到的就是一个for循环一个一个地去找，找到了就

输出位置，不是很简单吗？但是理想是美好的，现实是残酷的。如果只是有6个数字要查找那还好，如果要求你在1s内找1000个，10000个甚至是100000个呢？这种方法明显就超时辣！！那么O（n）的时间复杂度不行，那么O（logn）呢？由此人们发明了二分查找。那么二分查找是怎么进行的呢？

算法步骤如下：

1. 确定左右指针以及要寻找的数。

2.确定中间指针，判断中间的指针所指的数与要寻找的数的大小；

3.如果中间的指针所指的数大于等于要寻找的数使中指针成为右指针，反之使左指针指针等于中指针加1；

重复2,3直到左右指针相等。

2.代码实现

可以自己手动模拟感受一下。下面给出常见的模版(写法不唯一)：

/*此模版适用于有序且不包含重复元素的数组还有有序且包含重复元素（此时查找的是x第一次出现的位置）*/
while(l<r)
{
    int mid=l+r>>1;
    if(a[mid]>=x)r=mid;
    else l=mid+1;
}
cout<<l<<endl;

/*此模版适用于有序且不包含重复元素的数组还有有序且包含重复元素（此时查找的是x最后一次出现的位置）*/
while(l<r)
{
    int mid=l+r+1>>1;
    if(a[mid]<=x)l=mid;
    else r=mid-1;
}
cout<<r<<endl;

 三、二分答案的常见应用

1.什么是二分答案？

二分答案，顾名思义对答案进行二分。因为二分只能对有序特性的数组进行，所以我们可以得到该类问题的第一个特性：答案具有有序特性。其次我们二分得到的值我们要能够判断它的正确性，这边是第二个特征。

因此二分答案的特征有以下两点：

1.答案具有有序特性。

2.能够判断二分得到的值的正确性。

2.二分答案的典型例题

例题、跳石头

P2678 [NOIP2015 提高组] 跳石头 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

题目描述

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

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

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

输入格式

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

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

输出格式

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

输入输出样例

输入 #1复制

25 5 2 
2
11
14
17 
21

输出 #1复制

4

说明/提示

输入输出样例 1 说明

将与起点距离为 2 和 14 的两个岩石移走后，最短的跳跃距离为 4（从与起点距离 17 的岩石跳到距离 21 的岩石，或者从距离 21 的岩石跳到终点）。

数据规模与约定对于 20%20%的数据，0≤M≤N≤10。
对于 50%50% 的数据，0≤M≤N≤100。
对于 100%100% 的数据，0≤M≤N≤50000,1≤L≤109。

例题分析

我们假定二分的值是正确的，然后根据题意进行判断即可；因为我们要判断的是一个最短距离，如果有有一个石头与上一个石头的距离比最短距离还要小就要拿走，统计使当前情况成立的最少所需要的石头数，如果大于给定的数则此情况与题意矛盾，不成立，反之成立。注意一下边界条件的处理。

ac代码

#include<iostream>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=50010;
int L,n,m,v;

int a[N],b[N],c[N];

bool check(int x){
	int cnt=0;
	memcpy(c,b,sizeof b);
	for(int i=1;i<=n+1;i++){
		if(c[i]<x&&i!=n+1)
		{
			cnt++;
			c[i+1]+=c[i];
		}
		if(i==n+1&&c[i]<x)cnt++;
		if(cnt>m)return false;
	}
	return true;
}

void finds()
{
	int l=v,r=L;
	while(l<r)
	{
		int mid=(l+r+1)/2;
		if(check(mid))l=mid;
		else r=mid-1;
		
	}
	cout<<l<<endl;
}

int main()
{
	cin>>L>>n>>m;
	if(n==m){
		cout<<L;
		return 0;
	}
	for(int i=1;i<=n;i++)cin>>a[i];
	int v=1e7;
	for(int i=1;i<=n;i++){
		b[i]=a[i]-a[i-1];
		v=min(v,b[i]);
	}
	b[n+1]=L-a[n];
	v=min(v,b[n]);
	finds();

	return 0;
}