leetcode---环形链表（快慢指针证明）
问题描述
给定一个链表，判断链表中是否有环。如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。
如果链表中存在环，则返回 true 。 否则，返回 false 。请用O(1)的时间复杂度解决
示例 1【输入：head = [3,2,0,-4], pos = 1输出：true】 解释：链表中有一个环，其尾部连接到第二个节点。
示例 2：【输入：head = [1,2], pos = 0输出：true】 解释：链表中有一个环，其尾部连接到第一个节点。
示例 3：【输入：head = [1], pos = -1输出：false】 解释：链表中没有环。
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/linked-list-cycle
解题思路
快慢指针法。两个指针slow和fast，开始时两个均指向链表表头，快指针一次走两个节点，慢指针一次走两个节点。如果，fast == slow则证明有环，如果fast == NULL || fast->next == NULL,则证明没有环
问题1：为什么如果有环fast一定会等于slow？
证明：
根据题目可知，fast一定比slow提前进入环，假定当slow进入环时fast在环中的位置如图所示：
当fast和slow都进入环时，fast每次走两步slow每次走一步，slow每走一步fast离slow的距离就会缩短一个节点，直至它们的距离为0时定会相遇。
注意：当slow和fast任意一个在环外时，两个是不会相遇的，因此必须两个都在环内才能比较。
问题2：快指针一次走3个节点是否可以？四个呢？...N个呢？
不可以。无论是3个还是4个更或者是N个，slow每走一步fast相应的会走2,3，...N-1步，这样就可能导致fast每次都会和slow错开永远不会相遇。
代码描述
bool hasCycle(struct ListNode *head) {
struct ListNode* fast = head;
struct ListNode* slow = head;
//当fast为空或者fast->next为空时，链表无环
while(fast && fast->next)
{
fast = fast->next->next;
slow = slow->next;
if(slow == fast)
return true;
}
return false;
}