链表OJ10——环形链表2（C++代码实现）

声明：我的链表OJ系列是针对无头单向不循环链表的

题目

题目来源：https://leetcode.cn/problems/linked-list-cycle-ii/description/

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

如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，评测系统内部使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。如果 pos 是 -1，则在该链表中没有环。

注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。

不允许修改 链表。

思路 ——双指针法

这类链表题目一般都是使用双指针法解决的，例如寻找距离尾部第 K 个节点、寻找环入口、寻找公共尾部入口等。

在本题的求解过程中，双指针会产生两次“相遇”。

双指针的第一次相遇：

1. 设两指针 fast，slow 指向链表头部 head 。
2. 令 fast 每轮走 2 步，slow 每轮走 1 步。

执行以上两步后，可能出现两种结果：

第一种结果： fast 指针走过链表末端，说明链表无环，此时直接返回 null。

如果链表存在环，则双指针一定会相遇。因为每走 1 轮，fast 与 slow 的间距 +1，fast 一定会追上 slow 。

第二种结果： 当fast == slow时， 两指针在环中第一次相遇。下面分析此时 fast 与 slow 走过的步数关系：

设链表共有 a+b 个节点，其中 链表头部到链表入口 有 a 个节点（不计链表入口节点）， 链表环 有 b 个节点（这里需要注意，a 和 b 是未知数，例如图解上链表 a=4 , b=5）；设两指针分别走了 f，s 步，则有：

fast 走的步数是 slow 步数的 2 倍，即 f=2s；（解析： fast 每轮走 2 步）
fast 比 slow 多走了 n 个环的长度，即 f=s+nb；（ 解析： 双指针都走过 a 步，然后在环内绕圈直到重合，重合时 fast 比 slow 多走 环的长度整数倍 ）。

将以上两式相减得到 f=2nb，s=nb，即 fast 和 slow 指针分别走了 2n，n个环的周长。

接下来该怎么做呢？

如果让指针从链表头部一直向前走并统计步数k，那么所有 走到链表入口节点时的步数 是：k=a+nb ，即先走 a 步到入口节点，之后每绕 1 圈环（ b 步）都会再次到入口节点。而目前 slow 指针走了 nb 步。因此，我们只要想办法让 slow 再走 a 步停下来，就可以到环的入口。

但是我们不知道 a 的值，该怎么办？依然是使用双指针法。考虑构建一个指针，此指针需要有以下性质：此指针和 slow 一起向前走 a 步后，两者在入口节点重合。那么从哪里走到入口节点需要 a 步？答案是链表头节点head。

双指针第二次相遇：

令 fast 重新指向链表头部节点。此时 f=0，s=nb 。
slow 和 fast 同时每轮向前走 1 步。

当 fast 指针走到 f=a步时，slow 指针走到 s=a+nb步。此时两指针重合，并同时指向链表环入口，返回 slow 指向的节点即可。

代码实现

class Solution {  
public:  
    ListNode *detectCycle(ListNode *head) {  
        // 初始化快指针和慢指针，都指向链表的头节点  
        ListNode* fast = head;  
        ListNode* slow = head;  
  
        // 循环直到快指针为空或者快指针的下一个节点为空，此时说明链表没有循环  
        while (true) {  
            if (fast == nullptr || fast->next == nullptr) {  
                return nullptr;  
            }  
  
            // 快指针每次前进两步  
            fast = fast->next->next;  
  
            // 慢指针每次前进一步  
            slow = slow->next;  
  
            // 如果快慢指针相遇，说明链表存在循环，跳出循环  
            if (fast == slow) {  
                break;  
            }  
        }  
  
        // 将快指针重新指向链表头  
        fast = head;  
  
        // 再次循环，直到快慢指针再次相遇，此时相遇点即为循环的入口  
        while (slow != fast) {  
            slow = slow->next;  
            fast = fast->next;  
        }  
  
        // 返回循环的入口节点  
        return fast;  
    }  
};

结论

让一个指针从链表起始位置开始遍历链表，同时让一个指针从判环时相遇点的位置开始绕环运行， 两个指针都是每次均走一步，最终肯定会在入口点的位置相遇。

证明