力扣Leetcode141:环形链表（巧解+扩展）

原文链接：https://blog.csdn.net/sjp11/article/details/115905486

sjp11 2021-04-20 15:16:34  716  收藏 1
文章标签： 链表 leetcode c语言 算法 指针
版权
链接: 141.环形链表.
环形链表
问题加分析
面试官问:
1.为什么slow走一步？fast走两步？它们一定会在环内相遇吗？请证明？
2.如果slow走一步，fast走三步,走4步,走N步，则slow与fast在环内一定相遇吗?
3.求环的入口点
问题加分析
题目：

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

要求：

你能用 O(1)（即，常量）内存解决此问题吗？

示例1：

输入：head = [3,2,0,-4], pos = 1
输出：true
解释：链表中有一个环，其尾部连接到第二个节点。

示例2：

输入：head = [1,2], pos = 0
输出：true
解释：链表中有一个环，其尾部连接到第一个节点。

示例3：

分析：
这题得使用快慢指针进行解决，快指针（fast）和慢指针（slow)都在相同的起点，快指针一次走两步，慢指针一次走一步，最后相遇时，则说明该链表带环，如果没有相遇，也就是说fast走到NULL时，则链表不带环

bool hasCycle(struct ListNode *head) {
    if(head==NULL||head->next==NULL)
    {
        return false;
    }
    struct ListNode * slow=head;
    struct ListNode * fast=head;
    while(fast&&fast->next)//fast或fast->next如果为NULL,则跳出循环
    {
        
        fast=fast->next->next;
        slow=slow->next;
        if(fast==slow)//当fast遇到slow时，则该链表带环
        {
            return true;
        }
    }
    return false;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
面试官问:
1.为什么slow走一步？fast走两步？它们一定会在环内相遇吗？请证明？
答案是肯定的：请看下列分析；
假设这是链表的环

当slow刚进环时，fast距离slow为x

在环内时，fast走两步，slow走一步，每次它们都同时走，那么每次它们的距离都缩小1，
那么
x
x-1,
x-2
x-3
…
3
2
1
0
最后一定追的上。

2.如果slow走一步，fast走三步,走4步,走N步，则slow与fast在环内一定相遇吗?
我们先来看fast走3步的
同样的slow走一步，fast走3步，则它们在环内的距离不断缩小为2

如果整个环环的大小为偶数n，fast与slow的距离x为奇数(奇数减偶数为奇数）
那么它们的距离
x
x-2
x-4
…
5
3
1
n -1（fast超过了slow，且还是为奇数）
…
5
3
1
n-1
可以看出fast永远追不上slow
这里我们举一个特殊例子吧：
假设该环的大小为6，fast与slow的距离为3那么
3
1
5
3
1
…
则该则该fast永远追不上slow，永远在环内打圈
总结，当环大小n为偶数，fast与slow的距离x为奇数，则fast永远追不上slow，所以fast走三步不行。
同样的fast走4步，走N步都是同样的方法。
————————————————
版权声明：本文为CSDN博主「sjp11」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。