leetcode刷题记录（C语言版）—— 141. 环形链表

1. 题目

141. 环形链表

        给你一个链表的头节点 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 或者链表中的一个 有效索引 。

2. 解题思路

       为了判断链表中是否有环，可以使用“快慢指针”技巧，也称为Floyd的循环查找算法。该算法使用两个指针，一个以单步前进（慢指针），另一个以两步前进（快指针）。如果链表中存在环，快指针最终会追上慢指针。

       在单链表中，每个节点都有一个指向下一节点的指针（next）。当想要检查链表中是否存在环时，一个简单的方法是跟踪每个节点的next指针，并检查是否回到了某个已经访问过的节点。然而，这种方法需要额外的存储空间来记录所有访问过的节点，这在链表非常长时可能不太实用。为了优化这个过程，使用了快慢指针技巧，其思路如下：

1. 初始化两个指针：创建两个指针，一个称为慢指针（slow），另一个称为快指针（fast）。慢指针每次移动一个节点，而快指针每次移动两个节点。

2. 移动指针：在循环中，同时移动两个指针。慢指针每次向前移动一个节点（slow = slow->next），而快指针每次向前移动两个节点（fast = fast->next->next）。

3. 检测相遇：如果在移动过程中，快指针追上了慢指针（即slow == fast），这意味着快指针在某个点绕回了，它已经从链表的另一端追上了慢指针。这种情况只有在链表中存在环时才会发生，因为如果链表没有环，快指针会先到达链表的末尾。

4. 结束条件：如果快指针到达了链表的末尾（即fast == NULL或fast->next == NULL），这意味着链表中没有环，因为快指针无法继续前进。

5. 返回结果：如果在循环中快慢指针相遇，函数返回true，表示链表中存在环。如果快指针到达链表末尾，函数返回false，表示链表中不存在环。

bool hasCycle(struct ListNode *head) {
    if (head == NULL || head->next == NULL) {
        return false; // 空链表或只有一个节点的链表没有环
    }

     struct ListNode *slow = head; // 慢指针
     struct ListNode *fast = head->next; // 快指针 

    while (fast != NULL && fast->next != NULL) {
        if (slow == fast) {
            return true; // 快慢指针相遇，存在环
        }
        slow = slow->next; // 慢指针前进一步
        fast = fast->next->next; // 快指针前进两步
    }

    return false; // 快指针到达链表末尾，没有环
}

   在算法中初始化快指针为

ListNode *fast = head->next;

也可以初始化为

ListNode *fast = head;

两者的初始化方式的逻辑：

1. ListNode *fast = head;：在这种情况下，快指针从链表的头节点开始，每次移动两步。慢指针从同一个头节点开始，每次移动一步。

2. ListNode *fast = head->next;：在这种情况下，快指针从链表的第二个节点开始，每次移动两步。慢指针从第一个节点开始，每次移动一步。

这两种方式都可以用来检测链表中是否存在环，原因如下：

• 当链表中不存在环时，无论快指针从head还是head->next开始，它最终都会到达链表的末尾（即NULL），因为快指针每次移动两步，而链表是非循环的。

• 当链表中存在环时，两个指针最终都会相遇在环内的某个点。这是因为快指针每次移动两步，而慢指针每次移动一步，所以快指针会逐渐追上慢指针。

   当初始化为ListNode *fast = head;快指针和慢指针同时从头部开始，快指针仍然会在慢指针之前到达环的入口（如果存在环）。这是因为快指针每次移动两步，所以当慢指针进入环的时候，快指针可能已经在环内移动了一圈或多圈，最终它们会在环内相遇。

      不过，初始化为ListNode *fast = head->next;有一个小优点：它确保了快指针和慢指针在开始时至少有一个节点之间的距离，这样即使链表的前两个节点形成了一个环（虽然这在物理上是不可能的，因为链表节点是连续存储的），算法也能正确地检测到环。