LeeCode 142. 环形链表II （快慢双指针+数学运算 巧妙）

LeeCode 142. 环形链表II

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

如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，评测系统内部使用整数 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
解释：链表中没有环。

仍然使用双指针法，一个快指针fast一个慢指针slow快指针每次走两步，慢指针每次走一步，链表中有环所以，两个指针一定会在链表的环中的某一个节点相遇，相遇之后让另外的一个指针从链表的头结点开始和慢指针同时向前走，这两个指针相遇的地方就是链表中环的入口。

这里涉及到一个数学的运算：

假设这里链表的头到链表中环的入口的长度为x，慢指针又在环中走了y步（也就是在离换入口的y处和快指针相遇），这时快指针fast走过的距离就是x+y+n(y+z)，n代表fast在环中走了几圈与slow相遇。
因为fast每次走的是slow的两倍，所以（x+y)*2 = x+y+n(y+z)
最后得出：x=(n - 1)(y + z)+z，如果n为1则说明x = z,n为2时，x = y+2z,（y+2z代表slow在走一圈+z的距离和n=1类似）如果第三个指针和慢指针同时开始走，最后一定会在环的入口处相遇。

Java代码：

/**
 * 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) return null;
        ListNode fast = head,slow = head,pre = head;
        // 开始循环，快慢指针开始向前走，知道相遇后结束循环
        while(true){
            if(fast == null || fast.next == null) return null;
            fast = fast.next.next;
            slow = slow.next;
            if(fast == slow) break;
        }
        // 开始第三个指针的遍历
        while(pre != slow){
            pre = pre.next;
            slow = slow.next;
        }
        return pre;
    }
}