首先,区间是有单调性
的,查找第一次出现的位置,如果查到一个值比目标值大,就把右半边放弃,因为右半边肯定也比目标值大;同样,如果查到值比目标值小,那就放弃左半边。
条件:必须单调
时间复杂度:,若这里一共有2^32个元素,那么我在最坏的情况下也只需要32次就可以找到我想找的元素。
左查模板(尽量向左找):
while (l < r)
{
int mid = l + r >> 1; //(l+r)/2
if (check(mid)) r = mid; // check()判断mid是否满足性质
else l = mid + 1;
}
右查模板(尽量向右找):
while (l < r)
{
int mid = l + r + 1 >> 1; //(l+r+1)/2
if (check(mid)) l = mid;
else r = mid - 1;
}
check()判断条件:
一、在1 1 3 3 5 7 中找到1第一次出现的下标:
while(l<r) //因为是找第一次出现的位置,那就是尽量往左来
{
int mid = l + r >> 1;
if(a[mid] >= x) r = mid; //判断条件,如果值大于等于目标值,说明在目标值右边
else l = mid + 1;
}
————————————————
这里check()部分使用了>= 如果右边不合法舍去【mid + 1,n】部分,如果左边不合法舍去【0,mid】部分,因为=的存在,l = mid + 1,这是+1的原因。
二、若是>=其中的=也就是r = mid + 1中+1的原因。
即最重要的是>=和>中=的判定。
lower_bound( )和upper_bound( )的用法
lower_bound(查找的起始位置,查找的终止为止,需要查找的数 )是返回第一个大于等于需要查找的数的数的地址
upper_bound(查找的起始位置,查找的终止为止,需要查找的数 )是返回第一个大于需要查找的数的数的地址
注意上面的两种用法都需要原数组是小到大排列的有序数组
可以通过修改比较器,查找第一个小于或小于等于某个数的地址,数组需要从大到小排列
首先需要比较函数bool cmp(const int &a,const int &b){return a>b;}
比如,要a[]数组中,从[1,n]中第一个小于s的数的下标,pos=lower_bound(a+1,a+n+1,s,cmp)-a;
也可以不写cmp函数,将所有cmp的位置换成greater<i/nt>() 去掉/,int显示不了,这两种函数如果差找不到目标,就返回查找的最后一个元素的地址
#include<iostream>
#include<algorithm>
using namespace std;
bool cmp(const int &a,const int &b)
{
return a>b;
}
int main()
{
int a[]={1,5,9,11,45,69,101};
cout<<"数组为 ";
for(int i=0;i<7;i++)cout<<a[i]<<" ";cout<<endl;
int p1=lower_bound(a,a+7,9)-a;
cout<<"数组中第一个大于等于9的数的下标为 "<<p1<<endl;
int p2=upper_bound(a,a+7,9)-a;
cout<<"数组中第一个大于9的数的下标为 "<<p2<<endl;
sort(a,a+7,cmp);
cout<<"数组为 ";
for(int i=0;i<7;i++)cout<<a[i]<<" ";cout<<endl;
int p3=lower_bound(a,a+7,9,cmp)-a;
cout<<"数组中第一个小于等于9的数的下标为 "<<p3<<endl;
int p4=upper_bound(a,a+7,9,greater<int>())-a;
cout<<"数组中第一个小于9的数的下标为 "<<p4<<endl;
}