Floyd判圈算法理解

关于该算法,wiki上有详细说明。

https://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare

https://zh.wikipedia.org/wiki/Floyd%E5%88%A4%E5%9C%88%E7%AE%97%E6%B3%95

Floyd判圈算法(Floyd Cycle Detection Algorithm),又称龟兔赛跑算法(Tortoise and Hare Algorithm)。该算法由美国科学家罗伯特·弗洛伊德发明,是一个可以在有限状态机迭代函数或者链表上判断是否存在,求出该环的起点长度的算法。

如果有限状态机、迭代函数或者链表上存在环,那么在某个环上以不同速度前进的2个指针必定会在某个时刻相遇。同时显然地,如果从同一个起点(即使这个起点不在某个环上)同时开始以不同速度前进的2个指针最终相遇,那么可以判定存在一个环,且可以求出2者相遇处所在的环的起点与长度。

算法描述

如果有限状态机、迭代函数或者链表存在环,那么一定存在一个起点可以到达某个环的某处(这个起点也可以在某个环上)。

初始状态下,假设已知某个起点节点为节点S。现设两个指针t和h,将它们均指向S。

接着,同时让t和h往前推进,但是二者的速度不同:t每前进1步,h前进2步。只要二者都可以前进而且没有相遇,就如此保持二者的推进。当h无法前进,即到达某个没有后继的节点时,就可以确定从S出发不会遇到环。反之当t与h再次相遇时,就可以确定从S出发一定会进入某个环,设其为环C。

如果确定了存在某个环,就可以求此环的起点与长度。

计算环长度

上述算法刚判断出存在环C时,显然t和h位于同一节点,设其为节点M。显然,仅需令h不动,而t不断推进,最终又会返回节点M,统计这一次t推进的步数,显然这就是环C的长度。

计算环起点


为了求出环C的起点,只要令h仍位于节点M,而令t返回起点节点S。随后,同时让t和h往前推进,且保持二者的速度相同:t每前进1步,h前进1步。持续该过程直至t与h再一次相遇,设此次相遇时位于同一节点P,则节点P即为从节点S出发所到达的环C的第一个节点,即环C的一个起点。

链表起点为节点S,环起点为节点P,t和h相遇时位于同一节点M,S和P之间的距离为p,P和M之间的距离为m,环长为C,这里两点之间的距离是指从一点走多少步可以到点另外一点。

当t和h相遇时,

t走的步数,step = p + m + a * C,a表示相遇时t走的圈数 

h走的步数,2 * step = p + m + b * C,b表示相遇时h走的圈数

两者相减:step = (b - a) * C = p + m + a * C,由此可知t走的步数是环C的倍数,即 p + m 刚好是环长度C的倍数。

t和h在M处相遇,为了计算环C的起点,令h仍位于节点M,而令t返回起点S,随后,同时让t和h往前推进,且保持两者的速度相同:t每前进1步,h前进1步。持续该过程直至t与h再一次相遇,则它们此次相遇时一定位于环的起始节点P。为什么它们此次相遇时一定在环起始节点呢?

t走了p步到达P,h在环C上p步在哪呢?h从M处出发走了p步,相对于环起始位置,h走过的距离是 m + p,而m + p刚好是环长度C的倍数,即h此时也位于环起始节点处,即t和h在P处相遇。据此就可以计算出环起始节点的位置。

算法复杂度

时间复杂度

注意到当指针t到达环C的一个起点节点P时(此时指针h显然在环C上),之后指针t最多仅可能走1圈。若设节点S到P距离为m,环C的长度为n,则时间复杂度为O(m+n),是线性时间的算法。

空间复杂度

仅需要创立指针t、指针h,保存环长n、环的一个起点P。空间复杂度为O(1),是常数空间的算法。

应用

对于有限状态机与链表,可以判断从某个起点开始是否会返回到访问过运行过程中的某个状态和节点。

对于迭代函数,可以判断其是否存在周期,以及求出其最小正周期




  • 11
    点赞
  • 12
    收藏
    觉得还不错? 一键收藏
  • 4
    评论
Floyd算法,又称龟兔赛跑算法,是用来断链表是否有环、计算环的长度以及寻找环的起点的一种算法。该算法通过使用两个指针,一个慢指针和一个快指针,在链表中进行遍历。慢指针每次移动一步,而快指针每次移动两步。如果链表中存在环,那么快指针最终会追上慢指针,两个指针会相遇。这可以通过两个条件来断:当快指针和慢指针相遇时,且快指针不为null且快指针的下一个节点也不为null。如果两个指针相遇,那么说明链表中存在环。接下来,我们可以从相遇点开始,用一个指针再次遍历链表,直到回到相遇点,记录遍历过程中的节点数。这个节点数就是环的长度。 如果慢指针和快指针相遇,那么我们可以进一步断是否有环存在。如果相遇点是链表中的某个节点,那么从相遇点开始遍历链表,再次回到相遇点的位置一定是环的起点。这是因为从相遇点继续遍历,最终会再次回到相遇点,而在这个过程中,慢指针每次移动一步,快指针每次移动两步,所以在某一时刻,慢指针和快指针会在环的起点处相遇。 然而,如果慢指针和快指针从环的不同起点出发,那么它们再次相遇的位置会发生偏移,不会是环的起点。同样地,如果慢指针和快指针从环外的同一起点出发,它们在进入环之前还有一段距离,因此再次相遇的位置也不一定是环的起点。 综上所述,Floyd算法通过两个指针的移动,可以断链表是否有环,并且计算出环的长度和寻找环的起点。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* *3* [Floyd算法](https://blog.csdn.net/qq_26012495/article/details/117407011)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 50%"] - *2* [cjing-interview:C ++面试; 基本算法数据结构提示](https://download.csdn.net/download/weixin_42144707/16474761)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 50%"] [ .reference_list ]
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值