【LeetCode】链表环路问题

141. 环形链表

142. 环形链表 II

141.如果链表中存在环，则返回 true 。 否则，返回 false 。

注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。

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

输入：head = [1], pos = -1
输出：false
解释：链表中没有环。

解法一快慢指针

​ 我们定义两个指针，一快一满。慢指针每次只移动一步，而快指针每次移动两步。初始时，慢指针在位置 head，快指针也在位置 head。这样一来，如果在移动的过程中，快指针反过来追上慢指针，就说明该链表为环形链表。否则快指针将到达链表尾部，该链表不为环形链表。

public class Solution {
    public boolean hasCycle(ListNode head) {
        if(head==null||head.next==null)
            return false;
        ListNode nodeA=head;
        ListNode nodeB=head;
        while(true){
            if(nodeB==null||nodeB.next==null)
                return false;
            nodeA=nodeA.next;
            nodeB=nodeB.next.next;
            if(nodeB==nodeA)
                break;
        }
        return true;
    }
}

复杂度分析

时间复杂度：O(N)，其中 N 是链表中的节点数。

当链表中不存在环时，快指针将先于慢指针到达链表尾部，链表中每个节点至多被访问两次。

当链表中存在环时，每一轮移动后，快慢指针的距离将减小一。而初始距离为环的长度，因此至多移动 N 轮。

空间复杂度：O(1)。我们只使用了两个指针的额外空间。

142.给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 null。

注意，pos 仅仅是用于标识环的情况，并不会作为参数传递到函数中。

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

输入：head = [1], pos = -1
输出：返回 null
解释：链表中没有环。

解法一快慢指针

我们使用两个指针，nodeA与 nodeB。它们起始都位于链表的头部。随后，nodeA 指针每次向后移动一个位置，而nodeB指针向后移动两个位置。如果链表中存在环，则nodeA指针最终将再次与 nodeB指针在环中相遇。

如下图所示，设链表中环外部分的长度为 a。nodeA指针进入环后，又走了 bb的距离与nodeB 相遇。此时，假设nodeB指针已经走完了环的 n圈，因此它走过的总距离为 a+n(b+c)+b=a+(n+1)b+nc。

根据题意，任意时刻，nodeB 指针走过的距离都为nodeB 指针的 2 倍。因此，我们有

a+(n+1)b+nc=2(a+b) ⟹a=c+(n−1)(b+c)

有了 a=c+(n-1)(b+c)的等量关系，我们会发现：从相遇点到入环点的距离加上 n−1 圈的环长，恰好等于从链表头部到入环点的距离。

因此，当发现 nodeA与nodeB 相遇时，我们再额外使用一个指针 nodeC。起始，它指向链表头部；随后，它和 nodeA 每次向后移动一个位置。最终，它们会在入环点相遇。

public class Solution {
    public ListNode detectCycle(ListNode head) {
        if(head==null||head.next==null)
            return null;
        ListNode nodeA=head;
        ListNode nodeB=head;
        while(true){
            if(nodeB==null||nodeB.next==null)
                return null;
            nodeA=nodeA.next;
            nodeB=nodeB.next.next;
            if(nodeA==nodeB)
                break;
        }
        ListNode nodeC=head;
        while(nodeC!=nodeA){
            nodeA=nodeA.next;
            nodeC=nodeC.next;
        }
        return nodeA;
    }
}

复杂度分析

时间复杂度：O(N)，其中 N 为链表中节点的数目。在最初判断快慢指针是否相遇时，nodeA 指针走过的距离不会超过链表的总长度；随后寻找入环点时，走过的距离也不会超过链表的总长度。因此，总的执行时间为 O(N)+O(N)=O(N)

空间复杂度：O(1)。我们只使用了nodeA，nodeB，nodeC三个指针。