算法修炼之路——【链表】leetcode141 环检测

题目描述

给定一个链表，判断链表中是否有环。

为了表示给定链表中的环，我们使用整数pos来表示链表尾连接到链表中的位置(索引从0开始)。如果pos是-1,则在该链表中没有环。

示例1：

输入： head=[3, 2, 0, -4], pos = 1
输出： true
解释： 链表中有一个环，其尾部连接到第二个节点。

示例2：

输入： head=[1，2], pos = 0
输出： true
解释： 链表中有一个环，其尾部连接到第二个节点。

解题思路

对于是否存在环，我们首先想到了遍历，但是遍历的同时需要记录，以检测是否存在重复节点，则有：

我们需要一个移动指针遍历链表，并使用一个辅助容器对遍历过的节点做记录，当检测到存在重复节点时，则证明存在环，返回True；否则返回False.

步骤罗列

1. 创建一个辅助容器，这里常使用HashSet；
2. 指针遍历的同时记录节点；
3. 当检测到重复节点时返回True，否则返回false。

解题代码1

    public static boolean solutionWithCon(ListNode head){
        // pre-check head not NULL or single node
        if(head == null || head.next == null) return false;
        //1. create assitant data-structure
        Set<ListNode> set = new HashSet<>();
        
        ListNode pointer = head;
        
        // 2. record checked nodes
        while(pointer != null){
            // 3. find the repetitive node
            if(set.contains(pointer)) return true;
            
            set.add(pointer);
            pointer = pointer.next;
        }
        
        return false;
    }

复杂度分析

时间复杂度： 这里我们对数据进行了一次遍历，故时间复杂度为o(N);
空间复杂度： 这里我们设置了辅助容器set，空间复杂度为O(k + 1),这里的k为链表中非环节点的个数.（当不存在环时，空间复杂度为O(1)）

进阶

我们可以分析solutionWithCon解法的时间复杂度为O(n), 空间复杂度为O(n),能否改进为空间复杂度为O(1)？？

解题思路

我们可以不通过辅助容器来实现环检测的目的，因为辅助容器会占用额外内存。双指针方法：一个慢指针，一个快指针，慢指针每次移动一个节点，快指针每次两个。若链表中存在环，则两个指针总会在某一时刻相遇。

步骤罗列

1. 创建两个指针，分别命名为slowP,fastP;
2. 遍历链表过程中，slowP每次移动一个节点，fastP移动两个;
3. 当slowP等于fastP时，返回true；否则返回fasle.

解题代码2

    public static boolean solutionWithTwoP(ListNode head){
        // pre-check head not NULL or single node
        if(head == null || head.next == null) return false;
        //1. create two pointers,slowP and fastP.
        ListNode slowP = head;
        ListNode fastP = head;
        
        // 2. go-through linkedlist
        while(fastP != null && fastP.next != null){
            slowP = slowP.next;
            fastP = fastP.next.next;
            
            // 3. check two pointer
            if(slowP == fastP) return true;            
            
        }
        
        return false;
    }

复杂度分析

时间复杂度： 我们对数据进行了不到两次的遍历，故时间复杂度为O(N);
空间复杂度： 没有设置辅助容器，故空间复杂度恒为O(1).

GitHub代码

更完整的运行文件请参考GitHub。

更新记录：
200331：总结了解题过程，分享了源码；
200420：复盘，增加了复杂度分析；