【有营养的算法笔记】基础算法 —— 整数二分与浮点二分_浮点二分和整数二分写法区别(1)-CSDN博客

本文链接：https://blog.csdn.net/2401_84166376/article/details/138510945

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上大数据知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

需要这份系统化资料的朋友，可以戳这里获取

一、铺垫

概念：二分算法，就是在一段 单调且有序 的区间中通过某些条件，不断对二分的起始边界和结束边界进行调整。从而让区间不断压缩，直至找出二分答案，在每次二分后，区间或多或少都会改变。

二分对于我们来说应该是不陌生的。二分查找 大家应该都听说过，这其实就是二分的一层演变拓展，变为更加精确的查找某些值。

概念部分对 单调性 略有提及。其实对于二分算法，区间具有单调性一定可以二分，但是二分的题目不一定有单调性。

对于二分算法来说，二分是一定会找到答案的。因为二分不断压缩区间，最后必定会分出一个值。

但是这个答案仅仅是对于二分这个算法求出的答案。答案是否正确，还是要结合题目判断。简约的说就是二分的答案不一定是题目的答案，但是二分一定会有答案，无解是对于问题的。

有了这些铺垫，我们再看板子。

二、整数二分模板分析

整数二分有两个板子，这也是我觉得最好的板子，简洁，清晰明了。

我们的两个板子二分的最终结果为 边界值 。

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

bool check(double x) {/\* ... \*/} // 检查x是否满足某种性质

int binarySearch\_1(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, mid - 1] 和 [mid, r] 时使用

int binarySearch\_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;
}

这里的 check(mid) 函数是为了判断每次二分取的 中间点 mid 是否满足特定性质，从而对区间进行 正确压缩 。

接下来，我们对两个板子进行分析：

模板1：

假定一段区间单调递增，区间最左端为 l，区间最右端为 r，区间中点：mid = (l + r) / 2

对于 模板 1 ，二分找的是 蓝色区间的左边界点 。

mid 可能出现在两个区间中。 check(mid) 检查 mid 是否在 蓝色区间 中。

mid 所在区间为 蓝色区间 ：

此时 check(mid) 为真，答案在 [l, mid] 区间内。这里取 mid 的原因是查找的是蓝色左端点，mid 在蓝色区间，mid 可能就 是答案 。由于查找的是 左端点 ，所以其他 大于 mid 的情况就 不可能 了。调整 r = mid，缩短右边，在左边找答案。

mid 所在区间为 红色区间 ：

此时 check(mid) 为假，答案在 [mid + 1, r] 区间内。这里不取 mid 的原因是查找的是蓝色左端点，mid 在红色区间，所以答案肯定不会落在 mid 上，只有 mid + 1 才 有可能 。调整 l = mid + 1，缩短左边，在右边找答案。

区间划分情况为 [l, mid] 和 [mid + 1, r]。

模板 2：

假定一段区间单调递增，区间最左端为 l，区间最右端为 r，区间中点：mid = (l + r + 1) / 2(这里为什么这么取中点我们先不关心，马上会讲解)

对于 模板 2，二分找的是 红色区间的右边界点。

mid 可能出现在两个区间中。check(mid) 检查 mid 是否在 红色区间 中。

mid 所在区间为 红色区间 ：

此时 check(mid) 为真，答案在 [mid, r] 区间内。mid 在红色区间中，答案 可能取到 mid ，所以区间包含 mid。由于查找的是 右端点，所以小于 mid 的无需考虑。调整 l = mid，缩短左边，在右边查找答案 。

mid 所在区间 蓝色区间 ：

此时 check(mid) 为假，答案在 [l, mid - 1] 区间内。mid 在蓝色区间中，答案不可能取到 mid，所以区间不包含 mid ，只有 mid - 1 才 有可能 。右边的区间都不需要考虑了。调整 r = mid - 1，缩短右边，在左边查找答案 。

区间划分情况为 [l, mid - 1] 和 [mid, r] 。

讲到这，我们对二分的情况有一些了解后，我们解答一下，为什么 模板 2 的 mid = (l + r + 1) / 2 ：

/ 是下取整的，如果 l = r - 1 ,二分取中点 mid 时，mid = (l + r) / 2 = (l + l + 1) / 2 = l

一旦 check(mid) 满足，那么 l = mid，由于 mid = l，那么 l 就被调整为了 l ，相当于没变，这就 死循环 了。+1 就可以避免掉这种情况。

总结一下：模板 1 找区间左边界点，模板 2 找区间右边界点。