
图解算法与数据结构
1、前言
今天开始的是双指针!
下面一起来看看吧!!!

让我们从一个经典问题开始:
给定一个链表,判断链表中是否有环。
你可能已经使用 哈希表 提出了解决方案。但是,使用 双指针 技巧有一个更有效的解决方案。
想象一下,有两个速度不同的跑步者。如果他们在直路上行驶,快跑者将首先到达目的地。但是,如果它们在圆形跑道上跑步,那么快跑者如果继续跑步就会追上慢跑者。
这正是我们在链表中使用两个速度不同的指针时会遇到的情况:
- 如果没有环,快指针将停在链表的末尾。
- 如果有环,快指针最终将与慢指针相遇。
所以剩下的问题是:
这两个指针的适当速度应该是多少?
一个安全的选择是每次移动慢指针一步,而移动快指针两步。每一次迭代,快速指针将额外移动一步。如果环的长度为 M,经过 M 次迭代后,快指针肯定会多绕环一周,并赶上慢指针。
为了让你更懂,下面来看一个题吧!

2、实例
LeetCode 142,一个求证链表中有没有环的题。


3、正文
一起来看一下:
-
双指针初始化:
- 设双指针
fast,slow指向链表头部head; fast每轮走 1 步;slow每轮走 1 步;
- 设双指针
-
两种情况:
- 第一种情况:不出意外,
fast每轮再多走 1 步(这才是名副其实的快指针~);

- 第二种情况:
fast走到链表末端,下一节点为空,说明链表无环,直接break,返回NULL(如果存在环,两个指针必然会相遇,追击问题,fast速度是slow的二倍~);

- 第一种情况:不出意外,
-
双指针第一次相遇(当
fast == slow时):- 设链表共有
a+b个节点,其中 链表头到环的入口 有a个节点(不算环入口节点),环 有b个节点,若两指针分别走了f,s步(fast,slow的英文缩写); - 路程等于速度乘以时间,
fast的速度是slow的 2 倍,所以fast走的步数是slow的 2 倍,即f = 2*s①; - 双指针最后都是在环内绕圈直到重合,所以
fast比slow多走了n个环的长度,即f = s + n*b②; - 以上两式 ① ② 相减得:
f = 2n*b,s = n*b,即fast和slow分别走了2n,n个 环。

- 设链表共有
-
双指针第二次相遇(当
fast == slow时):slow指针不动,fast重新指向链表头节点(f = 0,s = n*b);slow和fast同时每轮向前走 1 步;- 当
fast走f = a步时,slow走s = a+nb步,此时 两指针重合,并同时指向环入口(b是环的长度!整数倍b就是环入口)。

-
返回
fast指针指向的节点(slow也行,因为终止条件是fast == slow)。
这个位置有个非常灵性的操作,即:

分析分析:
问:如何才能恰好在环入口节点相遇呢?
答:如果走过的路程满足 a+n*b,n 可以是任意自然数值(0,1,2…),先走 a 步到环入口节点,之后无论绕多少圈环(n*b 步)都会再次回到入口节点,即相遇了~~~~而现在这个时间点,slow 走过的步数是 nb,只要想办法再走 a 步停下来,就可以到环的入口,同时 fast 也要走 a 步,这样两者就相遇了!所以依然是双指针法,fast 重新初始化为链表头 head,这样走 a 步就到了环入口,而 slow 也走 a 步,变成了 a+n*b,到达了环入口节点。
妙啊!!!


4、代码
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* ListNode *next;
* ListNode(int x) : val(x), next(NULL) {}
* };
*/
class Solution {
public:
ListNode *detectCycle(ListNode *head) {
auto fast=head,slow=head;
while(fast){
fast=fast->next;
slow=slow->next;
if(fast) fast=fast->next;
else break;
if(fast==slow){
fast=head;
while(fast!=slow){
fast=fast->next;
slow=slow->next;
}
return fast;
}
}
return NULL;
}
};


如果有幸帮到你,请帮我点个【赞】,给个【关注】!如果能顺带【评论】给个鼓励,我将不胜感激。
如果想要更多的资源,欢迎关注 @我是管小亮,文字强迫症MAX~