链表算法 I今天 LeetCode 的每日一题是 142. 环形链表 II，最优解好神奇。看了视频讲解才搞懂，整理下

今天 LeetCode 的每日一题是 142. 环形链表 II，最优解好神奇。看了视频讲解才搞懂，整理下作为笔记。

视频中讲解了如下几个算法：

与本题相关的是 1 ~ 3 ，算法也比较类似。

1. 计算链表的中间节点

算法：

定义两个指针 slow 和 fast 指向 head ；
slow 每次向后走一步，fast 每次向后走两步；
直到 fast 是最后一个节点或最后一个节点之后的 null 时，此时 slow 节点即是中间节点。

说明：

奇数个节点的场景
偶数个节点的场景

代码：

ListNode slow = head, fast = head;
while (fast != null && fast.next != null) {
    slow = slow.next;
    fast = fast.next.next;
    if (slow == fast) {
        return null;
    }
}
return slow;

2. 是否是环形链表

算法：

定义两个指针 slow 和 fast 指向 head ；
slow 每次向后走一步，fast 每次向后走两步；
直到 fast 和 slow 指向相同的节点，则表明链表中存在环形链路。如果不存在环形链路，则 fast 会先到达终点。

说明：

为什么说 fast 和 slow 指向相同的节点就表明链表中存在环形链路呢？

如果链表中有环路，则慢指针 slow 一定会进入环内（此时快指针 fast 也已经进入了环内）。在环内快指针 fast 相对于慢指针 slow 的相对速度为 1 ，继续走下去快指针一定会追上慢指针。

代码：

ListNode slow = head, fast = head;
while (fast != null && fast.next != null) {
    slow = slow.next;
    fast = fast.next.next;
    if (slow == fast) {
        return true;
    }
}
return false;

3. 查找环形链表的入口节点

算法：

定义两个游标 slow 和 fast 指向 head ；
slow 每次向后走一步，fast 每次向后走两步；
直到 fast 和 slow 指向相同的节点；
slow 继续单步向下走，同时 head 也单步向下走（注意这里是 head 不是 fast ）；
直到两个指针（head 和 slow）相遇，这个相遇的节点就是环形链表的入口节点。

说明：

前面 3 步和 2. 是否是环形链表 的算法一样，比较难理解的是最后两步。

slow 和 fast 相遇时的情景如下：

假设：

head 到 入口 的步长 = $a$
入口 到 相遇点 的步长 = $b$
相遇点 到 入口 的步长 = $c$
快指针 fast 在环中重复移动的次数 = $k$

注意： $k > 0$ ，原因在于 fast 由于走的较快，肯定是先入环，而想要和 slow 相遇最快是在循环一次后恰好在 入口 相遇。

则可知：

环长 = $b + c$
慢指针 slow 移动距离 = $a + b$
慢指针 slow 移动距离为什么是 $a + b$ 而不是 $a + b + n(b + c)$ （ $n$ 为慢指针在环中绕圈的次数）。

原因在于慢指针到达入口后，不管快指针位于环中何处，总能在
- 最少 $0$ 步（即，慢指针到达入口时，刚好快指针也到达入口），
- 最多 $b + c - 1$ 步（即，慢指针到达入口时，快指针在慢指针的下一个节点）
追上慢指针，也就是不满一圈，所以 $n$ 肯定为 $0$ 。
快指针 fast 移动距离 = $a + b + k(b + c)$

由于快指针移动距离是慢指针的两倍，则可得如下等式：

$2(a + b) = a + b + k(b + c))$
→ $2(a + b) = a + b + b + c + (k - 1)(b + c))$
→ $a - c = (k - 1)(b + c))$

slow 和 fast 相遇时如图所示：

上述公式变换最后一步的结果意味着 head 若向后移动了 $c$ 步之后，此时 head 离 入口 的步长为 $(k - 1)(b + c)$ （即 $(k - 1)$ 倍的环长（由于 $k > 0$ ，这个步长最小值为 $0$ ，也就是说在移动 $c$ 步之后，head 最多刚刚入环，不可能移动到 入口 之后的节点））。若 slow 同样向后移动了 $c$ 步，则 slow 会位于环形的 入口 。

之后 head 继续向后移动 $a$ 路径的剩余部分（即 $a - c$ ）以到达 入口 ，则相当于移动了 $(k - 1)(b + c)$ 。若 slow 同样向后移动了 $(k - 1)(b + c)$ 步，由于步数是环长的倍数，则 slow 也必然会位于 入口 。此时两者就会在 入口 处相遇。

总的来说就是，在 slow 和 fast 相遇之后，若 head 和 slow（或 fast ）同步单步向后移动，则必然会在移动了 $a$ 步之后于 入口 处第一次相遇（代码中不需要关心 $a$ 的值为多少，只需要移动到两者相遇为止）。

代码：

ListNode slow = head, fast = head;
while (fast != null && fast.next != null) {
    slow = slow.next;
    fast = fast.next.next;
    if (slow == fast) {
        while (head != slow) {
            slow = slow.next;
            head = head.next;
        }
        return slow;
    }
}
return null;

版权声明：本文为博主「佳佳」的原创文章，遵循 CC 4.0 BY-NC-SA 版权协议，转载请附上原文出处链接及本声明。
原文链接：www.liujiajia.me/2023/7/30/l…