链表判圈算法

该博客介绍了一种使用Floyd判圈算法来判断单链表中是否存在环的方法。通过反向指针,当指针回到链表头结点时,确认链表存在环,时间复杂度为O(n)。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题面:

判断一个单链表是否包含一个环;

解法:

Floyd判圈算法可以解决此问题;

这里提供另外一种算法,当然这种算法只能判断是否有环,并不能求出环的长度;

1、很容易明白当一个链成环时,它会绕着指针回到环的起点;

2、那么当我们把环的起点的指针反向指回去的时候,我们就可以顺利找到链表的起点;

3、看到这里应该是很明白了,我们通过把指针反向指回去,如果当指针又回到链表头结点时,表示有环;

4、时间的时空复杂度都为O(n);

 代码:

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
class Solution {
public:
    bool hasCycle(ListNode *head) {
        if(head == NULL) {
            return false;
        }
        ListNode *check_head = head,*pre = head;
        head 
### Floyd算法的数学证明过程 Floyd算法的核心在于通过两个速度不同的指针(通常称为快指针和慢指针)来检测链表或其他数据结构中是否存在环。以下是该算法的数学证明过程: #### 1. 基本假设 设链表存在环,其结构分为两部分: - **非环部分**:从链表头节点到进入环的第一个节点的距离记为 \( d \)。 - **环的部分**:环的总长度记为 \( C \),其中任意一点回到自身的距离等于环的周长。 定义两个指针: - 慢指针每次移动一步; - 快指针每次移动两步。 当两者都从链表头部出发时,如果链表中有环,则它们最终会在某个位置相遇[^1]。 --- #### 2. 相遇条件分析 令慢指针走了 \( k \) 步后与快指针首次相遇于某点 \( P \)。此时满足以下关系: - 慢指针走过的路径长度为 \( s = d + mC \),表示它先走过非环部分 \( d \),再绕环若干次(\( m \) 表示绕环次数)到达相遇点。 - 快指针走过的路径长度为 \( f = d + nC \),同样包括非环部分 \( d \) 和绕环多次(\( n \) 表示绕环次数)到达相同点。 由于快指针的速度是慢指针的两倍,因此有: \[ f = 2s \] 代入上述表达式得到: \[ d + nC = 2(d + mC) \] 化简得: \[ d + nC = 2d + 2mC \] 进一步整理得出: \[ d = (n - 2m)C \] 这表明,从链表头节点到环入口的距离 \( d \) 是环周长 \( C \) 的整数倍差值[^3]。 --- #### 3. 找到环的起点 为了找到环的具体起始点,在第一次相遇之后,可以让其中一个指针返回链表头节点,并让另一个指针保持在当前位置不变。随后,这两个指针均以相同的速率前进(每轮只前进一步)。再次相遇的位置即为环的起点。 原因如下: - 设当前相遇点离环入口还有距离 \( x \)。 - 则另一条路径上的剩余距离也为 \( x \)。 因为之前已经知道 \( d = (n - 2m)C \),所以重新同步后的两条路径会恰好在同一时间抵达环的入口处。 --- #### 4. 总结 综上所述,利用快慢指针的方法不仅能够有效链表是否存在环,还可以定位环的起点。整个过程中涉及的关键数学原理主要是基于模运算性质以及周期性的特性[^2]。 ```python def detectCycle(head): slow, fast = head, head while fast and fast.next: slow = slow.next # 移动一步 fast = fast.next.next # 移动两步 if slow == fast: # 如果相遇则说明有环 break if not fast or not fast.next: return None # 链表无环的情况 slow = head # 将slow重置回head while slow != fast: slow = slow.next fast = fast.next # 同速前进直到再次相遇 return slow # 返回环的起点 ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值