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

题目描述

141.环形链表

给定一个链表，判断链表中是否有环。

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

进阶：
你能用 O(1)（即，常量）内存解决此问题吗

示例1：

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

示例2：

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

示例3：

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

题解

本题可以采用快慢指针的办法，让快指针一次走两步，慢指针一次走一步，如果存在环的话，那么快指针会在环中循环的走，因为快慢指针的差距步是一步(快指针两步减去慢指针一步)，那么，慢指针到最后一定会追上快指针，因此就能判断出该链表中存在环。

初始情况

①slow指针一次走一步，fast指针一次走两步

③如果fast == NULL，则证明该链表无环，返回false，若不为空则循环①，直至fast和slow相遇

题解代码

bool hasCycle(struct ListNode *head) {
    if(head == NULL || head->next==NULL)
    {
        return false;
    }
    struct ListNode *slow = head;
    struct ListNode *fast = head;
    while(fast && fast->next)
    {
        fast = fast->next->next;
        slow = slow->next;
        if(fast == slow)
        {
            return true;
        }
    }
    return false;
}

求环快慢指针进阶问题

在链表带环的情况下，fast指针一定能追上slow指针吗？会不会错过，永远追不上？

假设slow进环后，slow和fast之间的差距是n步，而环的大小为 c

• n的最小值是0，也就是说slow一进环就跟fast相遇
• n的最大值为 c - 1，也就是说slow和fast刚好相差一步(slow在前，fast在后)

因此n的范围为 [ 0 , c - 1 ]。

① 若slow一次走一步，fast一次走两步，那么他们的差距步就为一步，那么随着两个指针继续向后走，slow最多走 c - 1 步就会被追上 ，也就是说slow在一圈之内，一定会被追上。

slow走的步数：
n 、n - 1、n - 2 、… … 、0

②若slow一次走一步，fast一次走三步？fast走四步？…… 走 n 步呢？，能不能被追上。

结论：不一定能追上
假设slow每次走一步，fast每次走三步
开始差距为n，差距步为2步，则slow走的步数为：

n、n - 2、n - 4、……

• 若 n 为偶数，一直减2，最终会减到0，则说明slow最终会追上fast
• 若 n 为奇数，就会错过，在最为特殊的情况下，错过之后差距还是一个奇数，那么就会永远的追不上。而当错过后，slow和fast的差距为一个偶数，那么slow最终会追上fast指针

fast一次走四步……一次走n步，都是同样的道理