Floyd‘s cycle detection 问题

首先来看 LeetCode142. Linked List Cycle II

给定一个链表，求环是否存在以及环开始的地方。

Floyd判圈算法可以用赛跑的想法去理解，环形跑道两个人跑步，跑的快的肯定会再一次追上跑的慢的。这个比较好理解，关键是如何确定环开始。

如果只有环且同时出发，那快的第一次再遇慢的比他多跑一圈，但是这里因为有一段直线操场，快的会先进入环形，等到慢的进来可能快的已经跑了几圈了。所以这里快的比慢的多跑了K圈。

我们使用一对快慢指针来模拟这两个人，快指针一次两个单位前进，慢指针一次一个。假设相遇的地方距离环开始为p，直线距离m。

$S_{fast}=m+p+k_1\ast loop$
$S_{slow}=m+p+k_2\ast loop$

因为快的走了慢的两倍路程
$m+p+k_1\ast loop=2m+2p+2\ast k_2\ast loop$
$m=(k1-2k_2)\ast loop-p$ = $i\ast loop-p$

也就是走直线这段距离m 等于绕着走i圈少p。那我直接从meet的地方开始走，接着走i-1圈，走到环和直线交点的时候就刚好是走了 $i\ast loop-p$，也就等于走了m。

因此找环和直线交点的行动： 当他们相遇后，把一个人放回起始位置另一个人不动还在meet处，然后两指针同时匀速1前进，再相遇就是环开始的位置。

    ListNode *detectCycle(ListNode *head) {
        ListNode* fast = head;
        ListNode* slow = head;
        int id = 0;
        bool first_start = true;

        while(fast!=slow || first_start){
            first_start = false;
            if(fast!=NULL && fast->next!=NULL) //fast可能提前走完链表
                fast = fast->next->next;
            else
                return NULL;
            slow = slow->next;
        }
        
        fast = head;
        while(fast!=slow){
            fast = fast->next;
            slow = slow->next;
            id++;
        }
        return fast;
    }