【知识分析】分治,即分而治之,将大问题分解为小问题,分别求解,最后合并结果。分治、二分查找、 二分答案问题
二分查找
目录
可看y总:https://www.acwing.com/blog/content/31/
本质:
二分的本质不是单调性,而是在某个区间内存在可以将该区间一分为二的性质,所分开的两个区间各自具有不同的性质。
算法思路:
是通过不断缩小所要找的物品的范围,最终实现搜寻的一个算法,每次二分一定能够找到目标物所在的区间,且二分一定存在结果,但可以通过这个结果来判断题目是否有解。
代码模板:
二分查找分为两种情况,即两种模板。
版本一:
将当我们将区间 [ l, r] 划分成 [ l, m i d ] 和[ mid + 1 , r ]时,其更新操作是r = mid或者l = mid + 1;,计算mid时不需要加1。
int bsearch_1(int l, int r)
{
while (l < r)
{
int mid = l + r >> 1;
if (check(mid)) r = mid;//check函数表示判断mid是否符合某一区间的性质
else l = mid + 1;
}
return l;
}
版本二:
当我们将区间[ l, r ]划分成[ l, mid - 1 ]和[ mid, r ]时,其更新操作是r = mid - 1或者l = mid;,
注意边界:此时为了防止死循环,计算mid时需要加1,因为mid是向下取整的值,当l=r-1时,mid=l,即l=l,会进入死循环。
int bsearch_2(int l, int r)
{
while (l < r)
{
int mid = l + r + 1 >> 1;
if (check(mid)) l = mid;
else r = mid - 1;
}
return l;
}
例题:Acwing789 数的范围
789. 数的范围
给定一个按照升序排列的长度为 nn 的整数数组,以及 qq 个查询。
对于每个查询,返回一个元素 kk 的起始位置和终止位置(位置从 00 开始计数)。
如果数组中不存在该元素,则返回 -1 -1
。
输入格式
第一行包含整数 nn 和 qq,表示数组长度和询问个数。
第二行包含 nn 个整数(均在 1∼100001∼10000 范围内),表示完整数组。
接下来 qq 行,每行包含一个整数 kk,表示一个询问元素。
输出格式
共 qq 行,每行包含两个整数,表示所求元素的起始位置和终止位置。
如果数组中不存在该元素,则返回 -1 -1
。
数据范围
1≤n≤1000001≤n≤100000
1≤q≤100001≤q≤10000
1≤k≤100001≤k≤10000
输入样例:
6 3
1 2 2 3 3 4
3
4
5
输出样例:
3 4
5 5
-1 -1
难度:简单 |
时/空限制:1s / 64MB |
总通过数:105148 |
总尝试数:172251 |
来源:模板题,AcWing |
算法标签 |
【代码参考】
#include<iostream>
using namespace std;
const int N=100100;
int n,q;
int a[N];
int main(){
cin>>n>>q;
for(int i=0;i<n;i++){
scanf("%d",&a[i]);
}
while(q--){
int m;
scanf("%d",&m);
int l=0,r=n-1,mid;
while(l<r){
mid=l+r>>1;//>>右移一位,表示除以二
if(a[mid]>=m) r=mid;
else l=mid+1;
}
if(a[l]!=m){//二分一定可以找到结果,但可以通过该结果来判断该题是否有解
cout<<-1<<" "<<-1<<endl;
continue;
}
cout<<l<<" ";
l=0,r=n-1,mid;
while(l<r){
mid=l+r+1>>1;//+1是因为mid取值是向下取整的,当l=r-1时会陷入l=l的死循环
if(a[mid]<=m)l=mid;
else r=mid-1;
}
cout<<l<<endl;
}
return 0;
}