先来看看程序,再解释:
#include <cstdlib>
typedef struct node{
struct node *next;
}node_t;
bool IsExitsLoop(node_t *head)
{
node_t *slow = head;
node_t *fast = head;
while( fast && fast->next )
{
slow = slow->next;
fast = fast->next->next;
if ( slow == fast )
break;
}
return !(fast == NULL || fast->next == NULL);
}
声明两个节点指针,一个每次前进一个节点,另一个每次前进两个节点,如果有环,那么两个节点必相遇。
解析:假设链表有n个节点
1、如果n为奇数,则fast必能遍历到每一个节点,则slow与fast必能相遇。
2、如果n为偶数,则fast在追赶slow的时候,最近时相差1个或2个节点。
(1)、如果相差一个节点,fast + 1 == slow,再循环一次就会相遇。
(2)、如果相差二个节点,fast + 2 == slow,再循环二次就会相遇。
如果两个链表相交,那个两个链表从相交点到链表结束都是相同的节点,我们可以先遍历一个链表,直到尾部,再遍历另外一个链表,如果也可以走到同样的结尾点,则两个链表相交。
这时我们记下两个链表length,再遍历一次,长链表节点先出发前进(lengthMax-lengthMin)步,之后两个链表同时前进,每次一步,相遇的第一点即为两个链表相交的第一个点。