二分查找的两种解决方法

二分查找

本质

​ 二分的本质是由mid分出的两部分分别整体满足不同的性质，对于有序数组就是与目标值（可能是中间值，从中间分开）的大小关系，对于图书测试就是是否会引起警报

前提条件

​ 有序
​ 无重复元素

时间复杂度

每次查找都会将查找范围缩小一半，因此二分查找的时间复杂度是 O(log n)，其中 n 是数组的长度

空间复杂度

空间复杂度：O(1)

区间

区间的定义就是不变量

要在二分查找的过程中，保持不变量，就是在while寻找中每一次边界的处理都要坚持根据区间的定义来操作，这就是循环不变量规则。

边界条件，target的边界

左闭右闭，即[left, right]

定义 target 是在一个在左闭右闭的区间里(重要)

• while(left <= right)要使用<=，因为left == right有意义,当left==right，区间[left, right]依然有效，所以用 <=

  • if (nums[middle] > target) ,则目标值在左区间，更新右边的值right right要赋值为 middle - 1,因为当前这个nums[middle]一定不是target，那么接下来要查找的左区间结束下标就是 middle - 1

  • if (nums[middle] < target)，则目标值在右区间，更新左边的值left left要赋值为 middle + 1,因为当前这个nums[middle]一定不是target，那么接下来要查找的右区间结束下标就是 middle + 1

例如在数组：1,2,3,4,7,9,10中查找元素2，如图所示：

// 版本一
class Solution {
    public int search(int[] nums, int target) {
        // 避免当 target 小于nums[0] nums[nums.length - 1]时多次循环运算
        if (target < nums[0] || target > nums[nums.length - 1]) {
            return -1;
        }
        int left = 0, right = nums.length - 1;
        while (left <= right) {
            int mid = left + ((right - left) >> 1);//防止溢出，不能使用(left+right)/2，原因如下：
            //如果两个值是 int类型的最大值 和int类型的最大值减一 两个值相加就溢出了 ，但是用 left + (right - left) /2求均值 不会溢出
           if (nums[mid] < target){
           		left = mid + 1;
           	}else if (nums[mid] > target){
                right = mid - 1;
            }else{
            	return mid;
            }      
        }
        return -1;
    }
}

左闭右开，即[left, right），和上面的解题方法差别较大

• while (left < right)，这里使用 < ,因为left == right在区间[left, right)是没有意义的

• if (nums[middle] > target) right 更新为 middle，因为当前nums[middle]不等于target，去左区间继续寻找，而寻找区间是左闭右开区间，所以right更新为middle，即：下一个查询区间不会去比较nums[middle]

在数组：1,2,3,4,7,9,10中查找元素2，如图所示：（注意和方法一的区别）

// 版本二
class Solution {
    public int search(int[] nums, int target) {
        int left = 0, right = nums.length;
        while (left < right) {
            int mid = left + ((right - left) >> 1);
            if (nums[mid] == target)
                return mid;
            else if (nums[mid] < target)
                left = mid + 1;
            else if (nums[mid] > target)
                right = mid;
        }
        return -1;
    }
}