Floyd判圈法用于判断一个链表中是否有环并找到环首位置,其算法分为两个部分。
第一部分:判断是否有环
141环形链表
其算法应用龟兔赛跑的思想,使用一个slow和fast指针初始都指向链表第一个节点,slow每次向前走一步,fast向前走两步。如果链表无环,那么fast会先走到NULL节点。如果有环,那么当slow和fast都进入环的时候,由于fast比slow走的快,fast总会追上slow。C++代码如下:
class Solution {
public:
bool hasCycle(ListNode *head) {
ListNode*slow=head,*fast=head;
while(slow && fast && fast->next){
slow=slow->next;
fast=fast->next->next;
if(slow==fast)
return true;
}
return false;
}
};
第二部分:找到环开始的节点
142环形链表II
当fast和slow相遇的时候,将fast调到链表开头节点,每次fast和slow各向前走一步,直到相遇。相遇时指向的节点即是环开始的节点。
其原理如下:
1.设slow和fast相遇时slow走了k步,那么fast就走了2k步。
2.因为fast比slow多走的路,都是在环里绕圈圈,所以(2k-k)=k,k的大小是环长的整数倍
3.假设相遇点距离环入口节点m
4.则相遇点再向前走(k-m)步(有可能绕很多圈),一定到达环首节点
4.从head往后走k-m步,也能到达环首节点。
(slow走的路径长度为k,往后退m步,肯定能到达环首节点)
注:图片来自于公众号labuladong
class Solution {
public:
ListNode *detectCycle(ListNode *head) {
ListNode*slow=head,*fast=head;
while(slow && fast && fast->next){
slow=slow->next;
fast=fast->next->next;
if(slow==fast){
//说明有环
fast=head;
while(fast != slow){
fast=fast->next;
slow=slow->next;
}
return fast;
}
}
return NULL;
}
};