LeetCode-141. 环形链表（C语言）

---

一、题目描述

给你一个链表的头节点 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, 10^4]
• -105 <= Node.val <= 105
• pos 为 -1 或者链表中的一个 有效索引 。

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

三、思路

本题判断链表是否为环形链表，可以想到使用快慢指针法。具体步骤如下：

分别定义 fast 和 slow 指针，从头结点出发，fast指针每次移动两个节点，slow指针每次移动一个节点，如果 fast 和 slow指针在途中相遇 ，则说明这个链表有环。

---

到这里有的同学可能会有疑问： 为什么fast走两个节点，slow走一个节点，有环的话，两指针就一定会在环内相遇呢，而不是永远的错开呢？

好问题： 首先我们可以确定的是如果两指针相遇的话，那么一定是在环中相遇。我们可以画一个环，然后让fast指针在任意一个节点开始追赶slow指针。

会发现最终都会出现这种情况， 如下图：

fast和slow各自再走一步， fast和slow就相遇了！

其实这是因为fast是走两步，slow是走一步，其实相对于slow来说，fast是一个节点一个节点的靠近slow的，所以fast一定可以和slow重合。

四、代码

bool hasCycle(struct ListNode *head) {
    struct ListNode* fast = head; // 快指针
    struct ListNode* slow = head; // 慢指针
 // 注意：这里要判断当前节点与当前节点下一节点同时不为NULL（否则会对NULL进行next的错误操作）
    while (fast && fast->next) {
      fast = fast->next->next; // 走两步
      slow = slow->next; // 走一步
      if (fast == slow)
      // 相遇则返回true
      return true;
    }
    return false;
}

复杂度分析

时间复杂度： O(n)