算法：二分查找

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

二分查找

---

二分查找

1.使用二分查找的前提条件是：

①数组有序
②最好数组中无重复元素

2.二分查找涉及的边界条件：

写二分法经常写乱，主要是因为对区间的定义没有想清楚，区间的定义就是不变量。要在二分查找的过程中，保持不变量，就是在while寻找中每一次边界的处理都要坚持根据区间的定义来操作，这就是循环不变量规则。

3.不同边界条件不同二分形式:

①左闭右闭[left , right]:

• while (left <= right) 要使用 <= ，因为left == right是有意义的，left可以 = right，所以使用 <=
• if (nums[middle] > target) right 要赋值为middle - 1，因为当前这个nums[middle]一定不是target，那么接下来要查找的左区间结束下标位置就是 middle - 1

代码如下：

class Solution {
public:
    int search(vector<int>& nums, int target) 
    {
    	int left = 0, right = nums.size(), middle = 0;
    	while(left <= right)
    	{
    		middle = (left + right) / 2;
    		if(target == nums[middle])
    			return middle;
    		else if(target > nums[middle])
    			left = middle + 1;
    		else
    			right = middle - 1;
    	}
    	return -1;
    }
};

• 时间复杂度：O(logN)
• 空间复杂度：O(1)

②左闭右开[left , right):

• while (left < right)，这里使用 < ,因为left == right在区间[left, right)是没有意义的（因为left最多只能 = right - 1）
• if (nums[middle] > target) right 更新为 middle，因为当前nums[middle]不等于target，去左区间继续寻找，而寻找区间是左闭右开区间，所以right更新为middle，即：下一个查询区间不会去比较nums[middle]

代码如下:

class Solution {
public:
    int search(vector<int>& nums, int target) {
        int left = 0, right = nums.size(), middle = 0;// 定义target在左闭右开的区间里，即：[left, right)
        while (left < right) { // 因为left == right的时候，在[left, right)是无效的空间，所以使用 <
            middle = (left + right) / 2;
            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;
    }
};

• 时间复杂度：O(logN)
• 空间复杂度：O(1)