基于判断单链表是否有环:【c/c++】检测单链表是否有环--快慢指针法-CSDN博客
判断链表是否有环
我们使用两个指针,fast 与 slow。它们起始都位于链表的头部。随后,slow 指针每次向后移动一个位置,而 fast 指针向后移动两个位置。如果链表中存在环,则 fast 指针最终将再次与 slow 指针在环中相遇。
在判断单链表是否有环的基础上理解下面:
如图:
如下图所示,设链表中环外部分的长度为 x。slow 指针进入环后,又走了 y 的距离与 fast 相遇。此时,fast 指针已经走完了环的 n 圈+(没走完最后一圈)y+x,因此它走过的总距离:x+n(y+z)+y=x+(n+1)y+nz。,slow只走了x+y,因为fast 指针走过的距离都为 slow 指针的 2 倍
得到下面公式
x+(n+1)y+nz=2(x+y)
x=(n-1)y+nz
x=n(y+z)-y
r为圆的周长
最终得到x=(n+1)*r+z的等量关系,我们会发现:从相遇点到入环点的距离z加上 n+1 圈的环长,恰好等于从链表头部到入环点的距离。
因此,当发现 slow 与 fast 相遇时,我们再额外使用一个指针p。起始,它指向链表头部;随后,它和 slow(或fast) 每次向后移动一个位置。最终,它们会在入环点相遇。
代码如下:
Node* FirstCircleNode(List plist)
{
if (plist == NULL || plist->next==NULL)
return NULL;
Node* p = plist->next->next;//快指针
Node* q = plist->next;//慢指针
while (p != NULL && p->next != NULL &&p!=q)
{
p = p->next->next;
q = q->next;
}
if (p == NULL || p->next == NULL)//没有环
return NULL;
//快慢指针相遇了;
Node* s = plist;
while (s!=q)
{
s = s->next;
q = q->next;
}
return s;
}
测试代码
int main()
{
Node head;
InitList(&head);
for (int i = 0; i < 10; i++)
{
Insert_tail(&head, i);
}
Show(&head);
Node* p = Search(&head, 9);
p->next = Search(&head, 3);//形成环,3是入环的第一个点
if ((p = FirstCircleNode(&head) )!= NULL)
{
printf("入环的第一个节点是%d \n", p->data);
}
return 0;
}