判断链表中是否含环之快慢指针法的思考

判断链表中是否含环之快慢指针法的思考

问题引入

我们很清楚的知道快慢指针法可以判断指针中是否含有环，并且通常我们将慢指针步数设置为1，快指针步数设置为2，那么为什么快指针步数不能为3，4，5…，针对这个问题，我们将进行以下的讨论。

过程推导

假设该带环链表示意图如下：

某节点：Xi，其位置：i；
非环节点数：s，s >= 0；
环节点数：m，m >= 1；
总节点数：s+m。
慢指针为slow，步数Ss = 1；
快指针为fast，步数fs = k；

慢指针走这个链表

环外：
X0，X1，X2，…，Xs-1
环内：
Xs，Xs+1，Xs+2，…，Xs+m-1
Xs+m，Xs+m+1，…，Xs+2m-1
Xs+2m，Xs+2m+1，…，Xs+3m-1
…

不难发现，在环内有：
Xs = Xs+m = … = Xs+nm
Xs+1 = Xs+m+1 = … = Xs+nm+1
…
快慢指针走出头节点后：
当慢指针走到i的位置时，快指针走到ki的位置，要使两个指针相遇，必定在环内，且有Xi = Xki。
根据上式可以得出：ki - i = tm（t = 1,2,3…，快指针必定领先慢指针一个或多个循环，所以t从1开始)，ki是快指针位置，i是慢指针位置，t是链表中环循环的个数，m是链表环的长度，tm是快慢指针的位置差。
上式有i = tm/(k-1)，因为快慢指针走的步数越少，在环内循环的位置差越小，性能越好，所以当t = 1时（循环圈数最小），有i = m/(k-1)。
又由于i >= 1（i是头节点之外的位置），所以m/(k-1) >= 1，因此当m/(k-1) = 1时，即k = m+1时，再根据m >= 1，得到k >= 2即快指针步数为2时，整个循环性能最好。

总结

在判断链表中是否含有环时，我们取慢指针的步数为1，且快指针的步数为2时保障了整个程序的性能最优化。