二分可以分为整数二分和浮点数二分,但是整数二分常常涉及到边界问题,所以有时候用的时候容易乱。今天就谈论一下整数二分的一些常用模板。
虽然是说二分的一些模板 但是二分的定义在这里就不多说了(可以自行查找)
常用基础二分的前提是所求数组的单调性(即升序与降序),整数二分其实可以分为四大类:
1、给定一个升序数组a,与一个x,求数组a中第一个大于等于x的数;(如果求数组a中第一个大于x的数,把if(x<=a[mid])改为if(x<a[mid])即可 )
给定一个数组,在a数组中寻找第一个大于等于x=8的下标,结束时l就为查找的下标
#include <iostream>
using namespace std;
int main()
{
int a[8]={1,2,5,6,7,9,11,13};//
int x=8;
int l=0,r=8;
while(l<r){
int mid=(l+r)/2;
if(x<=a[mid]) r=mid;
else l=mid+1;
}
cout<<l<<endl<<a[l];
return 0;
}
2、给定一个升序数组,在a数组中寻找最后一个小于等于x=8的下标,结束时l就为查找的下标(如果求数组a中第一个小于x的数,把if(a[mid]<=x)改为if(a[mid]<x)即可 )
#include <iostream>
using namespace std;
int main()
{
int a[8]={1,2,5,6,7,9,11,13};//
int x=8;
int l=0,r=8;
while(l<r){
int mid=(l+r+1)/2;
if(a[mid]<=x) l=mid;
else r=mid-1;
}
cout<<l<<endl<<a[l];
return 0;
}
3、给定一个降序数组,在a数组中寻找最后一个大于等于x=8的下标,结束时l就为查找的下标(如果求数组a中第一个大于x的数,把if(a[mid]>=x)改为if(a[mid]>x)即可 )
#include <iostream>
using namespace std;
int main()
{
int a[8]={13,12,10,8,8,8,8,5};//
int x=8;
int l=0,r=8;
while(l<r){
int mid=(l+r)/2;
if(x>=a[mid]) r=mid;
else l=mid+1;
}
cout<<l<<endl<<a[l];
return 0;
}
4、给定一个降序数组,在a数组中寻找第一个小于等于x=8的下标,结束时l就为查找的下标(如果求数组a中第一个小于x的数,把if(a[mid]<=x)改为if(a[mid]<x)即可 )
#include <iostream>
using namespace std;
int main()
{
int a[8]={13,12,10,8,8,8,8,5};//
int x=8;
int l=0,r=8;
while(l<r){
int mid=(l+r+1)/2;
if(x<=a[mid]) l=mid;
else r=mid-1;
}
cout<<l<<endl<<a[l];
return 0;
}
这里给出写二分模板的步骤:
1.设置判别函数check
2.根据check的结果来查看区间更新方式
3.查看区间更新方式来决定是否要+1
在写一个二分时 ,不管什么样的二分(常用的那种),先写一个二分的大概
即、
给定一个长度为n的数组a 令l等于a中第一个值的下标,r等于a中最后一个值得下标+1(这里的样例下标是从0~n-1,即l=0,r=n)
int l=0,r=n;
while(l<r)
{
int mid=(l+r)/2;
if(check())
m=mid;
else ;
}
cout<<l;
首先要清楚用二分的目的是什么,即想求出数组a中 第一个/最后一个 大于/大于等于/小于/小于等于 x的值所对应的下标
先考虑check()该怎么写:
1、 check()就是想要求得最终结果:
(1)、求数组a中第一个大于(等于)x的数,check()即为a[mid]>(=)x
(2)、求数组a中第一个小于(等于)x的数,check()即为a[mid]<(=)x
2、然后在考虑m的值:
先假设if语句成立,
(1)、如果 check()是x<(=)a[mid],m就换为r,else 语句就写为 l=mid+1。
(2)、如果 check()是x>(=)a[mid],m就换为l,else 语句就写为 r=mid-1。
其实这两种情况完全可以自行体会, 在纸上画一下就懂了
如果是第(2)种情况,上面的int mid=(l+r)/2就要改为int mid=(l+r+1)/2!!!!!!!
3、出while时,a[l]的值即想求出的数组a中 第一个/最后一个 大于/大于等于/小于/小于等于 x的值,l就是a[l]的下标
可以看一下这个题
( 第一次写博客可能表达的不太好,还见谅)