LeetCode142环形链表

142 环形链表

有点难，想了好久最后还是看了答案

给定一个链表的头节点 head ，返回链表开始入环的第一个节点。 如果链表无环，则返回 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 解释：链表中没有环。

提示：

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

---

思路

1. 判断是否有环
2. fast每次走2 ，slow每次走1，同时从head出发
3. 相遇时记录该相遇点，如果不相遇则无环存在，直接返回
4. 将fast重新放在head位置，slow还在相遇点，同时开始每次都走1
5. 再次相遇的点即为环形链表开始点

证明如下：

因为fast指针是一步走两个节点，slow指针一步走一个节点， 所以 fast指针走过的节点数 = slow指针走过的节点数 * 2：

(x + y) * 2 = x + y + n (y + z)

两边消掉一个（x+y）: x + y = n (y + z)

因为要找环形的入口，那么要求的是x，因为x表示 头结点到 环形入口节点的的距离。

所以要求x ，将x单独放在左面：x = n (y + z) - y ,

再从n(y+z)中提出一个 （y+z）来，整理公式之后为如下公式：x = (n - 1) (y + z) + z
注意这里n一定是大于等于1的，因为 fast指针至少要多走一圈才能相遇slow指针。

这个公式说明什么呢？

先拿n为1的情况来举例，意味着fast指针在环形里转了一圈之后，就遇到了 slow指针了。

当 n为1的时候，公式就化解为 x = z，

这就意味着，从头结点出发一个指针，从相遇节点 也出发一个指针，这两个指针每次只走一个节点， 那么当这两个指针相遇的时候就是 环形入口的节点。

/**
 * 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) {
        ListNode fast = head;
        ListNode slow = head;
        
        //第一次相遇
        //也判断是否有环，如果没有环直接退出
        //fast每次走两位，slow每次走一位
        //如果有环，两者一定会相遇，记录相遇点
        while (true){
            if(fast ==null || fast.next == null) return null;
            fast = fast.next.next;
            slow = slow.next;
           
            if(fast == slow) break;
        }
		
		//第二次相遇
		//把fast移到head，fast和slow同时且同速开始走
		//当两者相遇是即为环形链表出口
        fast = head;
        //while (true) 是一个无限循环语句,它会一直执行循环体内的代码,直到遇到 break 语句或者其他能够终止循环的条件。
        while (slow != fast) {
            slow = slow.next;
            fast = fast.next;
        }
        return fast;
    }
}