🌈图示指向任意节点的带环链表
如图:
🌈快慢指针法判断链表是否带环
🌟思路:快指针fast一次走2步,慢指针slow一次走1步,fast先进环在换中运动,随后slow进入环。两指针每同时移动一次,二者的相对距离减少1,此时二者一定会在环中相遇。
🌟同时还可得出结论:相遇时slow不可能走过一整个环。相同时间内fast走过的路程是slow的二倍,fast和slow相遇时,slow一定不可能走过了一整个环(假设slow走过了一次整个环,则fast走过了两次环,在这期间二者一定会相遇,因此假设不成立)。
🌟图示fast和slow相遇过程:
🌟拓展思考:快指针fast一次走3步,慢指针slow一次走1步,此时一定会相遇吗?(C是圆环长度)
🌟答:不一定,当C-1为奇数时永远不会相遇。slow进环后,每同时移动一次,二者距离缩小2。当fast在slow后面且相隔1个节点时,再移动一次变成了fast在slow前且相隔1节点,进入了新一轮追逐,追逐距离还是是C-1(注意:追逐距离不是C-2),而C-1是奇数时,不管怎么减2,都不可能减为0,只会从1减到-1,又进入新一轮循环,追逐距离还是C-1,奇数,陷入死循环。
🌟根据原理类推,fast一次走4步,slow一次走一步,每次距离缩小3。当环的周长C为3的倍数时,会相遇,C的长度模3余2时,陷入死循环,循环时每轮追击距离为C-1;当环的周长模3余1时,陷入死循环,循环时每轮追击距离为C-2。
🌈找到带环链表中环的起始点
🌟由上文得出结论:fast和slow相遇时slow不可能走过一整个环,但是fast在slow进环前可能已经在环里走了好多圈了。此时fast大概率走了n-1圈但还没有走够n圈(当然巧合情况是fast刚好走了n圈),但是在fast追slow的过程中一定会把n圈补齐。
(想象一个L非常大,C非常小的带环链表),如下图:
🌟公式推导:
假设起点到入口点长度:L
假设环的周长:C
假设入口点到相遇点的数据:X
fast与slow相遇时:
slow走过的总长度:L+X;fast走过的总长度:L+n ∗ * ∗c+X
列出方程:
2(L+X)=L+n ∗ * ∗C+X ⇒ L+X=n ∗ * ∗C ⇒ L=n ∗ * ∗C-X
具象说明:一个指针从起点走,另一个指针从相遇点走,它们会在入口点相遇
☀️OJ题1:判断链表是否带环
链接: https://leetcode.cn/problems/linked-list-cycle/description/
思路:fast一次走两步,slow一次走一步,若有环则两指针一定会相遇。
c
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* struct ListNode *next;
* };
*/
bool hasCycle(struct ListNode *head) {
struct ListNode*fast=head,*slow=head;
while(fast&&fast->next){
fast=fast->next->next;
slow=slow->next;
if(slow==fast)
return slow;
}
return NULL;
}
☀️OJ题2:返回入环节点
链接: https://leetcode.cn/problems/linked-list-cycle-ii/description/
🌟法一:公式法( L=n ∗ * ∗C-X)。
先让fast和slow相遇,再让一个指针从相遇点走,另一个指针从头节点走,两指针相遇点即为入环节点。
c
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* struct ListNode *next;
* };
*/
struct ListNode *detectCycle(struct ListNode *head) {
struct ListNode* slow=head,*fast=head,*meet;
while(fast&&fast->next){
fast=fast->next->next;
slow=slow->next;
if(fast==slow){
meet=fast;
while(meet!=head){
meet=meet->next;
head=head->next;
}
return head;
}
}
return NULL;
}
🌟法二:切断环,交叉链表求交点。
先让fast和slow相遇,从相遇点出断开环,此时演变为交叉链表求交点问题(先让长链表走差距步,再同时走,相遇处即环的起点)
c
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* struct ListNode *next;
* };
*/
struct ListNode *detectCycle(struct ListNode *head) {
struct ListNode*fast=head,*slow=head,*meet,*meetnext;
struct ListNode*head1,*head2;
int count1=0,count2=0;
while(fast&&fast->next){
fast=fast->next->next;
slow=slow->next;
if(fast==slow){
meet=slow;
meetnext=meet->next;
meet->next=NULL;
head1=head;
head2=meetnext;
while(head1){
head1=head1->next;
count1++;
}
while(head2){
head2=head2->next;
count2++;
}
int sub=count1-count2;
head1=head;
head2=meetnext;
if(sub>0){
while(sub--){
head1=head1->next;
}
}
else if(sub==0){
;
}
else{
while(sub++){
head2=head2->next;
}
}
while(head1!=head2){
head1=head1->next;
head2=head2->next;
}
return head1;
}
}
return NULL;
}