算法-floyd判圈算法 （快慢指针法）

问题：如何检测一个链表是否有环，如果有，那么如何确定环的起点？如何确定环的长度？

• 时间复杂度：O（n） （高效率）
• 空间复杂度：O（1）

弗洛伊德（Floyd ）使用了两个指针，一个慢指针（龟）每次前进一步，快指针（兔）指针每次前进两步（两步或多步效果是等价的，只要一个比另一个快就行。但是如果移动步数增加，算法的复杂度可能增加）。如果两者在链表头以外（不包含开始情况）的某一点相遇（即相等）了，那么说明链表有环，否则，如果（快指针）到达了链表的结尾（如果存在结尾，肯定无环），那么说明没环。

环的检测从上面的解释理解起来应该没有问题。接下来我们来看一下如何确定环的起点，这也是Floyd解法的第二部分。方法是将慢指针（或快指针）移到链表起点，然后两者同时移动，每次移动一步，那么两者相遇的地方就是环的起点。
 

快指针行走的是慢指针的多倍（大于一倍），如果存在环，快慢指针会在某一时刻相遇。应为快指针是n* 圈数，慢指针也是m*圈数，相遇时那个节点，

接下来慢指针或者快指针放回起始点，继续相同的位移行走，在此相遇时刻的点 就是环的开始带点。

例题：

给定一个链表，如果有环路，找出环路的开始点

struct ListNode {
  int val; 
  ListNode *next; 
  ListNode(int x) : val(x), next(nullptr) {} 
};

 题解

        对于链表找环路的问题，有一个通用的解法——快慢指针（Floyd判圈法）。给定两个指针， 分别命名为 slow 和 fast，起始位置在链表的开头。每次 fast 前进两步，slow 前进一步。如果 fast 可以走到尽头，那么说明没有环路；如果fast可以无限走下去，那么说明一定有环路，且一定存 在一个时刻slow和fast相遇。当slow和fast第一次相遇时，我们将fast重新移动到链表开头，并 让slow和fast每次都前进一步。当slow和fast第二次相遇时，相遇的节点即为环路的开始点。

ListNode *detectCycle(ListNode *head) { 
       ListNode *slow = head, *fast = head; // 判断是否存在环路 
      do { 
           if (!fast || !fast->next) return nullptr; 
           fast = fast->next->next;
           slow = slow->next;
          } while (fast != slow); // 如果存在，查找环路节点
           fast = head; 
      while (fast != slow)
          { 
            slow = slow->next; 
            fast = fast->next;
          } 
          return fast;
 }