LeetCode-142. Linked List Cycle II

LeetCode-142. Linked List Cycle II

Given a linked list, return the node where the cycle begins. If there is no cycle, return null.

Note: Do not modify the linked list.

Follow up:
Can you solve it without using extra space?

解题分析：

此题是LeetCode-141题的进一步扩展，在上题中用快慢指针求出来链表中存在环之后，要求返回环的起点。本题的解法与上一题相同，首先设置快慢指针验证存在环，当环存在的情况下，我们这是将快指针指向头指针head，让慢指针不变，让快慢指针同时走一步，直到快慢指针再次相遇，则此时的点即为环的起点，证明如下：

                                              

我们设快慢指针首次相遇在c点，让快指针指向头指针head，让慢指针不变，让快慢指针同时走一步，直到快慢指针再次相遇，则此时的点即为环的起点，这一证明实际上是要证明c到d的距离cd为什么等于h到d的距离hd。证明如下：

我们设链表的整个长度为L，链表头head为h，假设快指针fast和慢指针slow按照箭头所示的方向走。其中环入口点为d，h到d的距离hd为a。fast和slow初次相遇在c，初次相遇的时候慢指针slow肯定没有走完整个链表。设d到c的距离dc为x，h到c的距离即为slow初次相遇所走的路程，即设hc长度为s。此外设环的长度为r,在快慢指针初次相遇在c点的时候，fast则在环内已经走了n圈。由于fast的速度是slow的2倍，接下来我们可以得出：

                                                                      2s = s + nr 可推导出  s = nr  (1)

又因为hd距离为a，dc距离为x，hc距离为s，所以可以得出：a + x = s   (2)

结合(1)和(2)可以得出a + x = nr   ->    a + x = (n-1)r + r   ->    a + x = (n-1)r + (L-a)        注释：L-a即为环长r

即：                                                               a = (n-1)r + (L-a-x)

即此时h到d的距离a等于c到d的距离(L-a-x)+（n-1)r，因为让快指针回到起点，再让快慢指针一起走，能够在入口相遇。

class Solution
{
public:
	ListNode *detectCycle(ListNode *head)
	{
		if (head == NULL) return NULL;
		for (ListNode *fast = head, *slow = head; fast->next != NULL && fast->next->next != NULL;)
		{
			fast = fast->next->next;
			slow = slow->next;
			if (fast == slow)
			{
				fast = head;
				while (fast != slow)
				{
					fast = fast->next;
					slow = slow->next;
				}
				return slow;
			}	
		}
		return NULL;
	}
};