【Leetcode】287. Find the Duplicate Number

题目地址：

https://leetcode.com/problems/find-the-duplicate-number/

有个长为$n+1$的数组，设为$(x_0,x_1,x_2,...,x_n)$其中的数字都属于$1\sim n$，已知只有一个数字发生了重复，问那个数字是几。

思路是静态链表。想象一个静态链表，它的值是$(0,1,2,3,...,n)$，对应的next数组是$(x_0,x_1,x_2,...,x_n)$，由于所有的$x_i$都在$1$和$n$之间，所以这个next数组是定义合理的。假设对于某两个不同的数$i$和$j$，有$x_i=x_j$，那么这个静态链表就存在环，所以直接用链表求环的方法找出环的入口即可。链表求环的算法可以参照https://blog.csdn.net/qq_46105170/article/details/104015181。详细的解释与证明在代码后面。代码如下：

class Solution {
 public:
  int findDuplicate(vector<int>& a) {
    int slow = 0, fast = 0;
    do {
      slow = a[slow];
      fast = a[a[fast]];
    } while (slow != fast);
    int cur = 0;
    while (cur != slow) cur = a[cur], slow = a[slow];
    return cur;
  }
};

时间复杂度$O(n)$，空间$O(1)$。

算法正确性证明：
沿袭前面的符号，设一个静态链表，它的值是$(0,1,2,3,...,n)$，对应的next数组是$(x_0,x_1,x_2,...,x_n)$，$0$是这个链表的第一个节点。其实这个next数组就指的是nums这个数组。由于所有的$x_i$都在$1$和$n$之间，这个next数组是定义合理的。不妨设值$i$的next为$f(i)$，也就是$f(i)=x_i$。那么这个链表链式表示实际上就是：$$0\to x_0\to f(x_0)\to f^2(x_0)\to ...$$首先，对于任意的$k\ge 0$，都有$f^k(x_0)!=0$（定义$f^0(x_0)=x_0$），这是因为$x_0$到$x_n$都属于$1\sim n$，而这个序列的取值只能取有限个不同值，所以一定存在重复，由抽屉原理，存在某两个不同的数$i$和$j$，满足$1\le i<j\le n+1$，并且$f^i(x_0)=f^j(x_0)\ne 0$。不妨设$i$和$j$是最小的一对这样的数。所以有$$f(f^{i-1}(x_0))=f(f^{j-1}(x_0))$$并且$$f^{i-1}(x_0)\ne f^{j-1}(x_0)$$也就是说，$f^{i-1}(x_0)$和$f^{j-1}(x_0)$这两个node对应的next是同一个值，这“同一个值”就是要找的那个重复的数。用链表的语言来说，就是环的入口。所以只需要找这个静态链表环的入口就行了。