面试中冷不丁的被问起了单链表中关于环的知识点，汗颜啊(⊙﹏⊙)b，真是好记性不如烂笔头啊，有些东西还是得理解下来才行，废话不说，上菜！

 

 

问题1：如何判断单链表中是否存在环（即上图中从结点E到结点R组成的环）？

解答： 设一快一慢两个指针（实际上是两个迭代器，Node *fast, *low）同时从链表起点开始遍历，其中快指针每次移动长度为2，慢指针则为1。则若无环，开始遍历之后fast不可能与low重合，且fast或fast->next最终必然到达NULL；若有环，则fast必然不迟于low先进入环，且由于fast移动步长为2，low移动步长为1，则在low进入环后继续绕环遍历一周之前，fast必然能与low重合，原因如下：

当low到达环上时（也就是low遍历到了交叉点处），fast肯定已在环上某个结点处（因为fast是先于low进入环上的，之后就一直在环上打转转）。由于fast速度是low的两倍，所以low在环绕一圈回到交叉点之前，必定能被fast追上并且超越（实际上low最多走完半圈就会被fast给追上）。

        在low完成第一圈之前，fast肯定是能够追上并且超越low，但为什么说fast能够与low重合呢？有没可能fast在追上low时直接把low跨越过去了而不是重合呢？答案是不可能。fast在low后面追逐时，与low的最近距离必定是1，此时low继续走出一步，与fast的距离变为2，然后轮到fast继续走出一步，由于fast走出一步的步长为2，所以fast就会与low重合。看起来fast与low的最近距离还可能是2，实则不然，因为此时如果low与fast同时走出一步后，距离仍然会变成1。总之，在low完成第一圈之前，fast必定能够追上low，并且与low重合。

透过以上的分析可以发现，如果快迭代器的步长是3或者3以上，则在low完成第一圈之前，fast也肯定会追上并超越low，但却有可能把low跨越过去了，而不是与low重合。

 

代码如下：

 1 // 若有环，encounter是fast与low重合的地方 
 2 bool hasCircle(Node* head, Node* &encounter) {          
 3     Node *fast = head, *low = head;          
 4     while(fast && fast->next) {                
 5         fast = fast->next->next;               
 6         low = low->next;               
 7         if(fast == low){                    
 8             encounter = fast;                    
 9             return true;                
10         }           
11     }          
12     // fast == NULL || fast->next == NULL          
13     encounter = NULL;          
14     return false;
15 }

问题2：若存在环，如何找到环的入口点（即上图中的结点E）

   

 如图中所示，设链起点到环入口点间的距离为x，环入口点到问题1中fast与low重合点的距离为y，又设在fast与low重合时fast已绕环n周（n>0），且此时low移动总长度为s，则fast移动总长度为2s，环的长度为r。则

　　s + nr = 2s,n>0　　　　 ①

　　s = x + y　　　　　　　　②

　　由①式得

　　　　s = nr

　　代入②式得

　　　　nr = x + y

　　　　x = nr - y                   ③          

　　现让一指针p1从链表起点处开始遍历，指针p2从encounter处开始遍历，且p1和p2移动步长均为1。则当p1移动x步即到达环的入口点，由③式可知，此时p2也已移动x步即nr - y步。由于p2是从encounter处开始移动，故p2移动nr步是移回到了encounter处，再退y步则是到了环的入口点。也即，当p1移动x步第一次到达环的入口点时，p2也恰好到达了该入口点。于是函数可写如下：

 1 Node* findEntry(Node* head, Node* encounter)
 2 { 
 3           Node *p1 = head, *p2 = encounter;
 4          while(p1 != p2)
 5          {
 6                 p1 = p1->next;
 7                p2 = p2->next;
 8           }
 9          return p1;
10 }

原文链接：http://hi.baidu.com/iwitggwg/item/7ad684119a27fefc9c778a5c