LeetCode 142. 环形链表 II

原题链接

难度：$middle$

---

题目描述

给定一个链表的头节点 $head$ ，返回链表开始入环的第一个节点。 如果链表无环，则返回 $null$。

如果链表中有某个节点，可以通过连续跟踪 $next$ 指针再次到达，则链表中存在环。 为了表示给定链表中的环，评测系统内部使用整数 $pos$ 来表示链表尾连接到链表中的位置（ 索引从 0 开始 ）。如果 $pos$ 是 $-1$，则在该链表中没有环。 注意：$pos$ 不作为参数进行传递 ，仅仅是为了标识链表的实际情况。

不允许修改 链表。

示例 1：

输入：head = [3,2,0,-4], pos = 1
输出：返回索引为 1 的链表节点
解释：链表中有一个环，其尾部连接到第二个节点。
复制示例输入

示例 2：

输入：head = [1,2], pos = 0
输出：返回索引为 0 的链表节点
解释：链表中有一个环，其尾部连接到第一个节点。
复制示例输入

示例 3：

输入：head = [1], pos = -1
输出：返回 null
解释：链表中没有环。
复制示例输入

提示：

• 链表中节点的数目范围在范围 $[0,10^4]$ 内
• $-10^5<=Node.val<=10^5$
• $pos$ 的值为 $-1$ 或者链表中的一个有效索引

进阶： 你是否可以使用 $O(1)$ 空间解决此题？

---

算法

(链表、快慢指针扫描) $O(n)$

1. 用两个指针 first,second 分别从起点开始走，first 每次走一步，second 每次走两步。
2. 如果过程中 second 走到null，则说明不存在环。否则当 first 和 second 相遇后，让 first
   返回起点，second 待在原地不动，然后两个指针每次分别走一步，当相遇时，相遇点就是环的入口。

a是起点，b是环的入口，c 是两个指针的第一次相遇点，ab 之间的距离是 x，bc之间的距离是 y。c 是第一次相遇的起点，同时从从 c 向前倒退y步，那么快指针会倒退 2y 步到 d 点，又因为此时慢指针走了 x 走到 b 点，从 b 点走 x 步到 d 点，按照只走一圈的极端想法来验证，那么环的长度为 x + y，所以在第一次相遇点，慢指针从head，快指针从 c 点，一步一步的走，走 x 步就可以走到环的入口。

C++ 代码

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
class Solution {
public:
    ListNode *detectCycle(ListNode *head) {
        if (!head || !head->next) return NULL;

        auto slow = head, fast = head;
        while (fast) {
            slow = slow->next, fast = fast->next;
            if (!fast) return NULL;
            fast = fast->next;
            if (slow == fast)
            {
                slow = head;
                while (slow != fast)
                {
                    slow = slow->next;
                    fast = fast->next;
                }
                return slow;
            }
        }

        return NULL;
        
    }
};