环形链表的判断方法与原理证明

(题目来源:力扣)

一.判读一个链表是否是环形链表

题目:

解答:

方法:快慢指针法

内容:分别定义快慢指针(fast和slow),快指针一次走两步,慢指针一次走一步。

原理:若不成环,则快指针(或快指针的next)一定会走到空,据此,写出循环条件,当循环结束时,返回NULL

cs 复制代码
while(fast&&fast->next)

此时,问题来了,成环怎么办?不能再通过循环条件来判断(因为此时该循环是死循环了)

目光再回到快慢指针上,若成环,则快指针一定会有追上慢指针的时候,当它们相遇时,循环结束

证明:

当fast,slow都进入环时:
假设:fast,slow之间相距N(单位:节点)
fast一次走两步,slow一次走一步,则每走一次,二者之间的距离就减1
如此循环往复,距离一定会变为0,即一定相遇

解题代码(并非完整代码)

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

拓展:

fast走3步可以吗?n步呢?

当fast一次走3步时:
假设:fast,slow之间相距N(单位:节点)
fast一次走三步,slow一次走一步,则每走一次,二者之间的距离就减2,变为N-2

情况1:N为偶数,则距离一定会变为0,即相遇

情况2:N为奇数

距离 会逐渐递减为**-1**(N-2,N-4,...3,2,-1)(这里的-1是指fast领先slow指针一步)

fast和slow错过

假设环的总长度为C ,那么fast,slow间的距离就变为C-1,继续分类讨论

情况2.1:C-1为偶数,则一定会相遇

情况2.2:C-1为奇数,则二者之间的距离最终又会变为-1,一直错过无法相遇

总结:当N为奇数,C为偶数时,二者一直错过,无法相遇

真的是这样吗?

C是偶数且N是奇数,这个条件能同时满足吗?

不妨推导一下:

假设:slow 走过的路程为L,当slow进入环时,fast已经绕环走了x (x>=0) 圈,环的长度为C

(slow 走过的路程简记为slow,fast同理)

slow = L

fast = L + x*C + C-N

3*slow = fast

则 3*L = L + x*C + C-N

化简得 N =(x+1)* C - 2*L

C是偶数,2*L也是偶数,N一定是偶数,不可能是奇数,所以此条件不可能同时成立,fast与slow一定会相遇

(fast走n步的情况就交给读者自行思考了)

二.找到环形链表开始进入环的第一个节点

题目:

解答:

设进入环的第一个节点为 ptail

1.先判断是否是环形链表(同上)

2.找到开始进入环的第一个节点

方法:

先定义快慢指针:fast和slow,fast一次走两步,slow一次走一步

先让fast和slow相遇,定义meet指针指向相遇节点

定义一个新指针newhead 指向链表的头结点,然后让newhead和meet指针同时向前走,他们相遇的节点就是ptail

证明:

假设:slow 走过的路程为L + S(L是环外走过的路程,S是环内走过的路程),相遇时,fast已经绕环走了x圈(x>=1),环的长度为C

(slow 走过的路程简记为slow,fast同理)

(补充:slow和fast相遇时,S一定小于C,因为slow走完一圈之前,二者一定会相遇)

slow = L + S

fast = L + x*C + S

2*slow = fast

2*(L + S)= L + x*C + S

L = x*C - S = (x-1)* C + C - S

L 是newhead到ptail间的距离,(x-1)* C是环长度的整数倍,C - S是meet到ptai的距离

所以当newhead和meet一定相遇在ptail节点

证毕

解题代码(非完整代码)

cs 复制代码
struct ListNode *detectCycle(struct ListNode *head) 
{
    //先判断有无环,并找到相遇时的节点
    struct ListNode* fast = head;
    struct ListNode* slow = head;
    struct ListNode* meet = NULL;
    while(fast && fast->next)
    {
        fast = fast->next->next;
        slow = slow->next;
        //相遇
        if(fast == slow)
        {
            meet = fast;
            struct ListNode* newhead = head;
            while(newhead != meet)
            {
            newhead = newhead->next;
            meet = meet->next;
            }
            return meet;
        }
    }
    return NULL;
}
相关推荐
为什么这亚子1 小时前
九、Go语言快速入门之map
运维·开发语言·后端·算法·云原生·golang·云计算
1 小时前
开源竞争-数据驱动成长-11/05-大专生的思考
人工智能·笔记·学习·算法·机器学习
~yY…s<#>1 小时前
【刷题17】最小栈、栈的压入弹出、逆波兰表达式
c语言·数据结构·c++·算法·leetcode
幸运超级加倍~2 小时前
软件设计师-上午题-16 算法(4-5分)
笔记·算法
yannan201903132 小时前
【算法】(Python)动态规划
python·算法·动态规划
埃菲尔铁塔_CV算法2 小时前
人工智能图像算法:开启视觉新时代的钥匙
人工智能·算法
EasyCVR2 小时前
EHOME视频平台EasyCVR视频融合平台使用OBS进行RTMP推流,WebRTC播放出现抖动、卡顿如何解决?
人工智能·算法·ffmpeg·音视频·webrtc·监控视频接入
linsa_pursuer2 小时前
快乐数算法
算法·leetcode·职场和发展
小芒果_012 小时前
P11229 [CSP-J 2024] 小木棍
c++·算法·信息学奥赛
qq_434085902 小时前
Day 52 || 739. 每日温度 、 496.下一个更大元素 I 、503.下一个更大元素II
算法