2.8 环路检测

     《程序员面试金典》（第六版）习题：仅为记录一下以加强印象，不为商业用途，如有侵权请联系删除。以下源码和解释参考了书中源码以及这里：https://github.com/alexhagiopol/cracking-the-coding-interview。源码中节点以及功能函数定义参见这里：2.1 移除重复节点

template <typename T>
SinglyLinkedNode<T>* findLoopFirst(SinglyLinkedNode<T>* head) 
{
    SinglyLinkedNode<T>* F = head;  // fast pointer
    SinglyLinkedNode<T>* S = head;  // slow pointer
    //Find the first collision point
    while (true) 
    {
        // If there is no loop, return nullptr
        if (F->getNext() == nullptr || F == nullptr) 
        {
            return nullptr;
        }
        // Advance slow and fast pointers
        S = S->getNext();
        F = F->getNext()->getNext();
        if (S == F) {
            break;
        }
    }
    // Reset slow pointer S to the head pointer
    S = head;
    // Find the start point of linked list's loop
    while (true) 
    {
        // Advance fast and slow pointers at same speed
        S = S->getNext();
        F = F->getNext();
        if (S == F) 
        {
            break;
        }
    }
    return S;
}

     这里举一个例子对算法加以说明，如图1所示。算法说明：设置两个快慢指针$fast$和$slow$，快指针每次移动两个节点，慢指针$slow$每次移动一个节点。如果链表中有环，则当慢指针移动$n=3$步到链表中的环的起始点（黑点）时，此时快指针和慢指针都进入到环中，由于单向链表的原因，两个指针将一直在环中无限循环运行。当慢指针移动$n=3$步到链表中的环的起始点（黑点）时，快指针肯定位于环中的某个节点，此时可以认为快指针顺时针滞后于慢指针。假设这里滞后$Z$个节点（注意这里是$Z$个节点不是快指针移动$Z$步，即此时从快指针指向的节点开始迭代取$Z$次$next$指针可以取到黑色节点的指针），由于快指针每次移动两个节点，慢指针每次移动一个节点，实际看来每次操作快指针可以追赶慢指针一个节点。因此经过$Z$次操作后快指针和慢指针将指向同一个节点。因此如果快慢指针发生碰撞，则说明链表中存在环。
     当慢指针移动$n=3$步到链表中的环的起始点，黑点，时，快指针移动了$6=2\ast n$步到达红色节点，也即从链表中的环的起始点，黑点，开始移动算起的第$n=3$个节点（此节点也可以说是从链表中的环的起始点，黑点，开始移动算起的第$n=11$或第$n=19$个节点，这是因为环的原因，当$n$超过$LoopSize$时就会出现这种情况。因此这里我们用$N=n\%LoopSize=3$来代替此时快指针相对于环的起点移动的节点数。这里$LoopSize=8$为链表中环的节点个数）这时快指针顺时针滞后于慢指针$LoopSize-N=5$个节点。上面提到过经过$LoopSize-N=5$次操作后快指针和慢指针将指向同一个节点，绿点，这时绿点距离环的起点，黑点，$LoopSize-(LoopSize-N)=N=3$个节点，现在链表头节点距离环的起点，黑点，也是$N=n\%LoopSize=3$个节点。此时将slow指针赋值为头节点的指针，$fast$指针还是指向绿点，同时$fast$指针和$slow$指针同时向下一个节点移动，每次移动一个节点，当两个指针指向的节点相同时，该节点即为环路的起始处。
     该算法的空间复杂度为O(1)。该算法的时间复杂度为O(n)，n为链表中节点的个数。

　

图1.