判断一个单链表是否有环及环的连接点

给定一个单链表，只给出头指针h：

1、如何判断是否存在环？

2、如何知道环的长度？

3、如何找出环的入口点在哪里？

4、带环链表的长度是多少？

 

解法：

1、对于问题1（判断是否存在环），使用追赶的方法，设定两个指针slow、fast，从头指针开始，每次分别前进1步、2步。如存在环，则两者相遇；如不存在环，fast遇到NULL退出。

2、对于问题2（求环的长度），记录下问题1的碰撞点p，slow、fast从该点开始，再次碰撞所走过的操作数就是环的长度s，当然也可以利用slow再次走到p。

3、问题3（找出环的入口点）：有定理：碰撞点p到连接点的距离=头指针到连接点的距离，因此，分别从碰撞点、头指针开始走，相遇的那个点就是连接点。(证明在后面附注)。

4、问题3中已经求出连接点距离头指针的长度，加上问题2中求出的环的长度，二者之和就是带环单链表的长度。

代码如下

void Isloop(Node* head){  
    if(!head||!head->next)  
    return;  
    Node* p,q;  
    bool loop=false;  
     p=q=head->next;  
    while(q&&q->next){//判断是否有环  
        p=p->next;  
        q=q->next->next;  
        if(p==q){  
            loop=true;  
            break;  
        }  
    }  
    if(!loop)  
        cout<<"This link has not loop\n";  
    else{  
        cout<<"This link has a loop\n";  
        Node* r=p;  
        q=head->next;  
        int nonloop=1,loopcount=1;  
        //nonloop计算非环结点数，loopcount计算环上结点数  
        do{//计算环上的结点数     
            p=p->next;  
            ++loopcount;  
        }while(p!=r);  
        while(p!=q){//得到环的入口结点，同时计算得到非环的结点数  
            p=p->next;  
            q=q->next;  
            ++nonloop;  
        }  
        cout<<"\nStart of loop: "<<p->data<<endl;    
        cout<<"\nCount of nonloop: "<<nonloop  
        <<"\nCount of loop: "<<loopcount  
        <<"\nCount of Linknode: "<<nonloop+loopcount<<endl;  
    }  
}  

问题3的证明

经过第1步确认存在环后，寻找环入口点：

算法描述：

当fast若与slow相遇时，slow肯定没有走遍历完链表，而fast已经在环内循环了n圈(1<=n)。

假设slow走了s步，则fast走了2s步（fast步数还等于s 加上在环上多转的n圈），设环长为r，则：

2s = s + nr
s= nr

设整个链表长L，环入口点与相遇点距离为x，起点到环入口点的距离为a。则有L=a+r,L-a=r
a + x =s= nr
a + x = (n – 1)r +r = (n-1)r + L - a
a = (n-1)r + (L – a – x)

(L – a – x)为相遇点到环入口点的距离(即r - x 环的另一部分)，由此可知，从链表头到环入口点等于(n-1)循环内环+相遇点到环入口点，于是我们从链表头、与相遇点分别设一个指针，每次各走一步，两个指针必定相遇，且相遇第一点为环入口点。(从碰撞点 x 前进 a 步即为连接点。)

链表形状类似数字 6 。
假设甩尾（在环外）长度为 a（结点个数），环内长度为 b 。
则总长度（也是总结点数）为 a+b 。
从头开始，0 base 编号。
将第 i 步访问的结点用 S(i) 表示。i = 0, 1 ...
当 i＜a 时，S(i)=i ；
当 i≥a 时，S(i)=a+(i-a)%b 。

分析追赶过程:
两个指针分别前进，假定经过 x 步后，碰撞。则有：S(x)=S(2x)
由环的周期性有：2x=tb+x 。得到 x=tb 。（x,t不是可以随便变的变量，而是记号，分别记录了slow走了多少步和fast比slow多走了几圈）
另，碰撞时，必须在环内，不可能在甩尾段，有 x>=a 。

连接点为从起点走 a 步，即 S(a)。
S(a) = S(tb+a) = S(x+a)。(S(a) = S(tb+a) 和前面分析的S(x)=S(2x)无关，而是S(a) = S(nb+a)，当n为任何数的时候都成立，当然为特定的t也是成立的)
得到结论：从碰撞点 x 前进 a 步即为连接点。

根据假设易知 S(a-1) 在甩尾段，S(a) 在环上，而 S(x+a) 必然在环上。所以可以发生碰撞。

综上，从 x 点和从起点同步前进，第一个碰撞点就是连接点。