LeetCode.141——环形链表:
题目如下:
通过题目中对于环形链表的大体描述,可以知道,环形链表最后一个结点保存了一个地址,用于返回链表中某个结点。并且。这个返回的结点并不是返回图中保存数据的结点。而是返回链表中任意一个结点。即:
或者:
题目中给了两个要求,分别是:
1. 判断链表中是否有环
2. 如果不存在环,则返回,存在环则返回
。
对于不存在环的这种情况很好判断。如果链表中任意一个结点保存的地址为,则这个链表不带环。但是难点在于如何判断链表带环。如果按照判断不带环的思想去判断是否带环,即链表是否可以无限运行下去显然不可能。
如果采用双指针的方法一个指针从头结点开始,另一个指针
向后遍历,如果存在
则说明存在结点。否则就让
指向下一个结点的方法,也不能实现目的。因为带环链表按照上面的方法进行遍历时,因为带环链表中不存在存储
的结点。所以一旦开始遍历,也会造成死循环。
虽然上面给出的两种方法均不能解答题目。但是,第二种方法中,对比两个指针所指向的结点中保存的地址是否相等的思路是正确的。
在上一篇文章LeetCode——单链表相关题目(持续更新)_起床写代码啦!的博客-CSDN博客
中对于寻找链表中间结点时,用到了一个方法,及创建两个指针变量,
,让
每次向后遍历
个结点,
每次向后遍历
个结点。让两个指针变量所在链表中结点的位置形成一个差值。这个方法恰好可以用来解决本题。
为了方便后续进行画图演示,将环形链表用下方的图形进行表示:
其中表示这个链表的头结点,
表示进入环的第一个结点。
表示
,
这两个指针在环中相遇的结点。
将上面所提供的思路进行如下总结:
1.题目的两个要求中,返回的情况是不存在环,也就是说链表中有某个结点存储的地址为
。对于返回
,判断条件就是
,
这两个指针中存储的地址是同一个。所以,可以将解决题目的重点放在如何找到两个指针相遇的结点,也i就是
。
2.对于如何寻找,前面给出了方法,创建不同的指针,每个指针每次向后遍历的结点数是不同的。如果遇到两个指针中存储的地址相等。则说明找到了
。但是,对于上面给出的方法,会引出一个问题,即这两个指针在环形链表中是否会一定相遇的问题。下面将对这个问题进行探究
,
这两个指针步数差为任意值时,是否一定会在环形链表中相遇(重点):
按照文章上面所规定的:每次向后访问一个结点。
每次向后访问两个结点,当
恰好进入环的起始结点时,
的位置大致如下:
当恰好位于环的起始位置时,
的位置大致如下:
此时, 开始追赶
。假设,两个指针中间的距离,即红线所标出的距离为
。两个指针每向后按照自己的速度遍历一次,两个指针之间的距离就会缩短
.所以,无论这个距离是奇数还是偶数。都可以找到
这个结点,即两个指针指向的结点保存的地址相同。
在判断链表是否有环时,对于有环的链表,两个指针会一直按照规定运动下去。对于无环的链表,会存在结点数为奇数和结点数为偶数两种情况。下面给出不带环链表对于这两种情况下,循环是否执行的判定。
(注:上述推论只是局限于一个每次访问一个结点,一个每次访问两个结点的特殊情况。对于更加严格的推论会在本文下方LeetCode.142中详细展开)
对于结点数为奇数的情况下:
如图所示,当结点数量为奇数且这个奇数时,指针走完这个链表所需要的次数永远是偶数。所以对于结点数量为奇数的链表。指针
每次向后访问,都有可能恰好访问到链表的最后一个结点。所以需要检测已经被访问的结点中存储地址是否为
即可。即
;
对于结点数为偶数的情况下:
如果像结点数为奇数的情况下去判断结点数量为偶数的链表,可以从图上看到,当结点数时,判定为是没有环的。当数量
且为偶数时,每执行一次
,后面总是会剩下一个结点。再向后执行一次
,此时的
为
,所以,偶数结点的情况下,指针是有可能访问到
的,因此只需要判定
是否为空即可。
将上面的过程用代码表示,即:
bool hasCycle(struct ListNode *head) {
struct ListNode* slow = head,*fast = head;
while(fast && fast->next)
{
slow = slow -> next;
fast = fast -> next -> next;
if( slow == fast)
{
return true;
}
}
return false;
}
执行结果如下:
LeetCode.142——环形链表Ⅱ:
(重点)探讨访问结点数不同的两个指针是否一定可以在环形链表中相遇:
如上图所示的一个环形链表,创建,
两个指针,其中
每次向后面访问一个结点。
每次向后面访问三个结点。所以,两个指针每按照自己的速度向后进行一次访问,就会拉开两个结点的距离。当
恰好走好环的起点,即:
时,两个指针所在的位置差不多由下面的图来表示:
因为
的访问速度大于
,所以,可以上图理解成一个追赶问题。将两个指针之间用红线画出的距离用
表示。所以,两个指针同时运动一次,距离就会变成
。
假设是一个偶数,则,两个指针同时追赶
次后,二者之间的距离会变成
,并且一定会出现距离为
的情况,即两个指针同时在
点。
假设为奇数,则,两个指针同时追赶
次后,二者之间的距离会变成
,但并不会出现二者之间距离为
的情况。而是会出现
的情况。即一个是
慢于
一个结点的距离,一个是
快于
一个结点的距离。对于
的情况,可以由下面的图像表示:
假设,整个环的长度为,则图中用蓝色线所标出的两个指针之间的距离就变成
。
假设, 为偶数,则会重复
为偶数的情况。两个指针会相遇。
假设,为奇数,则会重复
为奇数的情况。两个指针不会相遇,而是无限循环两个指针之间的距离为
的情况。
假设每次向后访问一个结点,
向后访问4个结点。两个指针同时向后访问,两个指针之间的距离差是
个结点的长度。对于两个指针会不会相遇的问题,就需要分成
%
,
%
,
%
三个情况来谈论。方法与上面的类型,不再展开叙述。
前面说到,当每次向后访问一个结点,
每次访问两个结点时,二者一定可以在环内相遇。又因为在相同的访问次数下
所访问的结点,是
的两倍。如果用距离来表示访问的结点的数量,上面的话也可以理解为,在相同的时间里,
所走过的距离是
走过距离的两倍。当二者恰好在
相遇时,即:
用来表示头结点到环入口结点的距离,用
表示环入口结点到
的距离。
此时,指针所走过的距离可以表示为
,指针
所走过的距离可以表示为
。又因为上面说到,
走过的距离是
走过距离的两倍,所以
,化简后可得:
。但是,如果当环的长度
远小于
时,本式不成立。此时:
若环的长度远小于
时,当
位于
时,
恰好位于环的起点。即:
当 恰好走到环的起点时,此时因为
,所以,
已经走过
个
,因此。当二者在
相遇时,二至所走过的距离可以表示为:
化简后可得:
为了便于理解上述公式的含义,可以进一步化简为:
其中,根据上面给出的图像,可以得出上述公式所表达的含义,即:当一个指针一次访问一个结点,另一个指针一次访问两个结点的前提下,一个结点从头结点走到环入口点的距离
,恰好等于另一个指针从
点走向
点的距离,即:一个指针从头指针出发,一个指针从
点出发,二至一定会在
点相遇。在解决这个题目时,将会用这个结论:
题目如下:
思路一:
题目要求返回入环的第一个结点,即返回上面图中的点。通过上面给出的结论。即:一个指针从头指针出发,一个指针从
点出发,二至一定会在
点相遇。可以得到解决题目的方法:
1. 找到两个指针在环中相遇的点。
2.让头指针和在
点的
同时向后遍历,二者相遇的那个点就是入环的第一个结点。
代码表示为:
struct ListNode *detectCycle(struct ListNode *head) {
struct ListNode* slow = head, *fast = head;
while( fast && fast -> next)
{
fast = fast -> next -> next;
slow = slow -> next;
if( slow == fast)//存在相遇点,两个指针相遇
{
struct ListNode* meet = slow;
while( head != meet)
{
meet = meet -> next;
head = head -> next;
}
return meet;
}
}
return NULL;
}
执行结果如下:
思路二:
如果当两个指针在点相遇后,取
,用
来表示这个点。即
后的一个点。并且让结点
与后面的点断开链接,即:
,此时的链表可以用下图表示:
再对上面的图片进行更改,即:
通过对图像的改进,可以题目改进为上篇文章LeetCode——单链表相关题目(持续更新)_起床写代码啦!的博客-CSDN博客 中的寻找相交结点问题。这里只给出代码,不过多解释:
struct ListNode *getIntersectionNode(struct ListNode *headA, struct ListNode *headB) {
struct ListNode* curA = headA,*curB = headB;
int lenA = 0,lenB = 0;
//计算headA为开头的链表的长度及最后的结点地址
while( curA -> next)
{
curA= curA -> next;
lenA++;
}
//计算headB为开头的链表的长度及最后的结点地址
while( curB -> next)
{
curB = curB -> next;
lenB++;
}
//检查两个链表最后一个结点的地址是否相等。相等则说明有交点
if( curA != curB)
{
return NULL;
}
//计算lenA和lenB的绝对值差值
int gap = abs( lenA - lenB);
//检查lenA和lenB哪个更长
struct ListNode* longlist,*shortlist;
if( lenA > lenB)
{
longlist = headA;
shortlist = headB;
}
else
{
longlist = headB;
shortlist = headA;
}
//longlist先走gap步
while( gap--)
{
longlist = longlist -> next;
}
//上下链表的起点位置没有结点数差,再一起遍历,寻找相交点
while( longlist != shortlist)
{
longlist = longlist -> next;
shortlist = shortlist -> next;
}
return longlist;
}
struct ListNode *detectCycle(struct ListNode *head) {
struct ListNode* slow = head, *fast = head;
while( fast && fast -> next)
{
fast = fast -> next -> next;
slow = slow -> next;
if( slow == fast)//存在相遇点,两个指针相遇
{
struct ListNode* meet = slow;
struct ListNode* newhead = meet->next;
meet->next = NULL;
return getIntersectionNode(newhead,head);
}
}
return NULL;
}