142.环形链表 II leetcode算法题

题目

给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 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/

1. 环形链表普遍一点的解法是：哈希表和快慢指针
2. 哈希表相对容易理解，直接把元素存入哈希表，然后指针遍历检查，遇到重复的就是环的入口节点。
3. 快慢指针详解
   慢指针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了。

综上，相差最远和最近，都能在一圈内追上，则总能在一圈内追上。