给定一个单链表,只给出头指针h:
1、如何判断是否存在环?
2、如何知道环的长度?
3、如何找出环的连接点在哪里?
4、带环链表的长度是多少?
看了不少帖子,感觉还是要自己总结一下。
1.对于问题1,使用追赶的方法,设定两个指针slow、fast,从头指针开始,每次分别前进1步、2步。如存在环,则两者相遇;如不存在环,fast遇到NULL退出。
bool IsExitsLoop(slist *head)
{
slist *slow = head, *fast = head;
while ( fast && fast->next )
{
slow = slow->next;
fast = fast->next->next;
if ( slow == fast ) break;
}
return !(fast == NULL || fast->next == NULL);
}
2.记录碰撞点。保持fast不动,slow继续移动,再次相遇时,slow移动的步数就是环的长度。
int CycleLength(slist *head)
{
slist *slow = head, *fast = head;
int length = 1;
while ( fast && fast->next )
{
slow = slow->next;
fast = fast->next->next;
if ( slow == fast ) break;
}
if (fast == NULL || fast->next == NULL)
return NULL;
slow = slow->next;
while (slow != fast)
{
slow = slow->next;
length++;
}
return length;
}
还有另外一种方法,就是相遇后,slow和fast继续走,再次相遇时,slow移动的步数就是环的长度。
证明再次相遇时一定是在第一次相遇的点。
证明:首先易知在slow回到第一次相遇的点时,slow走过了y(环的长度),而fast走过了2y,所以一定相遇。
假如在之前两点就相遇的话,令slow做过了t步(0<t<y),则fast走过了2t步,因为相遇,所以
t = 2t(mody),因为t<y,所以2t%y = t,2t = ay +t(a=1,2……),t = ay>=y,与题设矛盾,所以slow和fast的第二次相遇一定是在第一次相遇的地方。
3.遇到碰撞点后,slow回到链表起点并且fast的步长变为1,同时移动.则再次相遇时一定是在连接点。证明如下:
证明:令起点到碰撞点的距离为x,环长为y
(1)求碰撞点继续移动多长的距离到达连接点
当slow从起点走x步到达碰撞点时,fast已经在环内走了x步了(ny<=x<=(n+1)y,n=0,1,2……),可知fast此时偏离连接点移动了s=x-ny的步长。设经过t次移动后两个指针相遇,那么应该有0+t = s + 2t (mod y),显然t = y-s(取最小正整数解)。下面这张图可以清晰地表明这种关系,经过t = y-s次移动,P1向前移动了y-s个位置(相当于后退了s),到达P1′处,而P2向前移动了2y-2s个位置(相当于后退了2s),到达P2′处,显然P1′和P2′是同一点。
所以,碰撞点距离连接点移动了y-s即y-(x-ny)=(n+1)y-x的距离。此时slow重新从起点移动x,则fast移动了y-s+x=(n+1)y-x+x=(n+1)y,也在连接点,所以它们再次相遇。连接点即是它们相遇时所指的点。
slist* FindLoopPort(slist *head)
{
slist *slow = head, *fast = head;
while ( fast && fast->next )
{
slow = slow->next;
fast = fast->next->next;
if ( slow == fast ) break;
}
if (fast == NULL || fast->next == NULL)
return NULL;
slow = head;
while (slow != fast)
{
slow = slow->next;
fast = fast->next;
}
return slow;
}
(2)还有一种解法,就是利用问题2中的结果。将slow和fast重新指到起点,然后fast先移动y(环的长度)步,然后slow和fast均以1为步长移动,相遇的点就是连接点.
slist* FindLoopPort(slist *head)
{
slist *slow = head, *fast = head;
int cylen = CycleLength(slist *head);
while(cylen)
{
fast = fast->next;
cylen--;
}
while(slow != fast)
{
slow = slow->next;
fast = fast -> next;
}
return slow;
}
4.由问题2和问题3的结果就可以知道了。
接下来,编程之美3.6就可以给出答案了。
给定两单链表A、B,只给出两头指针。请问:
1、如何判断两单链表(无环)是否相交?
有两种可取的办法:
(1)人为构环,将链表A的尾节点指向链表B,再判断是否构环成功?从链表B的头指针往下遍历,如果能够回到B,则说明相交
(2)判断两链表最后一个节点是否相同,如果相交,则尾节点肯定是同一节点
2、如何判断两单链表(不知是否有环)相交?
先判断是否有环,判断是否有环可以使用追逐办法,设置两个指针,一个走一步,一个走两步,如果能相遇则说明存在环
(1)两个都没环:回到问题1
(2)一个有环,一个没环:不用判断了,肯定两链表不相交
(3)两个都有环:判断链表A的碰撞点是否出现在链表B的环中,如果在,则相交。(相交时,环必定是两链表共有的)
3、如何寻找两相交链表(不知是否有环)的第一个相交节点?
同样,使用追逐办法先判断是否存在环,分情况讨论
(1)无环:人为构环,将链表A的尾节点指向链表B,则构成一个带环的单链表。这个问题就转换成寻找带环单链表的环入口节点。
(2)有环:计算出两链表的长度lA、lB,(环的长度和环到入口点长度之和就是链表长度)
如果lA>lB,则链表A指针先走lA-lB,然后链表B指针开始走,两者相遇的点就是相交点
如果lB>lA,则链表B指针先走lB-lA,然后链表A指针开始走,两者相遇的点就是相交点