剑指 Offer 53 - II. 0～n-1中缺失的数字(C++) 二分法

一个长度为n-1的递增排序数组中的所有数字都是唯一的，并且每个数字都在范围0～n-1之内。在范围0～n-1内的n个数字中有且只有一个数字不在该数组中，请找出这个数字。

示例 1:

输入: [0,1,3]
输出: 2

示例 2:

输入: [0,1,2,3,4,5,6,7,9]
输出: 8

限制：
1 <= 数组长度 <= 10000

解题思路：

方法一：二分法。对于有序的数组, 应该立即想到用二分法进行搜索。思路如下：
注: 题目中的在范围0～n-1内的n个数字中有且只有一个数字不在该数组中，应该是说不在范围内那个数是大于等于n，因此，如果缺失了某个数，则该元素的大小不等于其索引大小，而且是递增数组的规律，因此，如果题目给的数组没有缺失数字，那么会有这么一个规律：nums[i] = i。

1、我们知道，如果题目给的数组没有缺失数字，那么会有这么一个规律：nums[i] = i。所以我们只需要找出来 nums[i] 不等于 i 的那个数，然后返回 i 即可。
2、我们首先利用二分法进行第一个 while 循环，循环结束后 left 所指的数就是不等于 left 自身的那个数，所以返回 left 即可。
3、但是有一种特殊情况需要考虑到，也就是为什么 while 结束后还有一个 if 判断的原因。当 nums 缺失的是第 n-1 个数时，比如 nums = [0, 1]，此时 nums 缺失的是 2，而 while 循环结束时 left 指向的数是 1。此时我们需要考虑当 while 循环结束后，如果 left 处于数组最后一位而最后一位依然满足 nums[left] == left 的话，就说明 nums 缺失的是一个不在 [nums[0], nums[nums.size() - 1]] 区间范围内的数，那么我们 ++left 即可。
4、除去第三步的特殊情况外，left 最终所指的数就是 nums 缺失的那个数。

作者：superkakayong
链接：https://leetcode-cn.com/problems/que-shi-de-shu-zi-lcof/solution/zi-jie-ti-ku-jian-53-ii-jian-dan-0n-1zhong-que-shi/
来源：力扣（LeetCode）
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

class Solution {
public:
    int missingNumber(vector<int>& nums) {
        int i = 0, j = nums.size()-1;
        while(i <= j) {
            int m = (i + j) >> 1; // 位运算提速
            if(nums[m] == m) i = m + 1;//nums[m] == m // 说明 [i, mid] 区间没有缺失任何数
            //因为是递增的，证明右侧是顺序的
            else j = m - 1;// 说明缺失的数在 [i, mid] 区间内
        }
        if (i == nums.size() - 1 && nums[i] == i) {
            // 缺失的数不在 [nums[0], nums[nums.size() - 1]] 范围内
            ++ i;
        }
        return i;
    }
};

复杂度分析：

时间复杂度 O(log N)： 二分法为对数级别复杂度。
空间复杂度 O(1)： 几个变量使用常数大小的额外空间。