剑指LeetCode 287. 寻找重复数（medium）

前往LeetCode做题

题目

给定一个包含 n + 1 个整数的数组 nums，其数字都在 1 到 n 之间（包括 1 和 n），可知至少存在一个重复的整数。假设只有一个重复的整数，找出这个重复的数。

示例 :

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

说明：

• 不能更改原数组（假设数组是只读的）。
• 只能使用额外的 O(1) 的空间。
• 时间复杂度小于 O(n2) 。
• 数组中只有一个重复的数字，但它可能不止重复出现一次。

思路

数组的长度为 N+1，数组中的元素介于 1~N。这说明数组里头一定有一个元素是重复的。

• （暴力法）可以不考虑题目的说明，直接新建一个数组，将元素存入数组中的对应位置。
• （二分法）将元素划分为 1 ~ mid 和 (mid+1) ~ n，然后只要比较1 ~ mid中元素的出现的次数。如果出现的次数大于 1~mid 的个数，说明重复元素在 1 ~ mid中。
• （快慢指针法）由于数组的特性，可以映射成一个链表，有重复元素一定会成环。具体的过程在后面有解释

暴力法

最简单的思路，就是不考虑题目的说明，直接新建一个数组。

class Solution {
    public int findDuplicate(int[] nums) {
        // 新建一个和 nums等长的数组
        int[] temp = new int[nums.length];
        // nums的长度是 n+1，元素范围是1-n。所以，temp的下标范围是 0~n
        // 所以只需要遍历数组的时候将数组填入对应的下标即可
        for(int num: nums){
            if(temp[num] == 1)
                return num;
            temp[num] = 1;
        }
        return -1;
    }
}

二分法

 [1, 3, 4, 2, 2]
 数组长度：5		元素介于：1~4
 首先将其划分成 
 	1~mid 			等价于  1~(1+4)/2  等价于  1~2
 	(mid+1) ~ n			等价于 3~4											
 然后计算 1~2的元素出现的次数为：3次
 	所以重复数字出现在 1~2之中
    这样以后，我们就又将 1~2再次切分为两份
    1~1出现一次
    2~2出现两次，所以我们去 2~2的空间里边去找，此时left==right，跳出循环

重复的元素就是 left = right = 2 了。

这个思路是 剑指Offer上的原配解法，特别神奇。

class Solution {
    public int findDuplicate(int[] nums) {
        // 从1到n，数组的长度是n+1
        int left = 1;
        int right = nums.length - 1;
        // 使用二分法的思想
        while(left < right){
            int mid = (left+right) >>> 1;
            int count = scanTimes(nums, left, mid);
            // 如果出现次数，大于元素的个数，说明重复元素在此区间
            if(count > mid-left+1){
                right = mid;
            }else{
                // 如果等于或者小于，说明重复元素在另一个区间
                left = mid+1;
            }
        }
        return left;
    }

    // 扫描从 begin数字开始，到 end数字结束，在数组中出现的次数
    public int scanTimes(int[] nums, int begin, int end){
        int count = 0;
        for(int num:nums){
            if(num>=begin && num<=end)
                count++;
        }
        return count;
    }
}

但是这个解法的局限性挺大的：
元素介于1~N这么个范围，我们通过设定 left=1 和 right=N
每次都统计 left~mid 范围内的数字出现次数。
特殊之处就在这里，数组中的元素介于 1 ~ N这个范围，因此，如果left ~ mid中没有重复数字，那么一定存在于 mid+1 ~ right中。

（一般我们用二分法的时候，left和right都是表示的数组下标。但是这里，left和right表示的是元素的范围！）

快慢指针法

这是我看了官方的题解想的：

为什么可以将数组看作一个链表

[ 1, 3, 5, 4, 2] 该数组中没有重复的数字，我们从数组下标0开始，index=0，让每一次的 index都等于nums[index]，顺序如下：

1(index=0) → 3(index=1) → 4(index=3) → 2(index=4) → 5(index=2) 数组越界，跳出

重点来了

[4, 2, 1, 5, 3] :::: 即使人为制造出循环2-1-2，也并不会进入到这个循环: 4->3->5，跳出

从这里看出来，没有重复的该数组中，是可以出现循环的，但是链表并不会走到循环里头，想一想，一个循环的条件是什么？

2 -> 3 -> 4- > 5 -> 6
↑______________↓

由于我们是从下标 0 处开始的，并且元素都是介于 1~N+1之间的，所以我们不会一开始就在循环里头。
而如果没有人带路的话，那么想要走进这个循环是不可能的

---

现在来看看之前的题目：数组长度 N+1，元素个数1~N，所以一定有一个重复

再拿之前的示例举例子：

[4, 2, 1, 5, 3] :::: 即使人为制造出循环2-1-2，也并不会进入到这个循环: 4->3->5，跳出

---

由于元素只能介于 1~4(n)之间，所以需要将5换为其它的数字。
但是无论 5替换成哪个数字，都会不可避免得陷入到一个循环里头
5换成1：：：4->1->2->1…
5换成2：：：4->2->1->2…
5换成3：：：4->3->3->3…
5换成4：：：4->4->3->4…

快慢指针解法

能够明白快慢指针之后，就可以根据之前的环形链表解决问题 LeetCode 141. 环形链表（入门 快慢指针 的最佳案例）

class Solution {
    public int findDuplicate(int[] nums) {
        // 初始化快慢指针 0
        int slow = 0, fast = 0;
        do{
            slow = nums[slow];
            fast = nums[nums[fast]];
        }while(slow != fast);
        slow = 0;
        while(slow != fast){
            slow = nums[slow];
            fast = nums[fast];
        }
        return slow;
    }
}