求单链表是否存在环路

 

转自: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


知道用步长法判断单链表是否有环 ,但一直不知道为什么可以这样,下班无事,尝试证明一下:   假设带环单链表L如下:
   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. 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值