【刷题】leetcode287. 寻找重复数（二分查找）

给定一个包含 n + 1 个整数的数组 nums，其数字都在 1 到 n 之间（包括 1 和 n），可知至少存在一个重复的整数。假设只有一个重复的整数，找出这个重复的数。
示例 1:
输入: [1,3,4,2,2]
输出: 2
示例 2
输入: [3,1,3,4,2]
输出: 3
说明：
不能更改原数组（假设数组是只读的）。
只能使用额外的 O(1) 的空间。
时间复杂度小于 O(n2) 。
数组中只有一个重复的数字，但它可能不止重复出现一次。

分析：
只能用O（1）空间所以没法使用hash，而数组的范围是定的【1，n】，所以考虑对范围进行二分法。

先来分析几种情况：
cnt[i]用来记录nums中出现小于等于i的数字次数
1.有一个数出现了2次，其他都出现了一次。
n=5 长度为n+1=6， nums: [1,2,3,4,5,5]

num	1	2	3	4	5
cnt	1	2	3	4	6

2.有一个数出现了3次，多出来的一次替代了比它小的数，其他都出现了一次。
n=5 nums: [1,4,3,4,4,5]

num	1	2	3	4	5
cnt	1	1	2	5	6

3.有一个数出现了3次，多出来的一次替代了比它大的数，其他都出现了一次。
n=5 nums: [1,2,3,3,3,5]

num	1	2	3	4	5
cnt	1	2	5	5	6

4.有一个数出现了4次，多出来的两次替代了比它大的数和比他小的数，其他都出现了一次。
n=5 nums: [1,3,3,3,3,5]

num	1	2	3	4	5
cnt	1	1	5	5	6

*：[1,2,4,5,5,6,7]是不符合要求的，这时的长度为7，那所有数应该在【1，6】内。

根据上面的4种情况可以归纳出：
i∈[1,target-1]时，cnt[i]≤i
i∈[target,n]时，cnt[i]＞i

证明：
1.正常情况下，[1,n]范围中的n个数，每个数出现一次，cnt[i]=i,在此基础上增加一个数时，增加的那个数及其之后的所有数对应的cnt[i]都+1,即i≥target，cnt[i]>i（鸽笼原理）
2.当重复的数出现了两次以上时，说明取代了比它大或比它小的数：
1）取代比它大的数m（m>target），[target,m]内cnt+1；因为统计的是≤i的数出现次数，因此并不会影响[m,n]内的数对应的cnt.
2)取代比它小的数p（p<target），[p,target-1]内cnt-1；因为统计的是≤i的数出现次数，因此并不会影响[target,n]内的数对应的cnt.

所以，根据这一规律，可以求范围[left,right]之中≤mid的数的个数。
如果cnt[mid]>mid=>mid∈[target,n]=>说明重复的数在[left,mid]中
如果cnt[mid]≤mid=>mid∈[1,target-1]=>说明重复的数在[mid+1,right]中

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