给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 NULL。
链接:142. 环形链表 II - 力扣(LeetCode)
示例 1:
输入:head = [3,2,0,-4], pos = 1
输出:返回索引为 1 的链表节点
解释:链表中有一个环,其尾部连接到第二个节点。
示例 2:
输入:head = [1,2], pos = 0
输出:返回索引为 0 的链表节点
解释:链表中有一个环,其尾部连接到第一个节点。
示例 3:
输入:head = [1], pos = -1
输出:返回 null
解释:链表中没有环。
提示:
链表中节点的数目范围在范围 [0, 104] 内
-105 <= Node.val <= 105
pos 的值为 -1 或者链表中的一个有效索引
结论:
让一个指针从链表起始位置开始遍历链表,同时让一个指针从判环时相遇点的位置开始绕环运行,两个指针都是每次均走一步,最终肯定会在入口点的位置相遇。
题解(自己的):
先用快慢指针判断链表是否为有环链表,判断为有环后再将 fast 给重新指向头结点,此时slow是留在了与 fast 相遇的节点处,因为 fast 是走两步的,而 slow 是走一步的,这样当 fast 重新指向头结点处后,fast 从头到入口点的距离与slow从相遇节点处到入口点处的距离相同,因此再让 fast 和 slow 同时向后走一步,直到再次相遇,此时相遇的节点处就是环的入口点(下图有证明)。
详细步骤:a.
b.
fast和slow相遇后,先假设变量:
再将 fast 指向头结点,slow 留在相遇节点处:
拓展开来:
官方题解:
我们使用两个指针,fast 与 slow 。它们起始都位于链表的头部。随后,slow 指针每次向后移动一个位置,而 fast 指针向后移动两个位置。如果链表中存在环,则 fast 指针最终将再次与 slow 指针在环中相遇。
设链表中环外部分的长度为 a。slow指针进入环后,又走了 bbb 的距离与 fast 相遇。此时,fast 指针已经走完了环的 n圈,因此它走过的总距离为 a+n(b+c)+b=a+(n+1)b+nc。
根据题意,任意时刻,fast 指针走过的距离都为 slow 指针的 2 倍。因此,我们有
a+(n+1)b+nc=2(a+b) ⟹ a=c+(n−1)(b+c)
有了 a=c+(n−1)(b+c) 的等量关系,我们会发现:从相遇点到入环点的距离加上 n−1 圈的环长,恰好等于从链表头部到入环点的距离。因此,当发现 slow与 fast 相遇时,我们再额外使用一个指针 ptr。起始,它指向链表头部;随后,它和 slow 每次向后移动一个位置。最终,它们会在入环点相遇。
代码:
/**
* Definition for singly-linked list.
* class ListNode {
* int val;
* ListNode next;
* ListNode(int x) {
* val = x;
* next = null;
* }
* }
*/
public class detectCycle {
public ListNode detectCycle(ListNode head) {
if(head == null){
return null;
}
ListNode fast = head;
ListNode slow = head;
//先让快慢指针判断链表是否为有环链表,如果是有环链表(fast和slow会相遇),就跳出循环。
while(fast != null && fast.next != null){
fast = fast.next.next;
slow = slow.next;
//fast和slow会相遇就跳出循环
if(fast == slow){
break;
}
}
//如果链表不是有环链表,就返回null
if(fast == null || fast.next == null){
return null;
}
//先让fast指向头结点head,slow留在第一轮与fast相遇的结点处。
//再让fast和slow每次同时走一步,直到再次相遇,相遇处就是环的入口处。
fast = head;
while(fast != slow){
fast = fast.next;
slow = slow.next;
}
return slow;//返回slow或fast都可以,它们相遇的结点就是在入口点处。
}
}
运行结果: