题目描述
141.环形链表
给定一个链表,判断链表中是否有环。
如果链表中有某个节点,可以通过连续跟踪 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:
输入:head = [1], pos = -1
输出:false
解释:链表中没有环。
题解
本题可以采用快慢指针的办法,让快指针一次走两步,慢指针一次走一步,如果存在环的话,那么快指针会在环中循环的走,因为快慢指针的差距步是一步(快指针两步减去慢指针一步),那么,慢指针到最后一定会追上快指针,因此就能判断出该链表中存在环。
初始情况
①slow指针一次走一步,fast指针一次走两步
③如果fast == NULL,则证明该链表无环,返回false,若不为空则循环①,直至fast和slow相遇
题解代码
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->next;
slow = slow->next;
if(fast == slow)
{
return true;
}
}
return false;
}
求环快慢指针进阶问题
在链表带环的情况下,fast指针一定能追上slow指针吗?会不会错过,永远追不上?
假设slow进环后,slow和fast之间的差距是n步,而环的大小为 c
- n的最小值是0,也就是说slow一进环就跟fast相遇
- n的最大值为 c - 1,也就是说slow和fast刚好相差一步(slow在前,fast在后)
因此n的范围为 [ 0 , c - 1 ]。
① 若slow一次走一步,fast一次走两步,那么他们的差距步就为一步,那么随着两个指针继续向后走,slow最多走 c - 1 步就会被追上 ,也就是说slow在一圈之内,一定会被追上。
slow走的步数:
n 、n - 1、n - 2 、… … 、0
②若slow一次走一步,fast一次走三步?fast走四步?…… 走 n 步呢?,能不能被追上。
结论:不一定能追上
假设slow每次走一步,fast每次走三步
开始差距为n,差距步为2步,则slow走的步数为:n、n - 2、n - 4、……
- 若 n 为偶数,一直减2,最终会减到0,则说明slow最终会追上fast
- 若 n 为奇数,就会错过,在最为特殊的情况下,错过之后差距还是一个奇数,那么就会永远的追不上。而当错过后,slow和fast的差距为一个偶数,那么slow最终会追上fast指针
fast一次走四步……一次走n步,都是同样的道理