LeetCode —— 142. 环形链表 II

题目描述

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

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

不允许修改 链表。

示例

示例一

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

示例二

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

示例三

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

解题思路

首先我们第一步要做的就是判断这个链表是否有环。这个用经典的快慢指针就可以做到，一个指针是快指针，一个是慢指针。如果这个链表无环，那么快指针就会碰到nullptr，如果链表有环那么这两个指针终会相遇。

而找到链表环的起始节点就是在有环的基础上做的。假设快慢指针在k点相遇，那么此时快指针走的路是2k步，慢指针走的是k步，这个时候我们再假设环的起始位置到相遇点的距离是n，那么起点到环的位置距离就是k-n

此时我们很容易得出快指针走的距离：

2k = k-n+n+环长 = k+环长
那么： k = 环长

那么意味着我们再从起点走到环的起始点需要走k-n步，而从k点走到环入口也是k-n步。那么从k点和从起点一起走就能刚好在环的起始位置相遇。

代码呈现

class Solution {
 public:
  /**
   * @brief leetcode 提供的函数
   *
   * @param head 链表的头节点
   * @retval nullptr 此链表无环
   */
  ListNode *detectCycle(ListNode *head) {
    ListNode *fast = head;
    ListNode *slow = head;

    //首先找到快慢指针的相交节点
    while (fast != nullptr && fast->next != nullptr) {
      fast = fast->next->next;
      slow = slow->next;

      if (fast == slow) {
        break;
      }
    }

    //判断是否有交点
    if (fast == nullptr || fast->next == nullptr) return nullptr;

    //之后快指针继续走，慢指针从头开始，再相交就是入口节点
    slow = head;
    while (slow != fast) {
      slow = slow->next;
      fast = fast->next;
    }
    return slow;
  }
};

参考文献

[1] labuladong的算法小抄[M].付东来