每日一练-LeeCode-环形链表II

题目

给定一个链表的头节点 head ，返回链表开始入环的第一个节点。 如果链表无环，则返回 null。
如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，评测系统内部使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。如果 pos 是 -1，则在该链表中没有环。注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。
不允许修改 链表。

（图片来源均来自LeeCode）
示例 1：

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

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

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

提示：

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

解题

编程语言为GO

方法一：

hash表，使用一个hash表记录每个节点和对应的位置，当匹配到hash表的数据时证明链表有环并返回hash表对应的节点
时间复杂度： O(n)

func detectCycle(head *ListNode) *ListNode {
    if head == nil {
        return nil
    }
	m := make(map[*ListNode]struct{})

	for head.Next != nil {
		if _, ok := m[head]; ok {
			return head
		}
		m[head] = struct{}{}
		head = head.Next
	}
	return nil
}

方法二：

双指针，这次不像之前只需要判断链表是否有环，还要判断出环的入口是在哪个节点。这就要运用到一些计算手段来算出入口的位置，我们设置两个指针，分别是一个slow指针每次只走一步，一个fast指针每次走两步。然后设链表中环外部分的长度为 a。slow指针进入环后，又走了 b 的距离与 fast 相遇。slow指针未走的部分为c。此时，fast 指针已经走完了环的 n 圈，因此它走过的总距离为 a+n(b+c)+b=a+(n+1)b+nc。任意时刻，fast 指针走过的距离都为 slow 指针的 2 倍，我们有a+(n+1)b+nc=2(a+b)⟹a=c+(n−1)(b+c)。
有了 a=c+(n−1)(b+c)的等量关系，我们会发现：从相遇点到入环点的距离加上 n−1圈的环长，恰好等于从链表头部到入环点的距离。

时间复杂度： O(n)

func detectCycle(head *ListNode) *ListNode {
    slow, fast := head, head
    for fast != nil {
        slow = slow.Next
        if fast.Next == nil {
            return nil
        }
        fast = fast.Next.Next
        if fast == slow {
            for head != slow {
                head = head.Next
                slow = slow.Next
            }
            return head
        }
    }
    return nil
}