HOT26-环形链表 II

        leetcode原题链接：环形链表 II

        上一篇：HOT25-环形链表

        下一篇：HOT27-合并两个有序链表

题目描述

        给定一个链表的头节点  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, 104] 内
• -105 <= Node.val <= 105
• pos 的值为 -1 或者链表中的一个有效索引

解题方法：快慢指针 + 数学推理法。先给出如下结论：

结论1: 慢指针进入环之后，在环中跑完一圈前必然会跟快指针相遇。（极端假设法可以验证）

结论2: 两指针的出发起点距离环入口的长度，等于快慢指针第一次相遇位置和环入口的距离再加上n圈环的距离。

    2(a + b) = a + n*(b+c) +b ==> a = (n-1)(b+c)+b+c-b=k(b+c)+c=k圈+c 即a = k圈+c

C++代码

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
 // 2(a + b) = a + n*(b+c) +b ==> a = (n-1)(b+c)+b+c-b=k(b+c)+c=k圈+c
class Solution {
public:
    ListNode *detectCycle(ListNode *head) {
        if (!head) {
            return nullptr;
        }
        ListNode* first_meet_node = nullptr; // 第一次相遇的位置
        ListNode* p1 = head;//慢指针,每次走一步
        ListNode* p2 = head;//快指针,每次走两步
        while (p2) {
            if (!p2->next || !p2->next->next) {
                return nullptr;
            }
            p1 = p1->next;
            p2 = p2->next->next;
            if (p1 == p2) {
                first_meet_node = p2; //找到第一次相遇的位置
                break;
            }
        }
        // 两指针分别从链表头节点和第一次相遇的位置同时以相等的速度出发，
        // 则必然在环入口节点相遇
        p1 = head;
        while (p1 && first_meet_node) {
            if (p1 == first_meet_node) {
                return p1;
            }
            p1 = p1->next;
            first_meet_node = first_meet_node->next;
        }
        return nullptr;
    }
};