环形链表判断\Floyd判圈算法_环形链表判断算法-CSDN博客

本文详细介绍了如何使用快慢指针法检测链表中是否存在环。快指针每次前进两步，慢指针每次前进一步，当快慢指针相遇时，表明链表存在环。通过Floyd判圈算法解释了快慢指针相遇的原理，并通过实例说明了不同速度下，快慢指针总会相遇。最后讨论了为何选择快指针步进2的原因，以确保算法效率。

问题描述

如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。如果 pos 是 -1，则在该链表中没有环。注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。
先贴解法：快慢指针，慢指针步进1，快指针步进2，只要快慢指针相遇，就说明存在环。

class Solution {
public:
    bool hasCycle(ListNode *head) {
        if(head==nullptr||head->next==nullptr){
            return false;
        }
        ListNode* slow=head;
        ListNode* fast=head;
        while(fast->next!=nullptr&&fast->next->next!=nullptr){
            slow=slow->next;
            fast=fast->next->next;
            if(fast==slow){
                return true;
            }
        }
        return false;
    }
};

如果链表中存在环，则返回 true 。否则，返回 false 。

参考判圈算法，使用快慢指针，快指针步进2，慢指针步进1。原理解释如下：

Floyd判圈算法(Floyd Cycle Detection Algorithm)，又称龟兔赛跑算法(Tortoise and Hare Algorithm)，是一个可以在有限状态机、迭代函数或者链表上判断是否存在环，求出该环的起点与长度的算法。

起始不论快指针步进多少(也就是快慢指针的速度差可以为任意值)，快慢指针最终都会相遇。要明确的是，不一定在快指针第一次追上慢指针时就相遇，只是把它们相遇作为一个判断条件，来证明快慢指针相遇了。

比如下图：
在这里插入图片描述可以看到，不一定时f追上s，也可能是s”追上“f，这里的追上只是视觉上看到了，本质上，是f和s在一个环形的赛道进行赛跑。

来举个例子：

首先明确相遇的含义：只有在每个单位时间结束后，s和f相遇才叫做相遇。比如在单位时间t0的时候，在这个单位时间，s前进6，f前进8，但是，在单位时间t0开始之前，f在s后面个长度，也就是，在单位时间t0结束后，f超过了s为1的单位长度，那么这种是不叫相遇的。如下图
在这里插入图片描述假如环形赛道长c（对应于链表中环路的长度），s每次前进a，f每次前进b，开始时f和s在赛道的任意位置。