【算法】二分搜索

二分条件

• 在一个最优化问题中，如果我们每次都可以把结果的区间范围缩小一半，那么就可以考虑用二分算法来解决。
• 在一个区间中不一定需要是单调的才可以二分，只要能够找到一个性质，在这个区间的左半部分满足该性质，另一个部分不满足该性质那么就可以使用二分，二分可以找到这个性质的分界点。

二分模板一共有两个，分别适用于不同情况。

算法思路：假设目标值在闭区间[l, r]中， 每次将区间长度缩小一半，当l = r时，我们就找到了目标值。

check函数

模板中的check函数需要根据题目要求自定义实现

版本1

//当我们将区间[l, r]划分成[l, mid]和[mid + 1, r]时，
//其更新操作是r = mid或者l = mid + 1，计算mid时不需要加1。
    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;
    }

版本2

//当我们将区间[l, r]划分成[l, mid - 1]和[mid, r]时，
//其更新操作是r = mid - 1或者l = mid;，此时为了防止死循环，计算mid时需要加1。
 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;
    }