287. 寻找重复数

题干

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

示例 1:

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

示例 2:

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

说明：

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

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/find-the-duplicate-number
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

题解

题目说明要求非常苛刻。不能更改原数组所以排序行不通，只能使用额外的 O(1) 的空间所以使用Set集合行不通。

方法：弗洛伊德的乌龟和兔子（循环检测）
把数组抽象成一个链表。使用快慢指针，一个时间复杂度为O(N)的算法。

• 其一，对于链表问题，使用快慢指针可以判断是否有环。

• 其二，本题可以使用数组配合下标，抽象成链表问题。但是难点是要定位环的入口位置。

举个例子：nums = [2,5, 9 ,6,9,3,8, 9 ,7,1]，构造成链表就是：2->[9]->1->5->3->6->8->7->[9]，也就是在[9]处循环。

• 其三，快慢指针问题，会在环内的[9]->1->5->3->6->8->7->[9]任何一个节点追上，不一定是在[9]处相碰，事实上会在8处碰上。

• 其四，必须另起一个for循环定位环入口位置[9]。这里需要数学证明：既然快慢指针在环内的某处已经相碰了。那么，第二个for循环遍历时，res指针还是在不停的绕环走，但是必定和i指针在环入口处相碰。

class Solution {
    public int findDuplicate(int[] nums) {
        int res = nums[0], fast = nums[0];
        do {
            res = nums[res];
            fast = nums[nums[fast]];
        } while (res != fast);

        for(int i=nums[0]; i != res;i = nums[i])
        {
            res = nums[res];
        }
        return res;
    }
}

补充一下关于“其四”的证明：

快指针fast每次走2步，慢指针res每次走1步。
设相遇时快指针走t2步，慢指针走t1步，环长为c。 则相遇时, 快指针比慢指针多走一个环的长度，即 t2 = t1 + c。

又t2 = 2t1 （快指针走的步数是慢指针的两倍） 则 2t1 = t1 + c, t1=c，即慢指针走了c步。

设环起点在第k步，显然慢指针再走k步就会到达环的终点，也是环的起点。如果设置一个i指针从起点开始走，则慢指针和i指针会在环起点相碰。