关于快慢指针求解有环链表环起点位置算法的严谨证明

从链表起点位置设立快,慢指针。快指针每次移动两个单位,慢指针每次移动一个单位。例如,第一次移动后,快指针位于链表第三个节点,慢指针位于链表第二个节点。若快慢指针能够相遇则证明链表有环。

如何求环起点位置?

假设以下情况:

  • 设从链表头到环的起点的长度为 A。
  • 设从环的起点到快慢指针相遇的位置的长度为 B。
  • 设从快慢指针相遇的位置继续到环的起点的长度为 C。

当快慢指针相遇时:

  • 慢指针走过的距离是:A + B。
  • 快指针走过的距离是:A + B + n(B + C)(其中,n 是快指针在环内绕的圈数)。

疑问1:为什么慢指针走过距离与n无关?

答:慢指针不可能走过超过环的一圈。

证明:

  1. 首次进入环时:当慢指针首次进入环时,快指针已经在环内。考虑最极端的情况,即快指针就在慢指针的后面一个节点,这样当慢指针进入环时,快指针与慢指针的距离是环长度的最大值,即环的长度。

  2. 快指针追赶慢指针:由于快指针每次移动两个节点而慢指针每次移动一个节点,快指针每次循环都会向慢指针靠近一个节点。因此,在慢指针走完环的长度之前,快指针一定会追上慢指针。

  3. 最大距离情况:即使在最不利的情况下,也就是慢指针进入环后快指针正好在其后面一个节点,快指针也只需要走完整个环的长度才能追上慢指针。在这种情况下,慢指针不可能在环内绕超过一圈。

因此,慢指针在被快指针追上之前,不会在环内绕超过一圈。

继续,因为快指针的速度是慢指针的两倍,所以:

2(A + B) = A + B + n(B + C)

根据上述等式,我们可以得到:

A = (n-1)(B + C) + C

这意味着从链表的头部到环的起点的距离 A,等于从快慢指针相遇的位置到环的起点的距离 C 加上环内绕的 n-1 圈。

疑问2:A和C的式子不是有(n-1)吗?为什么可以得出A=C?

答:n的值最大为1,也就是说快指针最多只会比慢指针多绕一圈

证明:

  1. 最不利的情况:当慢指针刚进入环时,快指针恰好在其前一个位置。这时,快指针需要绕整个环一圈才能追上慢指针。在这种情况下,快指针绕了额外的一圈。

  2. 最有利的情况:当慢指针刚进入环时,快指针恰好在其后一个位置。这时,快指针很快就能追上慢指针,它们之间的距离会很小,快指针不需要多绕任何圈数。

对于其他情况,快指针都会在绕一圈以内的时间里追上慢指针。

因此,无论环的大小如何,快指针最多只会比慢指针多绕一圈。

因此,当快慢指针相遇后,如果我们重新将快指针置于链表头部,并以与慢指针相同的速度(每次前进一格)移动两个指针,那么它们将在环的起点处再次相遇。这是因为,当慢指针移动距离 C 到达环的起点时,从链表头部移动的快指针也正好移动了距离 A,即 C 的长度,从而在环的起点相遇。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值