【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]之间。

---

思路：

数组为有序数组，同时无重复元素， 满足如上条件的时候，想一想是不是可以用二分法了。
二分查找的过程，在while寻找中每一次边界的处理都要坚持根据区间的定义来操作，这就是循环不变量规则。（重要）

• 定义 target 是在一个在左闭右闭的区间里，即[left, right]。
• while (left <= right) ，因为left == right是有意义的
• if (nums[middle] > target) 则right = middle - 1。因为nums[middle]一定 != target，区间结束下标位置变为 middle - 1。
• if (nums[middle] < target)则left = middle + 1。
  

---

代码：

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

---

总结：

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

注意：二分查找法要坚持循环不变量原则。

---

参考：

代码随想录