数据结构 | 证明链表环结构是否存在

❤个人主页:

链表环结构

0.前言

在这篇博客中,我们将深入探讨链表环结构的检测方法:

Floyd算法的原理:如何通过快慢指针检测环?

环入口的定位:如何找到环的起点?

通过这篇博客,我会对链表中的环结构进行相关证明解释,总结学习。

1.环形链表(基础)

题目链接:https://leetcode.cn/problems/linked-list-cycle/description/

题目描述:

代码实现:

c 复制代码
/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     struct ListNode *next;
 * };
 */
 
bool hasCycle(struct ListNode *head) {
    struct ListNode*slow,*fast;
    slow = fast = head;
    while(fast&&fast->next)
    {
        slow=slow->next;
        fast=fast->next->next;

          if(slow==fast)
             return true;
    }
    return false;
}

代码解释:

这个题目的实现逻辑比较简单,我们定义快慢指针来进行实现,fast指针每次走2步,slow指针每次走1步,当快指针和慢指针相遇的时候,如果链表中存在环,则返回 true 。否则,返回 false。

2.环形链表Ⅱ(中等)

题目链接:https://leetcode.cn/problems/linked-list-cycle-ii/description/
题目描述:

代码实现1:

c 复制代码
struct ListNode* detectCycle(struct ListNode* head) {
    struct ListNode* fast;
    struct ListNode* slow;
    fast = slow = head;

    while (fast && fast->next)
    {
        //快慢指针依次走
        slow = slow->next;
        fast = fast->next->next;

        if (slow == fast)
        {
            struct ListNode* start = head;
            struct ListNode* meet = slow;
            while (meet != start)
            {
                meet = meet->next;
                start = start->next;
            }
            return meet;
        }
    }
    return NULL;
}

代码解释1:

代码实现2:

c 复制代码
/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     struct ListNode *next;
 * };
 */
struct ListNode *getIntersectionNode(struct ListNode *headA, struct ListNode *headB) 
{
    struct ListNode* tailA=headA,*tailB=headB;
    int lenA=1,lenB=1;

    while(tailA)
    {
        tailA=tailA->next;
        ++lenA;
    }
    while(tailB)
    {
        tailB=tailB->next;
        ++lenB;
    }

    int gap=abs(lenA-lenB);
    struct ListNode* longlist=headA,*shortList=headB;

    if(lenA<lenB)
    {
        longlist=headB;
        shortList=headA;
    }

    while(gap--)
    {
        longlist=longlist->next;
    }

    while(longlist!=shortList)
    {
        longlist=longlist->next;
        shortList=shortList->next;
    }
    return longlist;

}

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

    while(fast&&fast->next)
    {
        //快慢指针依次走
        slow=slow->next;
        fast=fast->next->next;

        if(slow==fast)
        {
            //转换成求交点
            struct ListNode* meet=slow;
            struct ListNode* lt1=meet->next;
            struct ListNode* lt2=head;
            meet->next=NULL;
            return getIntersectionNode(lt1,lt2);
        }
    }
    return NULL;
}

代码解释2:

3.证明相遇条件及结论

3.1 问题1特殊情况证明

问题1: 为什么slow走1步,fast走2步,他们会相遇吗?会不会错过?请证明

3.2 问题1普适性证明

问题:为什么slow走1步,fast走3步(x>=3),他们会相遇吗?会不会错过?请证明

感谢您的阅读支持!!!
后续会持续更新的!!!
文末投票支持一下!!!

相关推荐
朝朝又沐沐3 小时前
算法竞赛阶段二-数据结构(36)数据结构双向链表模拟实现
开发语言·数据结构·c++·算法·链表
艾莉丝努力练剑4 小时前
【数据结构与算法】数据结构初阶:详解排序(二)——交换排序中的快速排序
c语言·开发语言·数据结构·学习·算法·链表·排序算法
科大饭桶5 小时前
数据结构自学Day13 -- 快速排序--“前后指针法”
数据结构·算法·leetcode·排序算法·c
设计师小聂!7 小时前
力扣热题100----------53最大子数组和
java·数据结构·算法·leetcode
YouQian7727 小时前
问题 C: 字符串匹配
c语言·数据结构·算法
yanxing.D7 小时前
408——数据结构(第二章 线性表)
数据结构·算法
艾莉丝努力练剑8 小时前
【LeetCode&数据结构】二叉树的应用(二)——二叉树的前序遍历问题、二叉树的中序遍历问题、二叉树的后序遍历问题详解
c语言·开发语言·数据结构·学习·算法·leetcode·链表
waveee1239 小时前
学习嵌入式的第三十三天-数据结构-(2025.7.25)服务器/多客户端模型
服务器·数据结构·学习
KarrySmile10 小时前
Day04–链表–24. 两两交换链表中的节点,19. 删除链表的倒数第 N 个结点,面试题 02.07. 链表相交,142. 环形链表 II
算法·链表·面试·双指针法·虚拟头结点·环形链表
花开富贵ii10 小时前
代码随想录算法训练营二十八天|动态规划part01
java·数据结构·算法·leetcode·动态规划