基础算法——二分查找

 数学中的二分：

 对于区间[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实现。