二分查找算法

1.整数二分

*有单调性一定可以二分，但二分不一定需要单调性 (二分的本质不是单调性)

二分的本质 ：

定义某种性质(check函数)，序列的左半部分满足该性质，右半部分不满足

查找这两部分的**边界点

每次将序列的长度分成两半，选择边界点所在的那一半作为新的序列，将线性的遍历查找O（N）的时间复杂度降低到O(logN)

边界点：第一个不满足check性质的数（右边界点） 或 最后一个满足check性质的数（左边界点）

对于不同的边界点，区间划分的模板需要改变

情况1.

区间[l,r]被划分成[l,mid-1]和[mid,r]时使用

寻找的是分界的左边界点

mid = l + r + 1 >> 1

if( check(mid) == true )

//那么临界点处于[ mid , r ]

l = mid

//区间从[ l , r ]更新为[ mid , r ]

else if( check(mid) == false)

//反之位于[ l , mid-1 ]

r = mid - 1

//区间从[ l , r ]更新为 [ l , mid-1 ]

情况2.

区间[l,r]被划分成[l,mid]和[mid+1,r]时使用

寻找的是分界的右边界点

mid = l + r >>1

if( check(mid) == true )

//那么临界点处于[ l , mid ]

r = mid

//区间从[ l , r ]更新为[ l , mid ]

else if( check(mid) == false)

//反之位于[ mid+1 , r ]

l = mid + 1

//区间从[ l , r ]更新为 [ mid+1 , r ]

int bsearch_1(int l,int r)
{
	while(l<r)
	{
		int mid = l + r + 1 >> 1;
		if(check(mid)) l=mid;
		else 		   r=mid-1; 
	}
	return l;
}

int bsearch_2(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;
}

---

2.浮点数二分

首先保证答案存在于[l,r]以内，不断缩小该区间

当区间[l,r]长度足够小（一般精度取到有效数字后两位避免精度问题）时可以认定l和r为一个数

double bsearch_3(double l,double r)
{
	while(l-r>1e-8)			//1e-8可替换为其他精度
	{
		int mid= l+r >>1;
		if(check(mid))  l=mid;
		else            r=mid；
	}
	//可加特判（负数，-1~1之间等）//
	return l;
}

        对于不同的题目(应用场景)，我们很多时候只需要调整check函数，选好模板，套用即可，比如要求一个数的平方根，check函数如下

bool check(double mid,double x){
    return mid * mid >= x;
}

而求其立方根的情况下，check函数如下

bool check(double mid,double x){
    return mid * mid * mid >= x;
}

在更多的题目中，二分查找法往往伴随其他算法一同出现来进一步减少时间复杂度，C++的<algorithm>库中，有upper_bound(x):找到有序序列中第一个大于x的数，lower_bound(x)：找到有序序列中第一个小于的数，这两个函数也是基于二分查找算法实现的。

模板练习题：

789. 数的范围 - AcWing题库

790. 数的三次方根 - AcWing题库