Crab213's Blog.

Floyd循环检测算法

2016/04/25

循环检测问题

在研究抽象代数的时候,很多教材都是从欧拉研究的循环群入手的,比如这本《Advanced Modern Algebra》。

当然,直接讨论数学有些扯远了,我们并不需要群论知识,锦上添花而已。考虑一个由连续自然数组成的集合M, 它由0到n-1的自然数组成,然后考虑一个映射f,它将M映射到它自身,亦即我们定义操作f。

由于f将M映射到M,对每个e∈M,f(e)总是有定义的,我们可以将某个元素e多次进行f操作。现在我们来考虑靠考虑这样做会发生什么?很显然,这样的操作会形成一个链条装的结构,比如映射f(e) = (e + 1) % n,取初始数据为0,n = 4,则可以得到:

0 -> 1 -> 2 -> 3 -> 1 -> 2 -> 3 -> ...

很显然我们得到了一个循环。一旦这个映射中存在循环,而我们不凑巧掉了进去,就出不来了。

所以循环检测问题就是如何确定这样的循环是否存在?这个循环的长度?它相对与初始元素的位置?以映射的说法可能不够通俗,但是是最贴近数学的方式,同时也告诉我们这种问题的模型可以应用于多种现实情形。我们可以换一个角度思考,既然映射可以看作链式结构,我们也可以显式的使用链表来模拟这种情形。亦即问题可以转换为给出一个单链表,如何检测链表中是否有这样的循环?

Floyd循环检测算法

Floyd算法是众多循环检测算法中的一员,它的思想比较简单易懂,运用了快慢指针,现在来分析分析它的原理。

由与我们的问题分成三个子问题,Floyd循环检测算法也分成三个主要步骤,这三个步骤分别对应三个问题。

问题一:检测循环是否存在

这个问题是最主要的问题,为了解决这样的问题,我们将映射抽象成一个单链表,即每个链表只存在一个后继。定义两个指针fastslow,这两个指针都指向我们链表中的一个元素,由于单链表有且只有一个后继,这两个指针可以单向的向后移。实际问题中,这个链表可能不是无限长的,它有结尾。我们将fastslow指向链表第一个元素,fast每次向后移动两个元素,slow每次向后移动一个元素,如果链表中存在循环,那么这两个指针必会相遇。

我们可以证明这两个指针为什么会相遇。假设slow移动了k,则fast移动了2k,显然它们的距离为k,设循环的长度为l(即有l个元素)。由于循环是从1开始增长的,显然必有k为l的倍数的时候。考虑两个指针相遇的条件:1.它们的距离为l的整数倍,2.它们都落在了循环里。由此不难得出它们一定会在循环里相遇。

问题二:循环所在的位置

这个问题也可以表达成从初始位置向前走多少步可以到达循环的第一个元素。做法很简单,将fast指针移回初始位置,然后slowfast都以步长为一的速度向前移动,它们相遇时fast移动的距离就是循环所在的位置u。我们来分析以下这是为什么:1.显然,它们的差由原来的fast-slow=k变为了slow-fast=k,并且由于fastslow的移动速度开始变得相同,它们的距离永远都是k,而k又是l的倍数,所以只要fastslow一起出现在这个循环里,它们肯定是指向同一个元素。由此fastslow第一次相等的时候指向的肯定是在循环的第一个元素,亦即fast移动的距离就是不属于循环的元素个数。

问题三:循环的长度

这个问题更加简单,既然我们已经确定了循环的存在,并且此时fastslow都是指向循环开始时的第一个元素,我们需要移动fastslow指针其中的一个,并固定另一个,直到两个指针所指向的元素再次相同,记录下指针移动的长度就是循环的长度。

CATALOG
  1. 1. 循环检测问题
  2. 2. Floyd循环检测算法
  3. 3. 问题一:检测循环是否存在
  4. 4. 问题二:循环所在的位置
  5. 5. 问题三:循环的长度