题目
给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 null。
如果链表中有某个节点,可以通过连续跟踪 next 指针再次到达,则链表中存在环。 为了表示给定链表中的环,评测系统内部使用整数 pos 来表示链表尾连接到链表中的位置(索引从 0 开始)。如果 pos 是 -1,则在该链表中没有环。注意:pos 不作为参数进行传递,仅仅是为了标识链表的实际情况。
不允许修改 链表。
来源:力扣(LeetCode)
链接:https://leetcode-cn.com/problems/linked-list-cycle-ii
题解
思路来源:https://leetcode-cn.com/problems/linked-list-cycle-ii/solution/huan-xing-lian-biao-ii-by-leetcode-solution/
- 环形链表普遍一点的解法是:哈希表和快慢指针
- 哈希表相对容易理解,直接把元素存入哈希表,然后指针遍历检查,遇到重复的就是环的入口节点。
- 快慢指针详解
慢指针slow,每一次前进一步
快指针fast,每一次前进两步
如果链表中存在环,则fast先进入环,待slow进入环中,fast就会开始追赶slow,直至相遇。(因为fast每次走两步,所以可以认为在环中,fast是在逐渐接近slow的)
捉住一个等式: fast的路程=2*slow的路程
设a为进入循环之前的路程,b为从入口到相遇点距离,c为从相遇点到入口的距离。
则相遇的时候有等式:
slow :a+b //一定会在slow进入循环的第一圈相遇
fast :a+b+n(b+c) //fast的路程是slow走过的路程基础上加n圈
则有 a+b+n(b+c)=2*(b+c) => a=c+ (n-1)(b+c)
有了a=c+ (n-1)(b+c) 的等量关系,我们会发现:从相遇点到入环点的距离加上 n−1 圈的环长,恰好等于从链表头部到入环点的距离。
因此,当发现slow 与fast 相遇时,我们再把fast指针指向链表头部;随后,它和slow 每次向后移动一个位置。最终,它们会在入环点相遇。
解释一下为什么一定会在slow的第一圈相遇
leetcode有很多用等式来推断的方法,可是感觉太抽象,可以用极限的方法来推理
极限1:当slow进入环时,fast只比slow快一步(此时slow和fast相聚最远,因为fast要从后面追slow),两者相距(b+c-1)步,fast每次追上一步,即要经过(b+c-1)测才追上。经过(b+c-1)时slow在入环点的后一点,属于第一圈。
极限2:当slow进入环时,fast在slow的后一步,则两者相差一步,那么fast只要经过一次就可以追上slow了。
综上,相差最远和最近,都能在一圈内追上,则总能在一圈内追上。