Floyd’s Tortoise and Hare
Reference: Cycle detection
循环检测问题(Cycle detection)
假设有限集合S={0,1,2,4,5,6,7,8},同时有函数f从集合S映射到集合S。如果从某X0=2开始连续调用f,显然会生成一系列数值。
2,0,6,3,1,6,3,1,6,3,1 …
熟悉逻辑设计的同学可能会很眼熟,这个和有限状态机是一个道理,集合元素数目有限,从某个元素μ开始,序列会以周期λ循环,这里μ=2,λ=3。序列从0开始计数。当然这个起始点不一样,μ与λ可能是不同的。
循环检测就是在类似的问题中找出μ与λ。
CS中通常会碰到此类问题,获得某序列数据,比如说链表,希望在占用尽可能小的存储空间的条件下检测出该链表是否循环,得出μ与λ。
朴素的思想是沿着链表遍历,将途经结点地址保存下来,每加入一个结点进行一轮比较。在μ+λ次读写比较之后,如果该链表是循环的,则开始出现相同结点地址,可以显然判断μ与λ,但这样的算法空间复杂度是O(μ+λ)。对于这样一个问题,代价过高。
Floyd’s Tortoise and Hare算法是一个只需要使用两个指针的指针算法(pointer algorithm),通过两个前进速度不同的指针,类比伊索寓言中的龟兔,可完成以上任务。算法的实现相当简单,这也就意味着算法的设计相当精妙。本文主要就是致敬数学大佬们超凡的思维能力。
算法原理
存在某序列Xi,如果是循环的,对于所有i>μ,k>0,有Xi=Xi+kλ,这个不难理解,就是把循环的定义专业表达了一下。重点是下面。
那么存在k>0使得i=kλ>μ成立,即存在Xi=X2i。
如果