怎么判断链表有环,怎么判断链表环的入口

来自http://blog.csdn.net/wuzhekai1985/article/details/6725263

----------------------

问题1,如何判断链表中是否存在环?即上图中从E到R组成的环?

设slow/fast两个指针,同时从链表起点开始,其中快指针fast每次移动长度为2,slow每次移动一个。如果无环,开始遍历之后fast不可能与slow重合,且fast或fast->next最终必然到达null;

如果有环,那么fast必然不迟于slow先到达环,且由于fast移动的步长为2,slow为1,则在low进入环继续环绕遍历一周之前fast必然能与low重合(且必然是第一次重合)。

(!上面加粗的部分是对的,因为slow比fast慢一倍,如果有环,在slow能遍历一次链表之前,fast肯定会遍历了一边链表,因为fast快啊,这其中fast与slow肯定会由相遇的时刻。)

代码可以如下:

    bool hasCircle(Node* head, Node* &encounter)  
    {  
        Node *fast = head, *slow = head;  
        while(fast && fast->next)  
        {  
            fast = fast->next->next;  
            slow = slow->next;  
            if(fast == slow)  
            {  
                encounter = fast;  
                return true;  
            }  
        }  
        encounter = NULL;  
        return false;  
    }  

2,如果存在环,那么如何才能找到环的入口点呢(即上面的E点)?

解答:如上图所画:

设链起点到环入口间的距离为x,

环入口点到问题1中fast与slow重合点的距离为y,

在fast与slow重合时fast已经环绕n周(n>0,肯定大于1),

且此时slow移动总长度为s,则fast移动的总长度为2s,

环的长度为r。

那么此时===

s+nr = 2s,n>0,  <1>,这一步可以这么得到s-y+ny+y = 2s,  s-y为x,ny为fast在环中的整圈数,y是fast在环中整圈外的步数,

s = x+y  <2>

由<1><2>得,s = nr  带入<2>

nr = x+y

x = nr-y  <3>

当fast 与slow相遇时,fast从链表头部开始遍历,slow接着遍历,fast与slow的步长都为1。当fast与slow再次相遇时,相遇点就是环的入口。

这一结论是从公式<3>得到的,因为x的长度为环长r-y,当fast移动了x长度时,slow肯定也会沿着环走了r-y步。

代码如下:

    Node* findEntry(Node* head, Node* encounter)  
    {   
        Node *p1 = head, *p2 = encounter;  
        while(p1 != p2)  
        {  
            p1 = p1->next;  
            p2 = p2->next;  
        }  
        return p1;  
    }  

==============

原文地址:https://www.cnblogs.com/li-daphne/p/5551048.html