LeetCode. 142环形链表II

142. 环形链表II

题目

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

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

说明：不允许修改给定的链表。

示例 1：

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

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-LxQRkdSL-1595814335956)(https://i.loli.net/2020/06/20/dK59FZAnHMY17xj.png)]

示例 2：

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

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-3DdlpT9s-1595814335958)(https://i.loli.net/2020/06/20/x61ohiWCIazRgEP.png)]

示例 3：

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

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-LeATBzwk-1595814335960)(https://i.loli.net/2020/06/20/skpKwtJ932CRrXW.png)]

进阶：
你是否可以不用额外空间解决此题？

解决方案

方法一：哈希表

用一个哈希表来保存所有访问过的节点，遍历链表返回第一个出现的重复节点。

• 如果不存在环，遍历结束遇到null节点返回null；
• 如果存在环，判断遍历到的当前节点是否在set中出现过，如果出现过，返回当前节点，因为这肯定是第一个重复的节点。

/**
 * Definition for singly-linked list.
 * class ListNode {
 *     int val;
 *     ListNode next;
 *     ListNode(int x) {
 *         val = x;
 *         next = null;
 *     }
 * }
 */
public class Solution {
    public ListNode detectCycle(ListNode head) {
        Set<ListNode> set = new HashSet<>();

        while (head != null) {
            if (set.contains(head)) {
                return head;
            }
            set.add(head);
            head = head.next;
        }
        return null;
    }
}

• 时间复杂度：$O(n)$

• 空间复杂度：$O(n)$

方法二：双指针

设置快慢双指针均指向head，快指针每次走两步，慢指针每次走一步。

• 可知，当两指针第一次相遇时，快指针走的步数是慢指针的两倍，假设快指针走了 $f$ 步，慢指针走了 $s$ 步，则有 $f=2s$ 。
• 并且，假设链表从头(包括)到环的入口处(不包括)的节点数为 $a$，剩下环的长度为 $b$。则当快慢指针第一次相遇时，快指针比慢指针多走的应该是整数倍个环长度，即 $nb$，所以有 $f=s+nb$。
• 两式相减，有 $s=nb$，即快慢指针第一次相遇时，慢指针走了 $nb$，我们知道环的入口处的位置是 $k=a+nb$，所以只要慢指针再走 $a$ 步，就到了环的入口，所以我们可以让快指针指向head，这时的快指针每次走一步，两个指针一起走，走到相遇时，快指针正好走了 $a$ 步，且相遇在环的入口处。

/**
 * Definition for singly-linked list.
 * class ListNode {
 *     int val;
 *     ListNode next;
 *     ListNode(int x) {
 *         val = x;
 *         next = null;
 *     }
 * }
 */
public class Solution {
    public ListNode detectCycle(ListNode head) {
        ListNode fast = head, slow = head;
        while (true) {
            if (fast == null || fast.next == null) {
                return null;
            }
            fast = fast.next.next;
            slow = slow.next;
            if (fast == slow) {
                break;
            }
        }
        fast = head;
        while (fast != slow) {
            fast = fast.next;
            slow = slow.next;
        }
        return fast;
    }
}

• 时间复杂度：$O(n)$
• 空间复杂度：$O(1)$