[菜鸟训练]142. 环形链表 II

题目描述：

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

为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。注意，pos 仅仅是用于标识环的情况，并不会作为参数传递到函数中。

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

进阶：
你是否可以使用 O(1) 空间解决此题？

示例 1：

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

示例 2：

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

示例 3：

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

提示：
链表中节点的数目范围在范围 [0, 10⁴] 内
-10⁵ <= Node.val <= 10⁵
pos 的值为 -1 或者链表中的一个有效索引

解题思路：

方法一：使用哈希表，因为第二次遇到的环上的第一个元素，一定是开始入环的第一个节点。
时间复杂度O(N)
空间复杂度O(N)

代码：

public class Solution {
    public ListNode detectCycle(ListNode head) {
        HashSet<ListNode> set = new HashSet<>();
        while(head != null){
            if(set.contains(head) == true){
                return head;
            }
            else{
                set.add(head);
                head = head.next;
            }
        }
        return null;
    }
}

方法二：快慢指针。 数学证明，快慢指针第一圈一定会相遇（假设他们第一圈一定会相遇，然后去验证是否成立，要始终记得快指针一定移动了两倍的慢指针的元素），快指针依旧是一次性移动2格，慢指针一次性移动1格。

slow = a + b
fast = a + b + c + b = a + 2*b + c
fast = 2 * slow

于是我们得到a=c，所以我们找到相遇点后，只需要将一个指针从链表的开头移动c个元素，即和slow移动相同的元素，就能得到元素x。

时间复杂度O(N)
空间复杂度O(1)

代码：

public class Solution {
    public ListNode detectCycle(ListNode head) {
        if( head == null){
            return null;
        }

        ListNode slow = head;
        ListNode fast = head;
        //fast为null则进入链表的尾部，不存在环
        while(fast != null){
            slow = slow.next;
            //fast.next为null则进入链表的尾部，不存在环
            if(fast.next  != null){
                fast = fast.next.next;
            }else{
                return null;
            }
            //数学公式证明，从起始走到环的第一个节点的距离等于慢指针走完剩余环的长度
            if(slow == fast){
                ListNode tmp = head;
                while(tmp != slow){
                    tmp = tmp.next;
                    slow = slow.next;
                }
                return tmp;
            }
        }
        return null;
    }
}