力扣＜每日一题＞ 142. 环形链表 II 中等

力扣<每日一题> 142. 环形链表 II 中等

题目

给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 null。
为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。注意，pos 仅仅是用于标识环的情况，并不会作为参数传递到函数中。
说明：不允许修改给定的链表。
进阶：你是否可以不用额外空间解决此题？

示例 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 或者链表中的一个有效索引。

题解

• 起点head到环起点的距离为a，设环的长度为b。
• 设快指针路长为Lf，慢指针路长为Ls。

1. 设置fast指针和slow指针，fast指针的速度是slow指针的两倍，两个指针同时从head出发，那么如果存在环的话，fast和slow必然会相遇，且此时Ls < a + b。
   证明：设慢指针在环中走过的路长为x，则 Ls = a + x，Lf = a + x + mb (m > 0)，因为fast指针的速度是slow指针的两倍，所以 Lf = 2Ls，即 2(a + x) = a + x + mb，故 mb = a + x。当m=1时，a + x < a + b。
   由上面推导可得，当快慢指针相遇时，a = mb - x。
2. 设指针ptr从head出发，slow从相遇点出发，当ptr走过路长a来到了环的起点，此时
   Ls = a + x + a，即 Ls = a + mb，当slow从相遇点再走路长a，则刚好相当于从起点出发到环起始点绕环m圈。
3. slow与ptr都走了路长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) {
        if(head == null || head.next == null) return null;
        ListNode slow = head;
        ListNode fast = head;
        while(fast != null && fast.next != null){
            slow = slow.next;
            fast = fast.next.next;
            if(fast == slow){
                ListNode ptr = head;
                while(ptr != slow){
                    slow = slow.next;
                    ptr = ptr.next;
                }
                return ptr;
            }
        }
        return null;
    }
}