判断单链表中是否有环，找到环的入口节点

最新推荐文章于 2022-11-11 21:08:27 发布

varyall

最新推荐文章于 2022-11-11 21:08:27 发布

阅读量527

点赞数 2

分类专栏： singleList

singleList 专栏收录该内容

5 篇文章

订阅专栏

- 判断单链表中是否有环找到环的入口节点
  - 相对简洁的实现
    - 代码及问题三的证明
    - 复杂度

判断单链表中是否有环，找到环的入口节点

声明

文章可以随意转载，但请注明出处。
文中有一些地方引用了其他文章，但都已标明出处。如有侵犯，可立即删除。
文中有些地方并无冒犯之意，希望提及的博客作者理解。没有你们的帮助，对这个问题毫无头绪。
由于优快云博客系统的内部错误，所有的公式后面都有一条恼人的竖线，实属无奈。
欢迎评论。

文章梗概

本文通过对现有资料的收集和整理，给出了一种相对简单的严格证明的“判断单链表是否有环，找到环的入口节点”的方法。

题目描述

一个链表中包含环，请找出该链表的环的入口结点（牛客网题目链接），题目中没有说是单链表，从给出的代码中可以看出是单链表而且不可修改链表元素的定义。

思考过程

从两个大的角度思考这个问题

1.记录遇到的每一个链表元素

在一次遍历过程中的，使用一种数据结构（数组、Hash表、基数树）记录遇到的每一个链表元素并判断是否已经遇到过，其中使用基数树可以获得 O(n) 的时间复杂度，但是可会有比较高的空间复杂度。

2.利用链表的性质

在题目的讨论页看到了比较有想法的一个答案冬至_的答案，正如其所言时间复杂度为O（n），两个指针，一个在前面，另一个紧邻着这个指针，在后面。两个指针同时向前移动，每移动一次，前面的指针的next指向NULL。也就是说：访问过的节点都断开，最后到达的那个节点一定是尾节点的下一个，也就是循环的第一个。这时候已经是第二次访问循环的第一节点了，第一次访问的时候我们已经让它指向了NULL，所以到这结束。这样做的话过题目是可以了，但是会破坏掉原来的链表，所以并不是一个特别完美的解决办法。如果可以在链表元素中加入一个记录“逻辑断开”的元素，也就是说在遍历的过程中，不真正的断开元素之间的连接，而是使用一个记录值，记录下“逻辑上的断开”。
另一个答案页上比较正统的回答为0909的回答，其主要思想和蒙恩的罪人的新浪博客大同小异，优雅简洁，后面主要针对蒙恩的罪人的新浪博客进行讨论。

相对简洁的实现

public class Solution {
   ListNode EntryNodeOfLoop(ListNode h){
        if(h == null || h.next == null)
            return null;
        ListNode slow = h;
        ListNode fast = h;
        while(fast != null && fast.next != null ){
            slow = slow.next;
            fast = fast.next.next;
            if(slow == fast){
                ListNode p=h;
                ListNode q=slow;//相当于让q指向了m1
                while(p != q){
                    p = p.next;
                    q = q.next;
                }
                if(p == q)
                    return q;
                }
        }
        return null;
}
 
 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

代码及问题三的证明

我们把该链表抽象为这样一个模型，假设环长为 n 。

情景1
此处输入图片的描述
此图表示其实状态，其中 h 表示链表头节点, slow,fast ，起始状态指向 h ， t 表示环的入口节点。

情景2
此处输入图片的描述
此图表示 slow 运动到了 t ， fast 运动到 m1 ，节点 h 和节点 t 之间的距离为 a ，节点 t 和节点 m1 之间的距离(弧长)为 b ,并设此时 fast 在环上做了 r 次圆周运动(因为 a 和 n 的长度都不固定，多以 fast 可能已经在环上运动了好多圈了)。相对于 slow 其运动的距离为： a 由于 fast 速度是 slow 的二倍，所以其运动的距离(步数)为: 2a
并且，经过观察可知 fast 运动的距离为： a+nr+b ,所以可知公式①：

a = n r + b

情景3.
此处输入图片的描述
此时， slow,fast 相遇在节点 m2 ，也就是代码中 10 行判断成立的地方。其中 m2 为相遇点， b 还是为弧长。由于链表的指针是有方向的，我们约定在环上计算距离的时候按照逆时针计算，也就是说，从 t 到 m1 的距离为 b ，从 m1 到 t 的距离为 n−b （其中 n 为环的长度)。
同理在情况2中，从 fast 到 slow 的距离为 n−b ，它们的速度差为 1 ，所以它们再次相遇的时候经过的时间为 n−b1=n−b , slow 经过的距离为 (n−b)×1=n−b ，所以假设相遇点为 m2 ，那么显而 m2 到 t 的距离为 b 。

情景4.
此处输入图片的描述
情况4对应着代码中的 11 ~ 19 行。因为通过上面的讨论，如果能让 q 向前运动： b+xn 步，那么 q 的位置恰好是 t ，其中 x∈{0,1,2,3,⋅⋅⋅} 。
值得高兴的是，在情况2中我们有公式①，观察到 a 恰好符合这样一个步数值，所以我们让 p=h ， p,q ，都每次向前移动 1 ，当他们相遇的时候恰好就是环的入点 t ，也就是说 p 从 h 移动到 p，q 再次相遇在这里的作用是提供一个计数。
所以，当 p ， q 再次相遇的时候，他们的相遇点恰好了 t ，也就是需要找的环的入口点。