LeetCode - 环形链表 II

日常刷题中🐵

题目😉 

     给定一个链表的头节点  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

解释：链表中没有环。

LeetCode链接😆

142. 环形链表 II - 力扣（LeetCode） (leetcode-cn.com)https://leetcode-cn.com/problems/linked-list-cycle-ii/

题目解析😉

     这个题目和上一个环形链表是有一定关联的，也同样使用了快慢指针，用追逐相遇的思想。快指针fast从head头结点处，一次走两步，慢指针slow也从head头结点处一次走一步。当slow进环时，fast肯定在环里。这个时候开始追逐，因为fasrt和slow的步长相差1，这样它们一定会相遇，即它们之间的距离会逐渐减小1，当减小到它们距离为0时，即它们在环里相遇。

      边界分析，我们肯定是要遍历链表的，如果链表为单链表不带环，且结点个数为奇数，则fast->next为NULL时整个链表遍历完。如果链表为单链表不带环，且结点个数为偶数，则fast为NULL时，整个链表遍历完。

     这里先说结论：一个指针从它们相遇的位置开始走，一个指针从head头结点处开始走，两个指针每次都走一步，它们会在环的入口处相遇。

    假设环的长度为c，从环入口处到fast和slow相遇处长度为x，则从相遇处到环入口处长度为c - x。

    利用fast的步长为slow步长的两倍来推导。则fast比slow走的距离多两倍。（详解参考下图）

 

    由图公式所示，C - X = L，因为（N - 1) * C 是环长度的倍数，所以不管N是几都是以meet为起点，由此可得 L = C - X，即一个指针从first开始走，一个指针从meet处开始走，每次都走一步，一定会在环的入口处相遇。

代码实现😊

struct ListNode* detectCycle(struct ListNode* head)
{
    struct ListNode* fast = head;
    struct ListNode* slow = head;
    struct ListNode* meet = NULL;
    struct ListNode* first = head;

    while (fast && fast->next)//奇数和偶数结点个数跳出条件
    {
        fast = fast->next->next;
        slow = slow->next;
        if (fast == slow)
        {
            meet = slow;
            while (meet != first)//从meet和first处开始走
            {
                first = first->next;
                meet = meet->next;
            }
            return meet;//环的入口处
        }
    }
    return NULL;
}

小结🐵 

    这里是使用了数学逻辑分析才得出的结论，所以我们在写代码之前，一定要理清自己的逻辑思路，然后再用代码去实现它。