题目
Description
Given a linked list, return the node where the cycle begins.
If there is no cycle, return null.
Example
Given -21->10->4->5, tail connects to node index 1，return 10
Challenge
Follow up:
Can you solve it without using extra space?
分析
问题分解
basic problem
单链表中确定有无环
暴力方法是使用hash表统计节点的出现次数，O(n)的space。不过一般是希望以O(1)的space解决：
- 设置一个快指针fast和一个慢指针slow，它们同时从链表头开始往后遍历，快指针每次移动两个位置，慢指针每次移动一个位置
- 如果在快指针访问到null（即无环）之前，快指针和慢指针相遇，就说明有环
follow up
确定环入口入口的位置
和basic problem一样，可以用hash表解决。而follow up的目的仍然是希望O(1)的space解决：
- 重复上述判定有环无环的过程
- 用一个新指针指向head，与slow指针同时一次移动一个位置
- 当head与slow相遇时，指针所指的节点即入口节点
证明
相遇一定有环
反证法：
如果无环，则fast一定比slow先到达null，不会相遇。因此，如果fast与slow相遇，则一定有环。
得证。
第一次相遇一定发生在slow第一次入环的过程中
该结论是下一步推导的前提。
设链表头节点为head，环入口节点为entrance，head到entrance共有n个节点，环上共有m个节点。显然，fast和slow相遇的节点一定在环中，设从entrance到这个节点共k个节点。
PS：代码实现时，需要关注m、n、k等计算时是否包含head、entrance等，但证明时无需关心，仅仅是加减一个常数项的事情。
fast的速度是slow的两倍。则，fast第一次到entrance时，slow到达链表中部节点mid，设head到mid共有s个节点，则此时，slow走了s个节点，fast走了2s个节点。我们让slow再走s个节点，fast再走2s个节点，分情况讨论：
如果entrance等于head
此情况下环最长。经过s个节点，slow恰好第一次到达entrance；经过2s个节点，fast恰好第二次到达entrance。在此过程中，slow有且仅有一次从mid走到entrance，fast有且仅有一次从head经过mid走到entrance，从而，fast与slow必然有且仅有一次在mid于entrance之间相遇，这是二者第一次相遇。由于相遇点一定在环中，因此第一次相遇一定发生在slow第一次入环的过程中。
如果entrance不等于head
此情况下，环均比第一种情况短。重复上述过程，slow仍然有且仅有一次从mid走到entrance，但fast却由于环的缩短，可能不止一次与slow相遇并走到entrance。我们只关注第一次相遇，显然，第一次相遇仍然发生在slow第一次入环的过程中。
得证。
如何寻找入口节点
我们现在知道，“第一次相遇一定发生在slow第一次入环的过程中”，那么此时slow共走了n+k个节点，fast共移动了n+k + x*m个节点。fast速度是slow的2倍，则有2*(n+k) = n+k + x*m，其中x表示fast已经在环中走的圈数。由此可得，n+k = x*m，从而n = (x-1)*m + m-k(x>=1, m>=k)。
在有环链表中，我们只能基于移动和相遇进行判断。basic problem中，我们希望通过相遇判断是否有环，follow up中，可以试着用相遇找到entrance节点。
观察式n = (x-1)*m + m-k：
-
n为head到entrance的节点数 -
m为环的长度 -
m-k为从fast、slow的相遇点到entrance的节点数
如果让slow继续走m-k个节点，此时slow将恰好位于entrance；再循环y = x-1圈，仍然处于entrance。增加一个新的指针p = head，则可以这样理解上式：使p和slow同时开始移动（slow从刚才的相遇点开始），都一次移动一个位置，则当p第一次经过n个节点走到entrance时，slow恰好先经过了m-k个节点，再走了整y圈回到entrance。
此时，p与slow相遇，相遇点即为entrance。
代码
/**
* Definition for ListNode.
* public class ListNode {
* int val;
* ListNode next;
* ListNode(int val) {
* this.val = val;
* this.next = null;
* }
* }
*/
public class Solution {
/**
* @param head: The first node of linked list.
* @return: The node where the cycle begins.
* if there is no cycle, return null
*/
public ListNode detectCycle(ListNode head) {
// write your code here
if (head == null) {
return null;
}
ListNode slow = head;
ListNode fast = head;
while (fast != null && fast.next != null) {
slow = slow.next;
fast = fast.next.next;
if (slow == fast) {
break;
}
}
if (fast == null || fast.next == null) {
return null;
}
ListNode p = head;
while (p != slow) {
p = p.next;
slow = slow.next;
}
return p;
}
}
本文链接：【刷题】Linked List Cycle II
作者：猴子007
出处：https://monkeysayhi.github.io
本文基于 知识共享署名-相同方式共享 4.0 国际许可协议发布，欢迎转载，演绎或用于商业目的，但是必须保留本文的署名及链接。
