leetcode热题HOT 287. 寻找重复数

一、问题描述：

给定一个包含 n + 1 个整数的数组 nums ，其数字都在 [1, n] 范围内（包括 1 和 n），可知至少存在一个重复的整数。
假设 nums 只有 一个重复的整数 ，返回 这个重复的数 。
你设计的解决方案必须 不修改 数组 nums 且只用常量级 O(1) 的额外空间。

二、解题思路：利用二分查找不断缩小查找的范围，直到找到唯一的重复元素为止。在每一次迭代中，都会通过统计小于等于 mid 的数字的个数来判断重复的数字所在的范围：

• 情况一：当 count 小于等于 mid 时，说明重复数字在右侧，因为 count 表示小于等于 mid 的数字的个数，如果小于等于 mid 的数字个数不足 mid 个，那么重复的数字必然在右侧。
• 情况二：当 count 大于 mid 时，说明重复数字在左侧或者就是 mid 本身。因为数组中的数字范围是从 1 到 n，所以如果某个数 x 出现了超过一次，那么在数组中小于等于 x 的数字的个数就会大于 x。因此，当 count 大于 mid 时，可以确定重复的数字就在 mid 左侧（或者就是 mid 本身）。
  在二分查找的过程中，当 l 和 r 相遇时，即 l == r，此时 l 或 r 指向的值就是最终确定的结果。因为 l 和 r 在每次迭代中都是向重复元素所在的范围逼近的，最终它们会相遇在重复元素的位置。因此，在这段代码中，当 l 和 r 相遇时，result 的值就是重复的数字。

三、代码示例：

class Solution {
    public int findDuplicate(int[] nums) {
        int n = nums.length;
        //使用 l 和 r 来表示二分查找的范围，初始时 l 为 0，r 为 n - 1。
        int l = 0, r = n - 1, result = 0;
        //在 while 循环中，计算 mid，并遍历数组统计小于等于 mid 的数字个数。
        while(l <= r) {
            int mid = (l + r) >> 1;
            int count = 0;
            for(int i = 0; i < n; i++) {
                if(nums[i] <= mid) count++;
            }
            //如果 count 小于等于 mid，则说明重复数字在右侧，更新 l = mid + 1。
            if(count <= mid){
                l = mid + 1;
            }
            //如果 count 大于 mid，则说明重复数字在左侧或者就是 mid 本身，更新 r = mid - 1，并将结果 result 更新为当前的 mid 值。
            else {
                r = mid - 1;
                result = mid;   
            }
            //System.out.println(mid + " " + count + " " + result);
        }//最终左右指针相遇，返回 result
        return result;
    }
}

• 时间复杂度分析：二分查找的时间复杂度为 O(logn)。在每一次迭代中，都将查找范围缩小一半，直到 l 和 r 相遇为止。
  在每次二分查找中，需要遍历整个数组来统计小于等于 mid 的数字的个数，这需要 O(n) 的时间。
  因此，总的时间复杂度为 O(nlogn)。