题目描述
142.环形链表II
给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 null。
为了表示给定链表中的环,我们使用整数 pos 来表示链表尾连接到链表中的位置(索引从 0 开始)。 如果 pos 是 -1,则在该链表中没有环。注意,pos 仅仅是用于标识环的情况,并不会作为参数传递到函数中。
说明:不允许修改给定的链表。
进阶:
你是否可以使用 O(1) 空间解决此题?
示例1:
输入:head = [1,2], pos = 0
输出:返回索引为 0 的链表节点
解释:链表中有一个环,其尾部连接到第一个节点。
示例2:
输入:head = [3,2,0,-4], pos = 1
输出:返回索引为 1 的链表节点
解释:链表中有一个环,其尾部连接到第二个节点。
示例3:
输入:head = [1], pos = -1
输出:返回 null
解释:链表中没有环。
题解
本题依旧采用快慢指针先求出环的相遇点(具体求法),先直接给出结论,当链表带环时,指针 head 从头指针的位置开始走,指针 meet 从 slow 与 fast 的相遇点开始走,当 head 和 meet 相等时,则证明走到入环的第一个结点。
证明
假设链表长度为L,环的长度为n,从入环点到相遇点的长度为x
这里有一个很重要的结论,快指针走的路程是慢指针走的路程的2倍,因为慢指针一次走一步,快指针一次走两步。
假设当 fast 走了C圈时,刚好与 slow 指针相遇,(slow在环里不会超过一圈,因为在极限的情况下,slow和fast的差距是 n - 1),那么我们就可以根据上面的结论得出一个公式:
L - n + C * n + x = 2 * ( L - n + x )
对其进行化简可得
L - n = C * n - x
而 C * n 就相当于 n ,因为fast 走了C圈之后,下一圈还是从入环点开始走,可以理解为fast的位移并没有发生改变,因此
L - n = n - x
结论得证,头结点到入环点的距离恰好等于相遇点到入环点的距离
因此,具体图示如下:
①首先求出该带环链表的相遇点meet,如果不带环就返回NULL
②让头指针head和相遇指针meet 同时向后走,直到 head == meet 为止,则表明找到入环点
题解代码
struct ListNode *detectCycle(struct ListNode *head) {
if(head==NULL || head->next==NULL)
{
return NULL;
}
//判断有没有环,先求出相遇点
struct ListNode *slow = head;
struct ListNode *fast = head;
struct ListNode *meet = NULL;
while(fast && fast->next)
{
fast = fast->next->next;
slow = slow->next;
if(fast == slow)
{
meet = slow;
break;
}
}
//若为NULL,则无环
if(meet== NULL)
{
return NULL;
}
//有环的情况下,当头指针走到入环点的时候,相遇点也刚好走到入环点
while(head!=meet)
{
head = head->next;
meet = meet->next;
}
return head;
}