Floyd判圈算法

大家好，我是小梁！

今天和大家分享下一种实用且常见的算法：Floyd判圈算法(Floyd Cycle Detection Algorithm)，又称龟兔赛跑算法(Tortoise and Hare Algorithm)。

FLody判圈算法在链表上的应用有如下三种：

1. 检测是否存在环
2. 若环存在，可以计算出环的长度
3. 若环存在，可以计算出环的起点

一.算法原理证明

如图1 已知兔子和乌龟

• 同时从链表起点S出发
• 兔子速度是乌龟的两倍（乌龟每次向后移动1步，兔子移动每次向后移动2步）
• m是S和A之间的距离
• n是A和B之间的距离
• A是环的起点
• L是环的长度
• B是兔子、乌龟第一次相遇的点。

1.环是否存在

结论：若兔子在达到链表尾部前，乌龟与兔子相遇了，则说明链表有环。

反证法：若环不存在，那么乌龟永远追不上兔子，那么在兔子到达链表尾部前乌龟不会和兔子相遇。若相遇了，则链表有环。

2.求环的长度

已知乌龟和兔子相遇时，它们必定都在环上。设它们第一次相遇在B点，相遇后兔子保持不动，乌龟保持每次移动一步的速度继续前行，第二次相遇时，环长度L=第一次相遇后到第二次相遇时乌龟走过的路程。

3.求环的起点

设乌龟走过的全部路程为i，那么有

i = m + n + aL （1）「a是乌龟绕过的环的圈数」

因为兔子的速度是乌龟的两倍，所以有

2i = m + n + bL（2）「b是兔子绕过的环的圈数」

(2) – (1)可得：

i = (b – a)L （3）

结合式子(1)、(3)可得 m + n + aL = (b – a)L，所以有

m + n = (b-2a)L（4）{因为m+n>0且L>0, 所以b-2a>=1}

所以可以得出结论：

m + n = 环长度L的正整数倍。（5）

当乌龟和兔子在B点第一次相遇后，让乌龟回到起点S，兔子仍在B，乌龟以每次1步的速度向前走，兔子以相同的速度绕环逆时针前进。当走了m步时，兔子和乌龟都正好在A处，即环的起点。因为兔子相对于A点走了(n+m)步，由结论(5)可知A必然是环的起点。

二.举一反三

知道floyd判圈法的原理后，我们来活学活用吧！请看题：

首先明确前提，整数的数组 nums 中的数字范围是 [1,n]。考虑一下两种情况：

如果数组中没有重复的数，以数组 [1,3,4,2]为例，我们将数组下标 n 和数 nums[n] 建立一个映射关系 f(n)f(n)， 其映射关系 n->f(n)为： 0->1 1->3 2->4 3->2 我们从下标为 0 出发，根据 f(n)f(n) 计算出一个值，以这个值为新的下标，再用这个函数计算，以此类推，直到下标超界。这样可以产生一个类似链表一样的序列。 0->1->3->2->4->null

如果数组中有重复的数，以数组 [1,3,4,2,2] 为例,我们将数组下标 n 和数 nums[n] 建立一个映射关系 f(n)f(n)， 其映射关系 n->f(n) 为： 0->1 1->3 2->4 3->2 4->2 同样的，我们从下标为 0 出发，根据 f(n)f(n) 计算出一个值，以这个值为新的下标，再用这个函数计算，以此类推产生一个类似链表一样的序列。 0->1->3->2->4->2->4->2->…… 这里 2->4 是一个循环，那么这个链表可以抽象为下图：

从理论上讲，数组中如果有重复的数，那么就会产生多对一的映射，这样，形成的链表就一定会有环路了，

综上，可以将问题转换成Floyd判圈算法

1.数组中有一个重复的整数 <==> 检测链表中是否存在环

2.找到数组中的重复数<==> 若环存在，可以计算出环的起点

下面是c++代码