关于快慢指针求解有环链表环起点位置算法的严谨证明

从链表起点位置设立快，慢指针。快指针每次移动两个单位，慢指针每次移动一个单位。例如，第一次移动后，快指针位于链表第三个节点，慢指针位于链表第二个节点。若快慢指针能够相遇则证明链表有环。

如何求环起点位置？

假设以下情况：

• 设从链表头到环的起点的长度为 A。
• 设从环的起点到快慢指针相遇的位置的长度为 B。
• 设从快慢指针相遇的位置继续到环的起点的长度为 C。

当快慢指针相遇时：

• 慢指针走过的距离是：A + B。
• 快指针走过的距离是：A + B + n(B + C)（其中，n 是快指针在环内绕的圈数）。

疑问1：为什么慢指针走过距离与n无关？

答：慢指针不可能走过超过环的一圈。

证明：

1. 首次进入环时：当慢指针首次进入环时，快指针已经在环内。考虑最极端的情况，即快指针就在慢指针的后面一个节点，这样当慢指针进入环时，快指针与慢指针的距离是环长度的最大值，即环的长度。

2. 快指针追赶慢指针：由于快指针每次移动两个节点而慢指针每次移动一个节点，快指针每次循环都会向慢指针靠近一个节点。因此，在慢指针走完环的长度之前，快指针一定会追上慢指针。

3. 最大距离情况：即使在最不利的情况下，也就是慢指针进入环后快指针正好在其后面一个节点，快指针也只需要走完整个环的长度才能追上慢指针。在这种情况下，慢指针不可能在环内绕超过一圈。

因此，慢指针在被快指针追上之前，不会在环内绕超过一圈。

继续，因为快指针的速度是慢指针的两倍，所以：

2(A + B) = A + B + n(B + C)

根据上述等式，我们可以得到：

A = (n-1)(B + C) + C

这意味着从链表的头部到环的起点的距离 A，等于从快慢指针相遇的位置到环的起点的距离 C 加上环内绕的 n-1 圈。

疑问2：A和C的式子不是有（n-1）吗？为什么可以得出A=C？

答：n的值最大为1，也就是说快指针最多只会比慢指针多绕一圈

证明：

1. 最不利的情况：当慢指针刚进入环时，快指针恰好在其前一个位置。这时，快指针需要绕整个环一圈才能追上慢指针。在这种情况下，快指针绕了额外的一圈。

2. 最有利的情况：当慢指针刚进入环时，快指针恰好在其后一个位置。这时，快指针很快就能追上慢指针，它们之间的距离会很小，快指针不需要多绕任何圈数。

对于其他情况，快指针都会在绕一圈以内的时间里追上慢指针。

因此，无论环的大小如何，快指针最多只会比慢指针多绕一圈。

因此，当快慢指针相遇后，如果我们重新将快指针置于链表头部，并以与慢指针相同的速度（每次前进一格）移动两个指针，那么它们将在环的起点处再次相遇。这是因为，当慢指针移动距离 C 到达环的起点时，从链表头部移动的快指针也正好移动了距离 A，即 C 的长度，从而在环的起点相遇。