二分法查找

一、思想与应用场景

        当题目中出现有序数组时，可以考虑采用二分法进行求解。（前提是有序）；其思路较简单，通过设置左边界与右边界，每次取折中与当前 查找的值进行比较，进而改变左边界与右边界，直到查询到要找的值 或 不满足循环条件（即边界不合法时）。

二、关于二分法中边界的开闭对循环条件以及边界变换条件的影响

（1）当采用左闭右闭的区间时 [ left, right ]

        对于循环条件，是选择 left <= right 还是 left < right 取决于此条件应用的区间是否合法。例如[1, 1]，对其采用二分法，循环条件为 left <= right ，由于right包含在要查找的区间内，故合法，因此循环条件采用 left <= right;

        对于边界的变换，同样遵循此准则，我们知道变换的条件为 nums[mid] > target 或 nums[mid] < target，其中nums为有序数组， target为要查找的目标。此时我们一直mid对应的数组元素不等于target的值，而我们先前规定采用左闭右闭的查找区间，那么mid就不需要包含在下一步的查找区间。其示例代码如下：

    

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;
    }
};

（2）当采用左闭右开的区间时  [left , right)

        与（1）的判断准则相同，首先判断循环条件对于区间的合法性，以[1, 1)为例，如果循环条件采用 left <= right, 而由于right不在我们的查找区间内，令left = right是没有任何意义的，故选择left < right 作为循环条件。

        同理，对于边界的变换，由于nums[mid]不等于target时进行边界变换，此时已确定数组中下标为mid的值不等于target，根据我们先前选择的搜索区间，由于为左闭的，故left应包含在查找区间，故不需要重复查找mid对应的值，采用 left = mid + 1; 而由于为右开的，即right本身就不在查找区间，故 right可以等于mid ----> right = mid;

class Solution {
public:
    int search(vector<int>& nums, int target) {
        int left = 0;
        int right = nums.size(); // 定义target在左闭右开的区间里，即：[left, right)
        while (left < right) { // 因为left == right的时候，在[left, right)是无效的空间，所以使用 <
            int middle = left + ((right - left) >> 1);
            if (nums[middle] > target) {
                right = middle; // target 在左区间，在[left, middle)中
            } else if (nums[middle] < target) {
                left = middle + 1; // target 在右区间，在[middle + 1, right)中
            } else { // nums[middle] == target
                return middle; // 数组中找到目标值，直接返回下标
            }
        }
        // 未找到目标值
        return -1;
    }
};

 三、规律与复杂度

规律：由于二分法的边界变换规则，当要查找的有序数组中没有找到对应元素时吗，满足以下条件：

（1）right <= mid; (2) left >= mid ; ----> (3) left >= right;

时间复杂度 ： O(log n);   空间复杂度 ： O(1);