【算法】二分算法（一）整数二分

一.步骤

整数二分算法细节是魔鬼，时间复杂度为O(logn)本篇blog将带你解决细节边界问题。

1.首先要清楚一个数组拥有单调性一定可以进行二分，但是可以二分的数组不一定需要单调性。

2.整数二分算法有两种模板，一种是按照性质a划分数组（图①左侧），一种按照性质b划分数组（图①右侧），一般将答案ans规定在满足性质的区间中。

（1）性质a，数组左端为l，右端为r，mid=l+r+1>>1

Ⅰ.我们对mid进行性质a检验，如果检验结果为true，如图②左侧，则说明mid（紫色）处于蓝色部分，那么我们可以发现ans应该在区间[mid，r]中，由于现在的区间为[l，r]，所以我们需要用l=mid语句来更新区间。

Ⅱ.我们对mid进行性质a检验，如果检验结果为false，如图②右侧，则说明mid（紫色）没有处于蓝色部分，那么我们可以发现ans应该在区间[l，mid-1]中，由于现在的区间为[l，r]，所以我们需要用r=mid-1语句来更新区间。

※mid=l+r+1>>1，加一的原因是因为防止死循环，如果不加一当l=r-1的时候，向下取整mid=l，将会死循环

代码如下：

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

（2）性质b，数组左端为l，右端为r，mid=l+r>>1

Ⅰ.我们对mid进行性质b检验，如果检验结果为true，如图③左侧，则说明mid（紫色）处于绿色部分，那么我们可以发现ans应该在区间[l,，mid]中，由于现在的区间为[l，r]，所以我们需要用r=mid语句来更新区间。

Ⅱ.我们对mid进行性质b检验，如果检验结果为false，如图③右侧，则说明mid（紫色）没有处于绿色部分，那么我们可以发现ans应该在区间[mid+1，r]中，由于现在的区间为[l，r]，所以我们需要用l=mid+1语句来更新区间。

代码如下：

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

二.代码

#include <bits/stdc++.h>
using namespace std;
const int M=1000;
int l,r;

bool check(int x){ //防止报错,没什么用
}

int main(){
	//性质a
	while(l<r){
		int mid=l+r>>1;
		if(check(mid)) r=mid;
		else l=mid+1;
	}
	//性质b
	while(l<r){
		int mid=l+r+1>>1;
		if(check(mid)) l=mid;
		else r=mid-1;
	}
	//二选一
	return 0;
}