二分法入门及例题

想做梦的泽熙

于 2022-11-02 00:15:49 发布

阅读量555

点赞数

文章标签：算法数据结构

本文链接：https://blog.csdn.net/m0_74625021/article/details/127643780

版权

二分入门：

假设有一段单调（递增递减都可，这里主要说明递增数列）的数列，设其起点为A（即为最小值，对应的序列为L），终点为B（对应的序列为R），我们要查找其中的一个值X，当这个起点距离终点很远的时候，一个个去查找是不现实的（wrong），

我们选择查找他们的中点（mid=（L+R）/2），分为以下三种情况：

第一种：这个M（mid中点值）小于我们需要查找的值X，那我们就去mid的右边查找，L=mid+1，继续查找；

第二种：这个M（mid中点值）等于我们需要查找的值X，退出循环

第三种：这个M（mid中点值）大于我们需要查找的值X，那我们就去mid的右边查找，L=mid+1，继续查找；

注意：这个里面有一个问题，当这个L+R不为奇数，我们查找到的是中间两个数的左边那个数。

例题

#题目一【深基13.例1】查找

## 题目描述

输入 $n$ 个不超过 $10^9$ 的单调不减的（就是后面的数字不小于前面的数字）非负整数 $a_1,a_2,\dots,a_{n}$，然后进行 $m$ 次询问。对于每次询问，给出一个整数 $q$，要求输出这个数字在序列中第一次出现的编号，如果没有找到的话输出 $-1$ 。

## 输入格式

第一行 $2$ 个整数 $n$ 和 $m$，表示数字个数和询问次数。

第二行 $n$ 个整数，表示这些待查询的数字。

第三行 $m$ 个整数，表示询问这些数字的编号，从 $1$ 开始编号。

## 输出格式

输出一行，$m$ 个整数，以空格隔开，表示答案。

## 样例 #1

### 样例输入 #1

```
11 3
1 3 3 3 5 7 9 11 13 15 15
1 3 6
```

### 样例输出 #1

```
1 2 -1
```

## 提示

数据保证，$1 \leq n \leq 10^6$，$0 \leq a_i,q \leq 10^9$，$1 \leq m \leq 10^5$

本题输入输出量较大，请使用较快的 IO 方式。

#include<bits/stdc++.h>
using namespace std;
int n,m,now=1;
int a[1000086],x;
int find(int a[],int L,int R,int x){
	if(L==R){
		if(a[L]==x)return L;
		else return -1;
	}
	int mid=(L+R)/2;
	if(x<=a[mid])find(a,L,mid,x);
	else find(a,mid+1,R,x);
}//这里查找的是最小的那个序列号，故用递归实现一直查找的功能
int main()
{
	cin>>n>>m;
	for(int i=1;i<=n;i++)cin>>a[i];
	for(int i=1;i<=m;i++){
		cin>>x;
		int ans=find(a,1,n,x);
		cout<<ans<<' ';
	}
	return 0;
}

# 题二：进击的奶牛

## 题目描述

Farmer John 建造了一个有 $N$($2$ $\le$ $N$ $\le$ $100000$) 个隔间的牛棚，这些隔间分布在一条直线上，坐标是 $x_1$ ,...,$x_N$
(0 $\le$ $x_i$ $\le$ $1000000000$)。

他的 $C$($2$ $\le$ $C$ $\le$ $N$) 头牛不满于隔间的位置分布，它们为牛棚里其他的牛的存在而愤怒。为了防止牛之间的互相打斗，Farmer John 想把这些牛安置在指定的隔间，所有牛中相邻两头的最近距离越大越好。那么，这个最大的最近距离是多少呢？

## 输入格式

第 $1$ 行：两个用空格隔开的数字 $N$ 和 $C$。

第 $2$ ~ $N+1$ 行：每行一个整数，表示每个隔间的坐标。

## 输出格式

输出只有一行，即相邻两头牛最大的最近距离。

## 样例 #1

### 样例输入 #1

```
5 3
1
2
8
4
9
```

### 样例输出 #1

```
3
```

#include<bits/stdc++.h>
using namespace std;
int N,C,ans;
int a[100005];
bool check(int a[],int len,int n)
{
	int now=1,pos=1;//第一个牛棚必须放牛
	for(int i=2;i<=N;i++){
		if(a[i]-a[pos]>=len)now++,pos=i;//当这个距离大于查找距离，直接放牛，刷新点位
		if(now==n)return 1;//当达到了这个放牛数量，直接滚出循环返回true
	}
	return 0;//循环一遍下来，如果这个牛放不完，那要被打，直接返回false
} 
int main()
{
	cin>>N>>C;
	for(int i=1;i<=N;i++)cin>>a[i];
	sort(a+1,a+1+N);
	int L=1,R=1e9;
	while(L<=R){
		int mid=(L+R)/2;
		if(check(a,mid,C)){//二分查找模板
			ans=max(ans,mid);//更新答案
			L=mid+1;
		}
		else R=mid-1;
	}
	cout<<ans;
	return 0;
	
}

# 题三[NOIP2015 提高组] 跳石头

## 题目背景

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

## 题目描述

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

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

## 输入格式

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

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

## 输出格式

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

## 样例 #1

### 样例输入 #1

```
25 5 2
2
11
14
17
21
```

### 样例输出 #1

```
4
```

## 提示

### 输入输出样例 1 说明

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

### 数据规模与约定

对于 $20\%$的数据，$0 \le M \le N \le 10$。
对于 $50\%$ 的数据，$0 \le M \le N \le 100$。
对于 $100\%$的数据，$0 \le M \le N \le 50000,1 \le L
\le 10^9$。

#include<bits/stdc++.h>
using namespace std;
int S,N,M,ans=0,s[50005];
bool leap(int len){
	int cnt=0,now=0;//now为当前起点 
	for(int i=1;i<=N+1;i++){
		if(s[i]-now<len)cnt++;//小于当前距离移开 
		else now=s[i];//更新当前坐标 
	}
	if(cnt<=M)return 1;//这里移开的石头可以小于应该要移除的石头，因为已经移除的石头都是必须移除的  
	else return 0; //剩下的M-cnt块石头随便移除，只要不动那个最大的最短距离那两块就行 
}
int main()
{
	cin>>S>>N>>M;
	int L=1,R=1e9;
	for(int i=1;i<=N;i++)cin>>s[i];
	s[N+1]=S; 
	sort(s+1,s+1+N);
	while(L<=R){
		int mid=(L+R)/2;
		if(leap(mid)){
			ans=max(ans,mid);
			L=mid+1;
		}
		else R=mid-1;
	}
	cout<<ans;
	return 0;
}