LeetCode第142题

题目详述

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

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

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

解法一

使用set集合。时间复杂度：O(n),空间复杂度：O(n)

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

解法二

使用快慢指针。时间复杂度：O(n),空间复杂度O(1)

解释：
假设环外节点个数为a，环内节点个数为b，f为快指针一次走两步，s为慢指针一次走一步
当快慢指针相遇时，设慢指针走过的节点个数是slow，快指针走过的节点个数是fast，可知 fast = 2 * slow 且 fast = slow + n * b(n是快指针跑完的环的次数，为整数)。由以上两式得：slow= n * b且 fast = 2 * n * b。
若想要走到环入口处，则需要走(a + n * b)步.
此时再让 f 指针指向head，当 f 指针走 a步后，s 指针就走了(a + n * b)步，此时恰好等于走到环入口处需要走的步数。

证明：
将环内距离分成两份：x 和 y。分割点是快慢指针相遇点。
由上可得：2 * 慢指针走过的距离 = 快指针走过的距离 即：
2 * (a + x) = a + x + y + x
可得： a = y

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