提示:应当在知晓如何判断链表是否有环的前提下观看以下内容
如何判断链表中是否有环:
目录
LC链接:
给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 NULL
一,理论
如果链表无环返回NULL
问:链表有环如何返回入环节点?
结论:
让一个指针从链表起始位置开始遍历链表,同时让一个指针从fast,slow相遇点的位置开始遍历链表,两个指针都是每次均走一步,最终肯定会在入口点的位置相遇。
证明:
记起始点到入环点的“长度”为L,入环点到相遇点的“长度”为X,环的"长度"为C(这里的长度更准确的意思是节点数量),
当fast,slow相遇时存在以下关系式:
slow走过的“路程”为L+X
fast走过的“路程”为L+X+n*C(n是整数)
而fast的“速度”又是slow的两倍,所以fast的“路程”为2*(L+X)
所以有
L+X+n*C==2*(L+X)成立,
化简得:L=n*C-X
所以start,meetnode以相同的速度前进必然会在入环点相遇,得证。
补充说明:
关于为什么fast走过的“路程”为L+X+n*C(n是整数)?
1,当fast第一次来到入环点时(“路程”为L),slow“路程”为L/2
2,当slow开始向入环点接近的时候,fast已经在环内运动,至于fast在slow入环之前转了几圈(n的大小)取决于L和C的大小关系
3,可以肯定的是,当slow和fast相遇时,fast至少转过一圈(n>=1)
二,实现细节(代码)
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* struct ListNode *next;
* };
*/
struct ListNode *detectCycle(struct ListNode *head)
{
struct ListNode* slow=head;
struct ListNode* fast=head;
while((fast!=NULL)&&(fast->next!=NULL))
{
slow=slow->next;
fast=fast->next->next;
//找到相遇点
if(slow==fast)
{
struct ListNode* meetNode=slow;
struct ListNode* start=head;
//找到入环点
while(start!=meetNode)
{
start=start->next;
meetNode=meetNode->next;
}
return start;
}
}
//无环
return NULL;
}