LeetCode-142:环形链表II(图文并茂)

题目描述

142.环形链表II

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

为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。注意，pos 仅仅是用于标识环的情况，并不会作为参数传递到函数中。
说明：不允许修改给定的链表。
进阶：
你是否可以使用 O(1) 空间解决此题？

示例1：

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

示例2：

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

示例3：

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

题解

本题依旧采用快慢指针先求出环的相遇点(具体求法)，先直接给出结论，当链表带环时，指针 head 从头指针的位置开始走，指针 meet 从 slow 与 fast 的相遇点开始走，当 head 和 meet 相等时，则证明走到入环的第一个结点。

证明
假设链表长度为L，环的长度为n，从入环点到相遇点的长度为x

这里有一个很重要的结论，快指针走的路程是慢指针走的路程的2倍,因为慢指针一次走一步，快指针一次走两步。
假设当 fast 走了C圈时，刚好与 slow 指针相遇，(slow在环里不会超过一圈，因为在极限的情况下，slow和fast的差距是 n - 1)，那么我们就可以根据上面的结论得出一个公式：

L - n + C * n + x = 2 * ( L - n + x )

对其进行化简可得

L - n = C * n - x

而 C * n 就相当于 n ，因为fast 走了C圈之后，下一圈还是从入环点开始走，可以理解为fast的位移并没有发生改变，因此

L - n = n - x

结论得证，头结点到入环点的距离恰好等于相遇点到入环点的距离

因此，具体图示如下：

①首先求出该带环链表的相遇点meet，如果不带环就返回NULL

②让头指针head和相遇指针meet 同时向后走，直到 head == meet 为止，则表明找到入环点

题解代码

struct ListNode *detectCycle(struct ListNode *head) {
    if(head==NULL || head->next==NULL)
    {
        return NULL;
    }
    //判断有没有环，先求出相遇点
    struct ListNode *slow = head;
    struct ListNode *fast = head;
    struct ListNode *meet = NULL;
    while(fast && fast->next)
    {
        fast = fast->next->next;
        slow = slow->next;
        if(fast == slow)
        {
            meet = slow;
            break;
        }
    }
    //若为NULL，则无环
    if(meet== NULL)
    {
        return NULL;
    }
    //有环的情况下，当头指针走到入环点的时候，相遇点也刚好走到入环点
    while(head!=meet)
    {
        head = head->next;
        meet = meet->next;
    }
    return head;
}