(刷题记录3)环形链表与证明

题目信息：

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

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

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

题目参考：
力扣：141. 环形链表

题目思路(环境来自力扣OJ的C语言)：

1.使用快慢指针，fast 走两步，slow 走一步。

2.当 fast 和 slow 相遇时说明有环。

3.当 fast、fast->next 有一个为空则退出循环。

复杂度：

时间复杂度：O(n)
空间复杂度：O(1)

代码和解释：

1.使用快慢指针，fast 走两步，slow 走一步。

        slow = slow->next;
        fast = fast->next->next;

2.当 fast 和 slow 相遇时说明有环。

        if (slow == fast)
            return true;

3.当 fast、fast->next 有一个为空则退出循环。

    while (fast && fast->next)
    {
		// ...
    }

注意：fast 和 fast->next 位置不可以交换。若交换，当链表无环时，fast 指向 NULL，fast->next 会出现访问空指针报错问题。

完整代码：

bool hasCycle(struct ListNode *head) {
    struct ListNode* slow = head;
    struct ListNode* fast = head;
    while (fast && fast->next)		// 3.当 fast、fast->next 有一个为空则退出循环
    {
        slow = slow->next;			// 1.使用快慢指针，fast 走两步，slow 走一步
        fast = fast->next->next;

        if (slow == fast)			// 2.当 fast 和 slow 相遇时说明有环。
            return true;
    }
    return false;					// 退出循环说明无环
}

延伸与证明

当 slow 走一步不变，fast 每次走三步时，两者在环形链表中是否还能相遇？

fast 每次走三步

这里当 N % 2 为 1 并且 (C - 1) % 2 为 1 时，就不会相遇。但是 N 为奇数，(C - 1) 为奇数也就是 C 为偶数是不会出现的，如下：