【C语言数据结构】数据结构环形单链表练习题

1.给定一个链表，判断链表中是否有环。

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

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

我们可以定义一个快指针一个慢指针，快指针一次走两步，慢指针一次走一步。快指针一定会比慢指针先进入循环，那么当慢指针进入循环时，就相当于快指针开始“追击”慢指针。假设此时他们的距离为N，那么每走一次，他们的距离就会缩短1，最后一定会遇到一起。
附：为什么快指针一次走2步而不是更多？我们用3步做一个例子。假设他们的差距为N，那么一次会缩短2，如果N为偶数，那么可以追到；但是如果N为奇数，最后的距离会变成1，再走一步，快指针越过了慢指针来到了他的下一位，此时他们的差距变成了C-1（C为循环圈的大小）。而如果C-1又是奇数，那么永远也不会相遇。选择其他的步长时，都可以用类似的过程推导。

bool hasCycle(struct ListNode *head) {
    struct ListNode *slow = head;
    struct ListNode *quick = head;
    while(quick && quick -> next)
    {
        quick = quick -> next -> next;
        slow = slow->next;
        if(quick == slow)
        return true;
    }
    return false;
}

2.给定一个链表，判断链表中是否有环。
这个题是上面那个题的延伸。我们先给出结论：先按照上一题思路的快慢指针找出两个指针在环上相遇的点，然后从这个相遇指针的位置上向后走，并且同时一个指针从链表头向后走，当这两个新指针相遇时，得到的便是环形的起点。接下来我们解释为什么。

在慢指针运动的过程中，可以知道它移动的距离是L+X。而快指针移动的距离是L+X+NC（N为正整数）。因为我们无从得知链表的具体情况，所以快指针在慢指针到达环之前具体走了多少圈我们也无法确定，但可以知道的是快指针在与慢指针相遇时至少已经走了一圈。
又因为快指针走过的路程是慢指针的2倍，所以可以得到式子
2（L+X) = L+X+NC
可以得到
L = NC-X=(N-1)C+C-X
L = (N-1)C +C -X
这个便是得出结论的式子。
C-X是环的长度减去相遇时距环起点的长度，如图所示。

而C-X+（N-1)C是在这个基础上在走上（N-1）圈，最终仍会回到这个位置上。所以，一个指针从起点走，一个指针从快慢指针相遇点走，最终一定会相遇在环的起点。

bool hasCycle(struct ListNode *head) {
    struct ListNode *slow = head;
    struct ListNode *quick = head;
    while(quick && quick -> next)
    {
        quick = quick -> next -> next;
        slow = slow->next;
        if(quick == slow)
        return true;
    }
    return false;
}

题目来源：力扣