1,判环
如上图,链表中进入环前的长度为m
,环的长度为n
,假设有两个指针,一个快一个慢,初始时都在head节点上。k
为第一次相遇时所在的节点距离进入环的节点的距离(在上图中表示为5节点到3节点的距离)。
ListNode fast = head;
ListNode slow = head;
slow指针每次走一步。fast指针每次走两步。
fast = fast.next.next;
slow = slow.next;
两个指针同时从头结点开始出发,如果两个指针走了若干步之后相遇了,则表示此链表有环。
2,入环节点
此时slow指针走了m+An+k
,fast指针走过了m+Bn+k
,这里A和B都是一个整数,即两个指针相遇时,必然在环上,而且绕环走了若干圈加k
步。设slow指针走了S,则fast指针速度是slow的2倍,走了2S。由此列出公式
slow: S = m+An+k
fast: 2S = m+Bn+k
下式减上式,得出S = (B-A)n
,而S = m+An+k
,可以得到,当两个指针相遇时:
① S为n的倍数,即slow指针和fast指针走过的都是圈长n的整数倍
② m+k的值也为圈长的整数倍。
此时将slow指针重新放到head节点上,fast指针还在刚刚相遇的位置。从现在开始,两个指针移动速度相同,每次都移动一步。当两个指针再次相遇时,假设走了x
步。我们对这个x
进行讨论:
① x的长度小于m。两个指针必不可能相遇,因为此时slow从head出发,都还没进入环,而fast一定只能在环里不停的转。
② x的长度等于m。此时slow指针刚好走到了进入环的那个节点,fast指针走了m+k步,而刚刚我们讨论过m+k一定是圈长n的整数倍,此时对于fast节点我们可以理解为一个指针从入环节点,走了k步,又走了m步,相当于绕着环走了若干圈,最后还是回到了入环节点,则此时两个指针相遇,并且所在的节点为入环节点。
③x的长度大于m。当x等于m时候就已经相遇了,二者移动速度又一样,那么后面每走一步都相遇一次,就不讨论了。
3,计算环长
有了上述的内容,我们找到了入环节点,则只需要new一个新的指针,让他从入环节点开始走,记录走过的步数,当这个指针再次回到入环节点时,走过的长度即为环长n