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

 

解题思路：

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

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

 

 

 

代码：

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;
}

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

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

1. 为什么快慢指针一定会相遇？没有可能错过，永远追不上？
2. 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

1. 若C-1是偶数，那么第二轮就追上了
2. 若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的。

 

更多情况：

假设fast每次走4步，slow每次走1步，那么情况就与上文所讲解的形同。继续通过判断是奇数还是偶数，以及列出判断公式就能解决问题。只是情况要分为了两指针错过后，相距C-2还有相距C-1两种情况（N和3取模即可有不同结果）。请大家也来试着做做吧！