leetcode第141题：环形链表（C语言+引申问题全解）

解题思路：

定义一对快慢指针，slow指针每次走一步，fast指针每次走两步。当快指针入环时，慢指针只走了一半。

当slow指针入环时，fast指针已经在环内走了许多步。让他们两个继续走，直到相遇，可以证明链表是带环的。这是因为不带环的链表快慢指针不可能会相遇。

代码：

cs 复制代码

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

代码到这里就已经解答完成了，是不是非常简单呢？

那么，我们就思考点更有意思的问题吧！

为什么快慢指针一定会相遇？没有可能错过，永远追不上？
slow走一步，fast走3步、4步、5步或n步，结果也还是一样的吗？

哦莫，直击心灵的问题。

对问题1的思考与解答：

敲敲，数学课上课啦！

在快指针每次走两步，慢指针每次走一步的情况下，不可能会错过，一定能够追上。

假设slow指针进环时，fast指针与slow指针相差的距离为N。那么每次快慢指针移动过后，相差距离就减少1。这是因为慢指针每次走1步，快指针每次走2步，2 - 1 = 1。

|--------|--------|
| 移动次数 | 相差距离 |
| 0 | N |
| 1 | N-1 |
| 2 | N-2 |
| 3 | N-3 |
| 4 | N-4 |
| ...... | ...... |
| X-2 | 2 |
| X-1 | 1 |
| X | 0 |

**当相差距离为0时，代表两指针相遇了。**所以一定能追上。

对问题2的思考与解答：

通过问题1的解答，我们不难发现：快指针每次走的步数 - 慢指针每次走的步数 = N每次的减少量

所以假设快指针现在每次走3步，慢指针不变，那么N每次减少2。这时候，就出现了一个问题。

N为偶数时，每次减少2，最后能得到N=0的结果。然而，当N为奇数时，最后N= -1。

此处的**-1 意为fast指针已经越过了slow指针** （如下图所示），假设整个环的大小为C，那么N 就变为了 C-1。

此时，就可以把C-1看成是N。如果C-1为偶数，那么最后就能得到N=0的结果；但如果C-1为奇数，那么结果还是-1，又变成了C-1，而C-1永远是奇数，因此一定无法相遇。

总结（"fast每次走2步，slow每次走1步"的情况）：

如果N为偶数，那么第一轮slow和fast就能相遇
如果N为奇数，第二轮一开始fast和slow相差C-1

若C-1是偶数，那么第二轮就追上了
若C-1是奇数，那么就永远也追不上

所以，同时存在C是偶数且N是奇数，那么就永远也追不上。

数学论证：

假设进环以前，slow与fast都需要走L的路程。那么当slow进环时，fast已经走了 L + x*C + C - N（x为fast在环里面转了几圈）

因为slow进环时，fast走的距离是slow3倍，所以slow走了L，fast走了3L。

综上所述，得到公式：3L = L + x*C +C - N

即2L = (x+1)*C - N。2L一定是偶数，要论证的是C是偶数且N是奇数时，永远追不上（可以使用反证法）。把这种情况代入公式，C为偶数，那么(x+1)*C一定是偶数；N为奇数，因此右式一定为奇数（偶数-奇数一定是奇数），相互矛盾。所以C是偶数且N是奇数时，永远追不上。证毕。

除了这种情况外，其他情况下fast都是能追上slow的。

leetcode第141题：环形链表（C语言+引申问题全解）

对问题1的思考与解答：

对问题2的思考与解答：

数学论证：

更多情况：