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