首先,告诉结论:
无论快指针步长为多少,都可以在环中相遇!!!
证明:
慢指针步长为1,快指针步长为k,环的入口到链表起点的距离为x,环的长度为s。
因为慢指针是一步一步走,所以它可以遍历链表中的每一个点,我们在环里找一个合适的点,便于证明。
设y为s的整数倍,且y>x;这里就是在环里找一个点,假设慢指针现在位于这个点;那么快指针走过的长度肯定为ky。那么两者路径之差为(k-1)y;因为y是s的整数倍,所以肯定能遇见。
为什么步长一般设为2呢?
由上面的证明可知,(k-1)y = (k-1)ns,题中的s都是固定的,n也可以取 满足y大于x 的最小值,那么当k-1最小时,越能最快相遇。k取2是为了降低时间复杂度。
两个小问题:
1.求环的起始位置:
假设起始位置到链表起点的距离为a,环长为b,我们先看第一次相遇时的情景:
设此时慢指针走了s,快指针走了f,那么f = 2s;但同时f=s + nb;(n不确定,需要看链表的情况)那么关键就来了:从上面两式就可以得出 f = 2nb、s = nb;也就是说每次两指针相遇时,走过的长度都是环长的整数倍。
接下来假设又有一个慢指针从链表起点出发,那么它走到环的起点所走的长度就为a、a+b、a+2b…即a+nb,那么此时让这个指针和之前的慢指针一起走a步,它们将在环的起点相遇,问题解决。
2.求环长:
第一次相遇后,再让快慢指针继续跑,第二次相遇时两者步数之差就为环长。