快慢指针(Floyd 判圈法)
对于链表找环路的问题,有一个通用的解法——快慢指(Floyd 判圈法)。给定两个指针,分别命名为slow 和fast,起始位置在链表的开头。每次fast 前进两步,slow 前进一步。如果fast可以走到尽头,那么说明没有环路;如果fast 可以无限走下去,那么说明一定有环路,且一定存在一个时刻slow 和fast 相遇。当slow 和fast 第一次相遇时,我们将fast 重新移动到链表开头,并让slow 和fast 每次都前进一步。当slow 和fast 第二次相遇时,相遇的节点即为环路的开始点。
- 起点到环入口的距离为X
- 环入口到第一次相遇的距离为Y
- 环的周长为C
- 慢指针总共走的路程为L,对应快指针走的路程为2L
根据上述情况,我们可以写出如下公式:
-
L = X + m ∗ C + Y
其中m是慢指针转的圈数 -
2 L = X + n ∗C+ Y
其中n是快指针转的圈数 -
两式作差为:
X = ( n − 2 m ) *C − Y
第二步骤:
- 在第一次相遇之后,我们将快指针移动回到起点快指针和慢指针一样每次走一步。
- 当快指针走了X步后来到环入口的时候,慢指针刚刚好,走了( n − 2 m ) *C − Y 步,由于本来满指针在Y处,因此慢指针也来到了环入口。
- 所以第二次再相遇的时候,相遇的位置必定为环入口。
相关题目:链接
代码
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;
}