README
单链表是否有环,这是一个挺有意思的问题,这里我并没有提出新的解法,而是解释了现有的解法,帮助新人和自己理解。
题目描述
判断一个单链表是否有环,如果有,返回第一个环内的节点的引用,如果没有环,返回nuill。
编程依据
1. 两个指针从链表头部同时出发,一个每次前进一步,另一个每次前进两步,如果有环,为什么它们一定会相遇?
假设pOne前进k步后,第一次到达环内,那么,pTwo已经相对于位置k又在环内前进了k步。以后它们就在环内相互追赶,因为pTwo速度是pOne的两倍,所以pTwo一定会越过pOne。越过的过程有2种情况,如图所示。因为pTwo的跨度为1个节点,而pOne会在相邻的两个节点移动,所以pTwo不可能在不相遇的情况下跨过pOne。
2. pOne从两个指针相遇处继续前进k步,为什么一定会到达环的入口位置k?
假设环的长度为len,k = n * len + s1
,那么pOne第一次进入环时两个指针的位置如左图所示。
由于pTwo速度是pOne的两倍,那么它们相遇时,pTwo要前进2 * s2
,而pOne前进s2(其中s2 = len - s1),如右图所示,从第一次相遇起,pOne继续前进k步,那么pOne在进入环后总共前进的距离为s2 + k = s2 + s1 + n * len = (n + 1) * len
,所以pOne又回到了入口。