算法—二分查找

以下内容只是个人理解，如有错误，欢迎大家批判指正。

目录

一、基本概述

二、核心代码

三、图形描述二分查找的过程

         四、while循环条件是否需要等于号的讨论

                 五、二分查找的时间复杂度

                                附录

---

一、基本概述

二分查找也称折半查找，主要应用在数组上，因为数组具有随机访问的特点，应用前提是数组里的元素是有序的（多为升序排列）。二分查找体现的数学思想是「减而治之」，可以通过当前看到的中间元素的特点推测它两侧元素的性质，以达到缩减问题规模的效果。

二、核心代码

如下代码为非递归情况下的代码。

//查找数组中指定的数据元素target.
    int search(int* nums,int numsSize, int target)
    {
        //low为数组起始元素的下标，low为最后一个元素的下标。
        int low = 0, high = numsSize- 1;
        while (low <= high) {             
            int mid = (high - low) / 2 + low;
            int num = nums[mid];
            if (num == target) {
                return mid;
            }
            else if (num > target) {
                high = mid - 1;
            }
            else {
                low = mid + 1;
            }
        }
        return -1;//如果数组中不存在该元素返回-1；
    }

（可能刚接触编程的小伙伴会纠结函数里能写两个return吗？）

补充：return的作用：1.返回函数的返回值。2.终止函数的执行。

三、图形描述二分查找的过程

这里以在数组长度为10，数组元素为[2,3,5,7,8,11,13,15,16,20]的升序数组中查找元素16为例。

四、while循环条件是否需要等于号的讨论

while循环是否带等号要根据题目具体的分析。

比如在数组中寻找某元素的下标。可能会出现所要寻找的元素在第K次的mid+1处,而当第k次判断时，mid所对元素小于所要寻找的元素，此时执行low=mid+1，而mid+1恰好等于high,退出循环。如果你不再添加代码判断low==high处是否满足条件，程序会返回错误结果，若添加不就相当于while处取等了吗？因此这种情况下需要加等号。

那么请大家在看一看这道题添加等号前后那个更便利呢？

你是产品经理，目前正在带领一个团队开发新的产品。不幸的是，你的产品的最新版本没有通过质量检测。由于每个版本都是基于之前的版本开发的，所以错误的版本之后的所有版本都是错的。

假设你有n个版本[1， 2，... n] ，你想找出导致之后所有版本出错的第一个错误的版本。

你可以通过调用boo1 isBadVersi on (version)接口来判断版本号version 是否在单元测试中出错。实现-个函数来查找第一个错误的版本。你应该尽量减少对调用API的次数。

示例1:输入: n=5，bad= 4                      输出: 4

解释:

调用isBadVersion(3) -> false

调用isBadVersion(5) -> true

调用isBadVersion(4) -> true

所以，4是第一个错误的版本。

改题核心代码在文章结尾。

五、二分查找的时间复杂度

首先要明确算法的时间复杂度一般用基本运算的次数来度量。

结论：二分查找的时间复杂度为O(logn）

我的想法是：通过二分查找最终要得到一个具体的数，我们假设得到这个数一共经过了K次折半，一次折半可以看成完成一次基本运算，而每次折半我们的数据规模就变为原来的二分之一。要想从这一个数还原到原来的数据规模也就需要累乘K次二，及2的K次幂等于N，可以推出k=log2N.所以算法的时间复杂度为O(logn）。

 附录

// bool isBadVersion(int version);
int find(int n) 
{
    int low = 1, high = n;
    while (low < high) {  // 循环直至区间左右端点相同
        int mid = low + (high - low) / 2;  // 防止计算时溢出
        if (isBadVersion(mid)) {
            high = mid;  // 答案在区间 [left, mid] 中
        } else {
            low = mid + 1;  // 答案在区间 [mid+1, right] 中
        }
    }
    // 此时有 left == right，区间缩为一个点，即为答案
    return low;
}

感谢您能看到结尾，麻烦您再来个赞吧。