141/142. Linked List Cycle [1, 2] [Easy, Medium]

141:Linked List Cycle
142:Linked List Cycle II

使用快慢指针，无环的情况很容易，下面分析有环时的一些性质。

如下图所示，假设无环部分有x个节点，有环部分有y个节点。节点A是从前往后扫描刚进入环的第一个节点。

判断是否有环

慢指针slow，快指针fast初始时刻都指向head节点。slow一次走一步，fast一次走两步。

1. slow走x步第一次进入环指向A，此时fast一定在环内。
2. 有可能此时fast刚好也指向A，可以立马判断有环。
3. 若此时fast不指向A，那么fast落后slow 1 ~ (y-1)个身位。fast指向尾节点时落后1个身位，指向A的下一个节点时落后y-1个身位。
4. fast每次可以追上1个身位，所以fast第一次追上slow时，slow最多又继续走了y-1步，也就是slow不需要绕回A节点就能判断有环。
5. 所以时间复杂度为O(n)。

返回节点A

1. 假设fast第一次追上slow时两个指针相遇在环内的T节点。假设此时slow走了x+z步。
   那么有x+z=k*y。因为fast等于是从head开始走了x+z步到达T节点，然后又走了x+z步绕回了T节点。
2. 第一次相遇后重新让slow指向head，并且之后让slow和fast每次都只走1步。经过x步后slow到达A节点，可以证明此时fast也刚好在A节点。
   fast在T节点时相当于从A节点往后走了z步，现在又走x步，相当于从A节点往后走x+z步。在第一步中我们已经证明x+z=k*y，所以此时fast也刚好在A节点。