数学中的二分:
对于区间[a,b]上连续不断且f(a)·f(b)<0的函数y=f(x),通过不断地把函数f(x)的零点所在的区间一分为二,使区间的两个端点逐步逼近零点,进而得到零点近似值的方法叫二分法。 ——百度词条
计算机中的二分:
二分查找也称折半查找(Binary Search),它是一种效率较高的查找方法。但是,折半查找要求线性表必须采用顺序存储结构,而且表中元素按关键字有序排列 ——百度词条
二分的方法:
定义两个变量l和r,a[]为查找的数组且有单调性
每一次取l和r的中间值——mid,将目标元素和a[mid]比大小,将l或r调整。
Code:
while(l<r){
int mid=(l+r)/2;
if(a[mid]<=目标元素)r=mid;
else l=mid+1;
}
具体情况具体分析,比如判断条件可能不同,还有r和l的调整方法也可能不同。
上面的代码是向左搜索的方法。
你也可以向右搜索只需要将一些细节调整一下。
Code:
while(l<r){
int mid=(l+r+1)/2;
if(a[mid]<=目标元素)l=mid;
else r=mid-1;
}
还是那句老话——具体情况具体分析。
你也可以找到元素后直接退出循环
while(l<r){
int mid=(l+r+1)/2;
if(a[mid]==目标元素){
cout<<mid<<"\n";
break;
}
else if(a[mid]<目标元素)l=mid+1;
else r=mid-1;
}
例题:
洛谷p2249:
题目描述
输入 n 个不超过 109 的单调不减的(就是后面的数字不小于前面的数字)非负整数 a1,a2,…,an,然后进行 m 次询问。对于每次询问,给出一个整数 q,要求输出这个数字在序列中第一次出现的编号,如果没有找到的话输出 −1 。
输入格式
第一行 2 个整数 n 和 m,表示数字个数和询问次数。
第二行 n 个整数,表示这些待查询的数字。
第三行 m 个整数,表示询问这些数字的编号,从 1 开始编号。
输出格式
输出一行,m 个整数,以空格隔开,表示答案。
输入输出样例
输入 #1复制
11 3 1 3 3 3 5 7 9 11 13 15 15 1 3 6
输出 #1复制
1 2 -1
说明/提示
数据保证,1≤n≤10^6,0≤ai,q≤10^9,1≤m≤10^5
本题输入输出量较大,请使用较快的 IO 方式。
思路:
由于是单调的查询,所以可以使用二分
Code:
#include<bits/stdc++.h>
using namespace std;
int n,m,q,a[1000005],ans,l,r;
int main(){
cin>>n>>m;
for(int i=1;i<=n;i++)cin>>a[i];
for(int i=1;i<=m;i++){
cin>>q;
l=1,r=n;
while(l<r){
int mid=l+(r-l)/2;
if(a[mid]>=q) r=mid;
else l=mid+1;
}
if (a[l]==q)cout<<l<<" ";
else cout<<-1<<" ";
}
}
STL中的二分:
STL中自带的二分函数叫upper_bound和lower_bound
upper_bound原型:
template <class ForwardIterator, class T>
ForwardIterator lower_bound (ForwardIterator first, ForwardIterator last, const T& val);
lower_bound原型:
template <class ForwardIterator, class T, class Compare>
ForwardIterator lower_bound (ForwardIterator first, ForwardIterator last, const T& val, Compare comp);
frist和last是搜索区间l和r,val是目标元素,comp是传入的自定义函数。
upper_bound:返回指向第一个值不小于 val 的位置
lower_bound:返回第一个大于val值的位置
总结:
二分是一个有用但是可以直接套用STL的算法,之后学的二分答案也应该可以用lower_bound和upper_bound实现。