每日一练：环形链表

一、题目要求

给你一个链表的头节点 head ，判断链表中是否有环。

如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，评测系统内部使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。注意：pos 不作为参数进行传递 。仅仅是为了标识链表的实际情况。

如果链表中存在环 ，则返回 true 。 否则，返回 false 。

示例 1：

输入：head = [3,2,0,-4], pos = 1
输出：true
解释：链表中有一个环，其尾部连接到第二个节点。

示例 2：

输入：head = [1,2], pos = 0
输出：true
解释：链表中有一个环，其尾部连接到第一个节点。

示例 3：

输入：head = [1], pos = -1
输出：false
解释：链表中没有环。

提示：

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

进阶：你能用 O(1)（即，常量）内存解决此问题吗？

以上内容来自LeetCode

二、解法1-快慢指针 O(N) 进阶

        使用两个指针，一个慢指针每次走一步，一个快指针一次走两步，如果有环它们必然会相遇，证明：

        假设链表中的环的节点个数是C，头节点到链表有x个节点；

        设相遇时距离入口m个节点，fast多转了n圈；

        slow走的路程 = x+m；

        fast走的路程 = x+nC+m；

        因为fast的速度是slow的两倍，所以有：

        x+nC+m = 2(x+m);

        化简得：(n-1)C+(C-m) = x；

        因为 x的取值范围是[0,+∞)，而(n-1)C+(C-m)一定是不小于0的整数，则必然存在一个合理的x让等式成立，反证得快慢指针必然相遇。

class Solution {
public:
    bool hasCycle(ListNode* head) {
        ListNode* slow = head;
        ListNode* fast = head;
        while (fast) {
            fast = fast->next;
            if (fast)
                fast = fast->next;
            else
                return false;
            slow = slow->next;
            if (fast == slow)
                return true;
        }
        return false;
    }
};