求单链表是否存在环路

最新推荐文章于 2022-08-22 14:24:15 发布

kaka321x

最新推荐文章于 2022-08-22 14:24:15 发布

阅读量634

点赞数

分类专栏： Algorithm 文章标签： algorithm c 生活

Algorithm 专栏收录该内容

10 篇文章 0 订阅

订阅专栏

转自：http://blog.csdn.net/LeonTown/archive/2009/07/22/4369452.aspx

一种O（n）的办法就是（搞两个指针，一个每次递增一步，一个每次递增两步，如果有环的
话两者必然重合，反之亦然）：
关于这个解法最形象的比喻就是在操场当中跑步，速度快的会把速度慢的扣圈

可以证明，p2追赶上p1的时候，p1一定还没有走完一遍环路，p2也不会跨越p1多圈才追上

我们可以从p2和p1的位置差距来证明，p2一定会赶上p1但是不会跳过p1的

因为p2每次走2步，而p1走一步，所以他们之间的差距是一步一步的缩小，4，3，2，1，0
到0的时候就重合了

根据这个方式，可以证明，p2每次走三步以上，并不总能加快检测的速度，反而有可能判别
不出有环

既然能够判断出是否是有环路，那改如何找到这个环路的入口呢？

解法如下：当p2按照每次2步，p1每次一步的方式走，发现p2和p1重合，确定了单向链表有
环路了

接下来，让p2回到链表的头部，重新走，每次步长不是走2了，而是走1，那么当p1和p2再次
相遇的时候，就是环路的入口了。

这点可以证明的：

在p2和p1第一次相遇的时候，假定p1走了n步骤，环路的入口是在p步的时候经过的，那么有

p1走的路径： p+c ＝ n； c为p1和p2相交点，距离环路入口的距离

p2走的路径： p+c+k*L = 2*N； L为环路的周长，k是整数

显然，如果从p+c点开始，p1再走n步骤的话，还可以回到p+c这个点

同时p2从头开始走的话，经过n不，也会达到p+c这点

显然在这个步骤当中p1和p2只有前p步骤走的路径不同，所以当p1和p2再次重合的时候，必
然是在链表的环路入口点上。

我不明白的是这个：
显然，如果从p+c点开始，p1再走n步骤的话，还可以回到p+c这个点

为什么p1再走n步肯定会到p+c这个点呢？

--
把自己当成别人；把别人当成自己；把别人当成别人；把自己当成自己.

※ 来源:·水木社区 newsmth.net·[FROM: 220.205.145.*]
发信人: techyb (struggleyb), 信区: Algorithm
标题: Re: 关于链表环的判断问题
发信站: 水木社区 (Thu Dec 11 21:41:27 2008), 站内

n是环的长度啊，走环一周，当然回到自己的位置

【在 len1982 (牧童|天黑黑) 的大作中提到: 】
: 一种O（n）的办法就是（搞两个指针，一个每次递增一步，一个每次递增两步，如果有?
的话两者必然重合，反之亦然）：
: 关于这个解法最形象的比喻就是在操场当中跑步，速度快的会把速度慢的扣圈
: 可以证明，p2追赶上p1的时候，p1一定还没有走完一遍环路，p2也不会跨越p1多圈才追?
: ...................

--

发信人: len1982 (牧童|天黑黑), 信区: Algorithm
标题: Re: 关于链表环的判断问题
发信站: 水木社区 (Thu Dec 11 21:51:03 2008), 站内

n怎么会是环的长度？
环的长度不是不确定的吗？
实在是想不明白

【在 techyb (struggleyb) 的大作中提到: 】
: n是环的长度啊，走环一周，当然回到自己的位置

--
台球三项基本原则：走位基本靠喊，进球基本靠蒙，赢球基本靠摆
发信人: threader (例如,每天爱你多一些), 信区: Algorithm
标题: Re: 关于链表环的判断问题
发信站: 水木社区 (Thu Dec 11 22:20:59 2008), 站内

p1走的路径： p+c ＝ n； c为p1和p2相交点，距离环路入口的距离

p2走的路径： p+c+k*L = 2*N； L为环路的周长，k是整数
～～这里是n

算一下 n=p+c=k*L
是环长的整数倍
所以走n步还在那个p+c点
【在 len1982 (牧童|天黑黑) 的大作中提到: 】
: n怎么会是环的长度？
: 环的长度不是不确定的吗？
: 实在是想不明白
: ...................

http://topic.csdn.net/u/20090114/13/f8ee7aa3-31a3-4616-b9e5-2650b37d8204.html

http://blog.csdn.net/ssfp8762/archive/2009/07/08/4331419.aspx

假设该链表在环出现之前有L个结点，环中有C个结点。
再假设慢指针初始化时指向的位置为a、快指针初始化时指向的位置为b，
如果二者在t次移动后相遇，也就是说：(a+t-L) mod C == (b+2*t-L) mod C
稍微变形一下就可以看出，t==a-b(mod C)这个模线性方程一定有解
所以无论a、b的起始位置如何，二者总是会相遇的。

这种方法之所以能够判断链表中是否有环，是要使快、慢指针在环里转圈的时候总会碰面。
所以快慢指针的步长选择很重要，起始位置倒是无关紧要的事情。

现实生活中固然是这样。但这个例子是个离散模型，所以不能这么想当然。

比方说：假设链表是由4个结点首尾相接构成的一个圆圈（编号为0~3）
慢指针初始位置在0，每次前进1步；
快指针初始位置在3，每次前进3步；
虽然这两个指针也是一快一慢一前一后，但它们永远也不会相遇！

说到底就是要保证模线性方程有解，所以前面也说了“快慢指针的步长选择很重要”。
楼主的代码里慢指针每次前进1步、快指针每次前进2步，这样是肯定能够相遇的。

From: http://minidx.com/home/?action-viewthread-tid-175

知道用步长法判断单链表是否有环，但一直不知道为什么可以这样，下班无事，尝试证明一下：　　　假设带环单链表Ｌ如下：
　　　1(h) -> 2 -> 3 -> 4(s) -> 5 -> 6 -> 7 -> 8-> ... -> m ->... -> n-2 -> n-1 -> n(e)- >4

          　证明：
            单链表可分为两种，要么有循环，要么循环：）无循环的单链表，使用步长法时快指针因为比慢指针每次多走一步，所以它总是先走到终点退出，不可能相遇。所以单链表使用步长法如果相遇了，则肯定表明链表有循环。
            下面来证明对于循环单链表，步长法是可能相遇的
             令x=dist(h, s)，表示链表头h到循环起点s的距离, 可知x>=0
　　　 y=dist(s,e)，表示链表循环部分的长度, 可知y>=1
             z=dist(s,m)，表示起点s到相遇点m的距离,可知1<=z<=y
              z表示使用步长法时，快慢指针ps, pf相遇的位置．z必定位于s和e之间．
　　　如果步长法是正确的，ps, pf相遇于m,　现在需证明m是存在的。
            此时必有：
            ps走的距离：(x + z) + ky (k>=0)
            pf走的距离：2(x+z) + 2ky
           因为ps,pf相遇，所以有：
           2(x+z)+2ky - ((x+z)+ky) = my (m>=1)
          即需证明存在这样的z, m, k ,满足: x+z = (m-k)y (m-k >=1)
         z = (m-k)y - x , (x>=0, y>=1, 1<=z<=y)
        可见，有多组m, k，使得上式满足，我们可以得到这样的z.