[Leetcode] - 141. 环形链表

题目链接

题目：

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

思路：使用快慢指针

1. slow 和 fast 指向链表的开始，slow 一次走一步，fast 一次走两步。
2. 不带环，fast 就会为空。带环，fast 就会在环里面追上 slow 。

代码：

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     struct ListNode *next;
 * };
 */
bool hasCycle(struct ListNode *head) {
    struct ListNode* slow,*fast;
    slow = fast = head;

    while (fast && fast->next)
    {
        slow = slow->next;
        fast = fast->next->next;
        if (fast == slow)
        {
            return true;
        }
    }
    return false;
}

延伸问题：

1. 为什么 slow 和 fast 一定会在环中相遇？会不会在环里面错过，永远遇不上？请证明一下：

2. 为什么 slow 走一步，fast 走两步呢？能不能 fast 走n（n>2）步呢？

分析：

1. slow 和 fast，fast 一定是先进环，这时 slow 走了入环前距离的一半。
2. 随着 slow 入环，fast 已经在环里面走了一段，走了多少跟环的大小有关系。