寻找重复数

这题的限制条件是解法选择的核心。

这和链表环 II 是同一个模型，只是 next 指针藏在数组值里。

建模：下标 i 指向 nums[i]：从下标 0 出发：0 指向 1，1 指向 3，3 指向 2，2 指向 4，4 又指回 2。重复数字 2 不是凭空出现的，它是这个环的入口。

初始化：slow = fast = nums[0] = 1：代码从 nums[0] 开始，而不是从下标 0 开始；之后每一步都按 nums[当前节点] 往前走。

第一轮·fast 第一跳：fast 先到 3：fast 一轮要走两步，先看它的第一跳：从 1 沿 nums[1] 走到 3。

第一轮·收尾：slow 到 3，fast 第二跳到 2：slow 这轮只走一步停在 3；fast 接着第二跳从 3 走到 2。一轮过后 slow=3、fast=2。

第二轮：slow 和 fast 在 2 相遇：第一次相遇证明路径进入了环，但这个相遇点只是环内某点，还要继续找环入口。

重置 slow 到起点 nums[0]：Floyd 第二阶段：slow 回到起点，fast 留在相遇点，两个指针之后都每次走一步。

第二阶段第一步：slow 到 3，fast 到 4：两条路径到环入口的距离会同步抵消，所以只需要同速前进。

第二阶段第二步：slow 和 fast 在入口 2 相遇：第二次相遇的位置就是环入口。这里入口节点是 2，所以重复数字是 2。

返回 slow：重复数是 2：下标 3 和下标 4 这两个不同位置都填了 2，于是两条边一起指向节点 2，这就是“重复”在函数图里长出环的样子。

这题真正要学的是“数组函数图”建模：看到值域恰好能做下标，就该想到连边找环。

边界三连：寻找重复数 的边界先看最小规模、特殊输入和最容易触发分支的样例。

面试追问：寻找重复数 的追问重点，是把快慢指针两阶段的“为什么”讲成自己的话，而不只是背两个 while。