深入理解二分之整数二分

二分查找——整数二分：

二分板子

先上两个二分板子：

【l，mid】和【mid+1，r】时的板子：

//区间[l,r]被划分成[l,mid]和[mid+1,r]时使用：
int bsearch_1(int l,int r){
    while(l<r){
        int mid = l + r >> 1;
        if(check(mid)) r = mid;
        else l = mid + 1;
    }
    return l;
}

【l，mid-1】和【mid，r】时的板子：

//区间[l,r]被划分成[l,mid-1]和[mid,r]时使用：
int bsearch_2(int l,int r){
    while(l < r){
        int mid = l + r + 1 >> 1;
        if(check(mid)) l = mid;
        else r = mid - 1;
    }
    return l;
}

两个板子对应的使用，其实就是求两种性质的边界点，一个板子是用来求一个性质的结束点，另一个板子是用来求一个性质的开始点。

二分真正的使用是对于有连续性质的区间，可以将区间分成两种不同的性质。
举例：如果你对于一个升序数组二分查找一个数字x（找到最左边的x），那么x左边就是一个满足小于x的性质的区间，x右边就是满足大于x的区间。

根据示意图，点1是前一个性质的结束点，点2是后一个性质的开始点。

求性质结束点（如最大的最小值）

对于mid满足该性质，即check(mid)为true时，那么我们所需要的点一定在mid的右方，即区间应该更改为【mid，r】；

对于mid不满足该性质，即check(mid)为false时，那么我们所需要的点一定在mid的左方，即区间应该更改为【l，mid-1】

很明显，此时使用模板2，需要注意：

l = mid，r = mid - 1时的板子，mid = l + r + 1 >> 1;

求性质开始点（如最小的最大值）

对于mid满足该性质，即check(mid)为true，很明显，我们所要求的点一定在mid的左方，即区间应该更改为【l，mid】；

对于mid不满足该性质，即check(mid)为false，所要求的点一定在mid右方，即区间应该更改为【mid+1，r】；

很明显，此时使用模板1，r=mid，l = mid + 1，mid = l + r >> 1;

来个自己编的口诀：

l不变要+1，check（mid）全为真（使用l不变的模板的时候mid=l+r+1>>1，check函数里面都是满足性质为真）

例题（二分查找，二分答案）：

基本的二分查找：
洛谷P2249查找

二分答案的应用寻找具有连续性质区间的边界——
洛谷P2440木材加工
洛谷P1182数列分段