单链表的相交以及有环无环问题（含数学证明）

最新推荐文章于 2024-08-28 23:06:54 发布

算法菜鸟飞高高

最新推荐文章于 2024-08-28 23:06:54 发布

阅读量623

点赞数 5

分类专栏：笔记数据结构文章标签：单链表链表

本文链接：https://blog.csdn.net/qq_43152622/article/details/105201367

版权

笔记同时被 2 个专栏收录

11 篇文章 0 订阅

订阅专栏

数据结构

6 篇文章 0 订阅

订阅专栏

单链表的有无环判断以及数学证明

简介：

单链表判断有环无环，在数据结构考研和在笔试面试题中都是链表问题的重难点。下面从拓扑关系，判断思路，数学证明，代码实现四个方面来阐述。

拓扑关系

在这里插入图片描述
单链表有环必定只有一个环，这是由单链表每个结点只有一个next指针来确定的。

上面的拓扑结构必然不可能给出现，因为结点3出现了两个next。

另外值得注意的是两个结点之间也可以形成一个封闭的环。

判断思路

如何才能用最低的时间复杂度和空间复杂度来找出环的入口呢？
使用一个快指针和一个慢指针，这个技巧适用于很多较难的链表题。
快指针和慢指针从头结点出发，慢指针一次走一步，快指针一次走两步。

快指针一次走两步，慢指针一次走一步
当没有环的时候，fast一定会抢先一步到达空指针，所以就可以判断无环。
在这里插入图片描述
当有环的时候，快指针一定会先入环，慢指针后入环，在某一次循环中，二者会相遇（后面可以证明在何处相遇）。

相遇之后fast指针回到头结点处，然后每次和slow指针一样，一次只走一步，fast指针和slow指针同时向下出发，一定会在入环结点处相遇。
WTF？为何会有如此神奇的结论？下面用一段简短的数学证明来解答大家的疑惑。

数学证明

在这里插入图片描述
我们假定环之前的长度为 L，环的长度为 R，结点内的数字表示的是结点的序号，并不是结点的数据值。

step1

当我们的slow指针向前走了 L 步，刚好到达入环结点的时候，slow处于序号为 L + 1的结点处。
此时的fast指针指向的序号位置是 L + 1 + (L % R),%表示的是取余。
我们可以思考一下，当slow指针和fast指针在环上某点位置相遇的时候，我们是不是可以确定 fast 一定比 slow多走了整数圈！！
理解上面这点很重要，这是下面要继续的关键，至此请读者理解了再继续看下去。

step2

目前的情况是slow也已入环，假设走了 k 步，slow和fast相遇。

slow此时的序号位置为 L + 1 + k % R
fast此时的序号位置为 L + 1 + ( (L %R) + 2k) % R

部分人看到上面的式子可能暗暗的骂了一句，这是个啥玩意啊？
不急，我们一步一步来。

L %R这个式子是可以化简的， L 可以看成 aR + c（a和c都为整数，a >= 0, c >= 0）,例如11 % 5时， 11可以看成 2 * 5 + 1，a = 2，c = 1； 1 % 5时，a = 0，c = 1；
好了，我们用上面这个化简方法来处理我们的已知条件。

fast 比 slow 多走了整数圈，那么fast一共比slow多走了多少步呢？
答案是 L + 2k - k （通过简单的思考就可以得到）。
所以（L +2k - k）% R = 0 => (L + k) % R = 0
上面的式子可以推出 L +k = aR,因为必然是R的整数倍嘛。

然后设 L = bR + c , k = dR + e;

step3

总结一下我们得到的条件：

slow此时的序号位置为 L + 1 + k % R
fast此时的序号位置为 L + 1 + ( (L %R) + 2k) % R
L +k = aR
L = bR + c
k = dR + e

首先 3, 4 ,5联立 L+k = (b +d)R + c +e = aR;
推出 c + e必然是R的整数倍。
现在要证明的问题是当fast与slow相遇时，我只需要把fast返回head结点，步长调整为1，那么fast和slow共同走L步必然在L +1的结点处相遇。
利用条件一已知，需要证明的式子是L + 1+ ( k % R + L) %R = L +1 => ( k % R + L) %R = 0
条件5得到 k %R = e
条件4得到 d + L = bR +c + e
又因为我们知道 c + e 同样为R的整数倍，所以可以推出
（K %R + L）%R = 0成立，所以我们需要证明的问题就解决了。