题目大意
给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 null。
为了表示给定链表中的环,我们使用整数 pos 来表示链表尾连接到链表中的位置(索引从 0 开始)。 如果 pos 是 -1,则在该链表中没有环。
说明:不允许修改给定的链表。
输入:head = [3,2,0,-4], pos = 1
输出:tail connects to node index 1
解释:链表中有一个环,其尾部连接到第二个节点。
解题思路
设置快慢指针,快指针一次走两步,慢指针一次走一步。如果快指针走到空了,则表示没有环。如果快指针和满指针相遇了,表明有环,且相遇位置在环内(因为一旦进了环,两个指针就不可能出来了,只能在里面绕圈)。
当两个指针相遇后,将其中一个指针重新指回头结点,然后两个指针每次同时走一步,相遇位置就是环的入口节点位置。
证明:
(1)快慢指针第一次相遇时,慢指针在环内不会走完一圈:假设你在操场跑步,A的速度是你的2倍。你从当前位置出发,A从任意位置出发。当你跑完一圈后,A跑了两圈,在这个过程中,A肯定会遇见一次你,因此在你没跑完一圈过程中就会碰到A。极限情况是你们俩从同一地点出发,当你跑完一圈后,你们俩在原来的位置相遇。
(2)
上图是一个环形链表,假设快慢指针在*处相遇,环中逆时针旋转。相遇点距离环入口的距离分别是b
和c
。假设在相遇时,快指针已经在环中转过了m
圈且m
至少等于1,因此快指针所有的路程是h+m(b+c)+c
。慢指针所走的路径是h+c
。由于快指针的速度是慢指针的2倍,因此可以得到如下关系:
h+m(b+c)+c = 2h + 2c --> (m-1)(b+c) + b = h
.
当相遇后,快指针回头部,慢指针从相遇点出发,两个指针一次走一步。则快指针走到环的入口时(也就是快指针走了h
的长度后),慢指针在环中也走了h
的长度。而上述关系式表明,h= (m-1)(b+c) + b
,即首先在环中绕了m-1
圈,然后走了b
个单位。
因此得到上述结论。
class Solution {
public:
ListNode *detectCycle(ListNode *head) {
if (!head){
return nullptr;
}
ListNode * fast = head, *slow = head;
while (fast && fast->next){
fast = fast->next->next;
slow = slow->next;
if (fast == slow){
break;
}
}
if (!fast || !fast->next)
return nullptr;
fast = head;
while (fast != slow){
fast = fast->next;
slow = slow->next;
}
return slow;
}
};