问题:如何检测一个链表是否有环,如果有,那么如何确定环的起点?如何确定环的长度?
- 时间复杂度: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;
}