lc 704.二分查找

题目

给定一个 n 个元素有序的（升序）整型数组 nums 和一个目标值 target  ，写一个函数搜索 nums 中的 target，如果目标值存在返回下标，否则返回 -1。

示例 1:
输入: nums = [-1,0,3,5,9,12], target = 9     
输出: 4       
解释: 9 出现在 nums 中并且下标为 4     

示例 2:
输入: nums = [-1,0,3,5,9,12], target = 2     
输出: -1        
解释: 2 不存在 nums 中因此返回 -1        

提示：
你可以假设 nums 中的所有元素是不重复的。
n 将在 [1, 10000]之间。
nums 的每个元素都将在 [-9999, 9999]之间。

二分查找使用条件

• 数据有序
• 数组中数据没有重复

二分法两种写法

区间左闭右闭

[left,right]
[low,high]（表示方式不同，下面用第一种表示方法）

right一开始等于数组中实际最大下标（因为从0开始，所以right=nums.size - 1）
后续赋值时right = mid - 1   ； left = mid + 1

区间左闭右开

right一开始等于数组长度（所以right=nums.size ）
后续赋值时right = mid    ； left = mid

自写代码（通过）

想法

定义low和high分别指向数组第一个下标个最后一个下标，定义mid指向中间下标；
比较目标值和mid所指数组关键字，如果相等直接返回mid所指下标值；
不相等：目标值大于mid所指关键字-low+1、目标值小于mid所指关键字-high-1；
重复上述操作直至相等或者low大于high（查找失败）返回-1。

问题

用for循环，怎么写循环条件

int search(int* nums, int numsSize, int target){
    int i;
    int low = 0;
    int high = numsSize - 1;
    int mid;
    for(i=1; i<=numsSize; i++){    //循环条件能得到最终结果，但是不应该这么写
        mid = (low + high)/2;
        if (target == nums[mid]){  //记得加{}，if只能执行一个语句，不加括号会报错，会提示下面的else if前面没有if
            return mid;
            break;
        }
        else if(target >= nums[mid])
            low = mid + 1;
        else
            high = mid - 1;
        
        if(low > high){
            return -1;
            break;
        }
    }
    return mid;   //乱写的，这里不加return会报错，不知道为啥
}

代码随想录

class Solution {
public:
    int search(vector<int>& nums, int target) {
        int left = 0;
        int right = nums.size() - 1; // 定义target在左闭右闭的区间里，[left, right]
        while (left <= right) { // 当left==right，区间[left, right]依然有效，所以用 <=
            int middle = left + ((right - left) / 2);// 防止溢出 等同于(left + right)/2
            if (nums[middle] > target) {
                right = middle - 1; // target 在左区间，所以[left, middle - 1]
            } else if (nums[middle] < target) {
                left = middle + 1; // target 在右区间，所以[middle + 1, right]
            } else { // nums[middle] == target
                return middle; // 数组中找到目标值，直接返回下标
            }
        }
        // 未找到目标值
        return -1;
    }
};

疑问

为什么会有溢出
怎么就能解决溢出了

int middle = left + ((right - left) / 2);// 防止溢出 等同于(left + right)/2

溢出指的是整型溢出

常规思路下，在计算 (right + left) 时，可能给的两个值都比较大，比如 [int.MAX -1, int.MAX]，导致 (right + left) 会超出 int 的取值范围，导致溢出；
防溢出思路下，会首先计算 (left - right) 在保证两个值都是正数的情况下，不会造成超出 int 取值范围，这样在最后的加法运算中，也是在 [right, left] 的范围内。
（原文链接：https://blog.csdn.net/u010992313/article/details/117872637）