二分查找使用记录（使用low + (high - low) / 2的原因）

最新推荐文章于 2023-02-22 14:46:41 发布

Joker-Tong

最新推荐文章于 2023-02-22 14:46:41 发布

阅读量628

点赞数 2

分类专栏：准研究生的备考生活

本文链接：https://blog.csdn.net/Weary_PJ/article/details/123269045

版权

python

准研究生的备考生活专栏收录该内容

40 篇文章

订阅专栏

本文详细分析了在实现二分查找算法时遇到的整数溢出问题，特别是在计算中间值mid时。通过举例说明，当low和high之和超过int类型的最大值时，会导致溢出，从而引发超时异常。解决方法是使用low + (high - low) / 2来避免这种溢出情况，确保算法能够正确运行。此外，文章还探讨了防止溢出的原理和代码修正后的正确实现。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

二分查找使用记录（使用low + (high - low) / 2的原因）

记录一下二分查找中遇到的问题，来源于一道简单的力扣题

题目

https://leetcode-cn.com/problems/first-bad-version/

在这里插入图片描述

/* The isBadVersion API is defined in the parent class VersionControl.
      bool IsBadVersion(int version); */
public class Solution : VersionControl {
    public int FirstBadVersion(int n) {
        int low = 1;
        int high = n;
        while(low < high){
            int mid = (low + high) / 2;
            if (IsBadVersion(mid))  high = mid;
            else low = mid + 1;
        }
        return low;
    }
}

当使用mid = (low + high) / 2;的时候，就会产生超时异常，而换成low + (high - low) / 2的时候就成功通过

分析原因

查看一下超时的输入，理解一下原因
在这里插入图片描述
当给出的输入为n = 2126753390, bad = 1702766719 时
我们手动推导一下其过程(有C编译器的同学可以自己debug看看)

第一次循环 low = 1, n = 2126753390 没有问题
第二次循环因为bad在1702766719, 而此时的mid为1063376695
mid < bad 因此low = mid + 1
第三次循环 low = 1063376696, high = 2126753390 这里就发生了问题
int类型占四个字节, 即为32位, 补码形式最大可以表示的正数是 $2^{32}-1 = 2147483647$ 而此时low + high > 2147483647 因此会发生溢出

下面写一下这次溢出的详细过程

low = 1063376696(二进制表示) = 00111111011000011101011100111000
high =2126753390(二进制表示) = 01111110110000111010111001101110
low + high                 = 10111110001001011000010110100110

因为计算机是用补码形式表示的,且int类型只能存储32位,因此相加之后的最高位溢出变成了1 使得整体的数值成为负数, 最终导致循环始终无法结束

left + (right - left) / 2 可以通过
最大的例子就是 left=max/2
此时max/2 + (max - max/2)/2显然不会超过max 因此不会产生溢出,引起超时

正确代码

/* The isBadVersion API is defined in the parent class VersionControl.
      bool IsBadVersion(int version); */

public class Solution : VersionControl {
    public int FirstBadVersion(int n) {
        int low = 1;
        int high = n;
        while(low < high){
            int mid = low + (high - low) / 2;
            if (IsBadVersion(mid))  
                high = mid;
            else 
            low = mid + 1;
        }
        return low;
    }
}