LeetCode环形链表

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

思路分析：

首先，环形链表就是链表的尾结点的 next 不再指向NULL，它可能指向链表的任意一个结点。

因为链表带环，所以for循环、while循环等等拍脑袋能想到的循环方式要么是停不下来，要么是找不到比较的结点。

所以这里可以试试使用快慢指针。

快慢指针，即慢指针一次走一步，快指针一次走两步，两个指针从链表的起始位置开始运行。

如果链表带环，那么快慢指针一定会在环中相遇；链表不带环，则快指针率先走到链表的末尾。

可以参考1000米体测被套圈，且对方向你打了个招呼……

参考代码：

typedef struct ListNode ListNode;
bool hasCycle(struct ListNode *head) {
    ListNode* slow = head;
    ListNode* fast = head;
    while(fast && fast->next)
    {
        slow = slow->next;
        fast = fast->next->next;

        if(slow == fast)
            return true;
    }
    return false;
}

快指针走两步一定可以追上吗？

 假设慢指针每次走1步，快指针每次走2步，此时的快指针肯定是先进入环，等到慢指针进入环，设此时 fast 和 slow 的距离是 N。

由图可知，两个指针每移动一次，它们之间的距离就缩小了一步，当距离减少到0时，fast 和 slow 重合。

快指针一次走3步，4步……可以吗?

假设慢指针每次走1步，快指针每次走3步，此时的快指针肯定是先进入环。

由图可知，两个指针每移动一次，它们之间的距离就缩小了两步，注意！N不一定减到0！

如果N是偶数，那么N可以减到0；

如果N是奇数，那么N会跳过0，即N = -1，也就是不打招呼的套圈。

所以只有快指针走2步，慢指针周1步才可以，即使套圈，两个指针也在相同的位置。

更加进阶的一题 142. 环形链表

接下来解决环的入口在哪？

假设：H为链表的起始点，E为环的入口，M为上一步说的相遇点。

假设：H到E的距离为L，E到M的距离为X，环的总长为R。

如图：

在前面判断是否有环的时候，两个指针直到相遇所走的长度是：

fast：L + X + nR

slow：L + X

又因为快指针的速度是慢指针的两倍，所以有：

化简得到：

在优化一下得到：

结合图可知，一个指针从链表的起始位置运行，一个指针从相遇点位置绕环，每次走一步，两个指针最终会在入口点相遇。

示例代码：

typedef struct ListNode ListNode;
struct ListNode *detectCycle(struct ListNode *head) {
    ListNode* slow = head;
    ListNode* fast = head;
    while(fast && fast->next)
    {
        slow = slow->next;
        fast = fast->next->next;

        if(slow == fast)
        {
            //带环，开始求入口
            ListNode* meet = slow;
            while(meet != head)
            {
                meet = meet->next;
                head = head->next;
            }
            return meet;
        }
    }
    return NULL;
}