题目来源:力扣 142. 环形链表 II
给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 null。
为了表示给定链表中的环,我们使用整数 pos 来表示链表尾连接到链表中的位置(索引从 0 开始)。 如果 pos 是 -1,则在该链表中没有环。注意,pos 仅仅是用于标识环的情况,并不会作为参数传递到函数中。
说明:不允许修改给定的链表。
进阶:
你是否可以使用 O(1) 空间解决此题?
示例 1:
输入:head = [3,2,0,-4], pos = 1
输出:返回索引为 1 的链表节点
解释:链表中有一个环,其尾部连接到第二个节点。
示例 2:
输入:head = [1,2], pos = 0
输出:返回索引为 0 的链表节点
解释:链表中有一个环,其尾部连接到第一个节点。
示例 3:
输入:head = [1], pos = -1
输出:返回 null
解释:链表中没有环。
提示:
链表中节点的数目范围在范围 [0, 10^4] 内
-10^5 <= Node.val <= 10^5
pos 的值为 -1 或者链表中的一个有效索引
思路:如下图
1. 设置两个指针,一个快指针fast,一个慢指针slow,S为链表的起点,A为环路结点,B为快慢指针相遇的结点,设SA的长度为a,环的长度为b,AB的长度为t;
2. 从链表头开始遍历链表,快指针每次走两个结点长度,慢指针每次走一个结点,当快慢指针相遇时;
快指针路程=a+k1*b+t;
慢指针路程=a+k2*b+t;
快指针路程=慢指针路程*2;
则:(k1-2*k2)*b=a+t; 由此可见a+t为b的整数倍;
3. 将慢指针从相遇点A再走一个a的距离即可到达环路结点A;
/**
* Definition for singly-linked list.
* struct ListNode {
* int val;
* ListNode *next;
* ListNode(int x) : val(x), next(NULL) {}
* };
*/
class Solution {
public:
ListNode *detectCycle(ListNode *head) {
//快慢指针法
ListNode* fast=head;
ListNode* slow=head;
while(true)
{
if(fast==nullptr||fast->next==nullptr) //有尾结点,即无环
return nullptr;
fast=fast->next->next; //+2
slow=slow->next; //+1
//设a为起始节点到环路结点的距离,b为环的长度,t为快慢指针相遇结点与环路结点的距离
//fast: a+k1*b+t;
//slow: a+k2*b+t;
//fast==2*slow => (k1-2*k2)==a+t; a+t为b的倍数
//当slow指针再走a长度即可到达环路结点(即a+t+a==k*b+a)
if(fast==slow) //快慢指针相遇
{
fast=head;
while(fast!=slow) //再走一个a
{
fast=fast->next; //+1
slow=slow->next; //+1
}
return slow;
}
}
};