给定一个链表,判断链表中是否有环。
为了表示给定链表中的环,我们使用整数 pos 来表示链表尾连接到链表中的位置(索引从 0 开始)。 如果 pos 是 -1,则在该链表中没有环。
示例 1:
- 输入:head = [3,2,0,-4], pos = 1
- 输出:true 解释:链表中有一个环,其尾部连接到第二个节点。
示例 2:
- 输入:head = [1,2], pos = 0
- 输出:true
- 解释:链表中有一个环,其尾部连接到第一个节点。
示例 3:
- 输入:head = [1], pos = -1
- 输出:false
- 解释:链表中没有环。
基本思路:
快慢指针,快指针一次走两步,慢指针一次走一次。
如果链表不带环,快指针一定先到达末尾。
如果链表带环,快指针一定会和慢指针重合,
原理:首先初始化快指针 fast = head.next.next 和 slow = head.next,
此时快指针走的路长为2, m慢指针走的路长为1,之后令快指针每次走两步,
慢指针每次走一步,这样快指针走的路长始终是慢指针走的路长的两倍,
若不存在环,直接返回None,
若存在环,则 fast 与 slow 肯定会在若干步之后相遇;
性质1:
设从head需要走 a 步到达环的入口,如果环存在的话,
再走 b 步可以再次到达该入口(即环的长度为b),
如果存在环的话,上述描述的 快指针 fast 和
慢指针slow 必然会相遇,且此时slow走的路长
小于 a + b(可以自行证明),设其为 a + x,
当快慢指针相遇时,快指针已经至少走完一圈环了,
不妨设相遇时走了完整的m圈(m >= 1),有:
快指针走的路长为 a + mb + x
慢指针走的路长为 a + x
由于快指针fast 走的路长始终是慢指针的 2倍,所以:
a + mb + x = 2(a + x)
化简可得:
a = mb - x ------------- (*)
当快指针与慢指针相遇时,由于 <性质1> 的存在,
可以在链表的开头初始化一个新的指针,
称其为 detection, 此时 detection 距离环的入口的距离为 a,
此时令 detection 和 fast 每次走一步,
会发现当各自走了 a 步之后,两个指针同时到达了环的入口,理由分别如下:
*** detection不用说了,走了a步肯定到刚好到入口
*** fast已经走过的距离为 a + mb + x,当再走 a 步之后,
fast走过的总距离为 2a + mb + x,带入性质1的(*)式可得:
2a + mb + x = a + 2mb,会发现,fast此时刚好走完了
整整 2m 圈环,正好处于入口的位置。
基于此,我们可以进行循环,直到 detection 和
fast 指向同一个对象,此时指向的对象恰好为环的入口。
/**
* Definition for singly-linked list.
* class ListNode {
* int val;
* ListNode next;
* ListNode(int x) {
* val = x;
* next = null;
* }
* }
*/
public class Solution {
public ListNode detectCycle(ListNode head) {
/*基本思路:
快慢指针,快指针一次走两步,慢指针一次走一次。
如果链表不带环,快指针一定先到达末尾。
如果链表带环,快指针一定会和慢指针重合,
*/
//合法性校验(一个元素也是要判断是否有环)
if(head == null) {
return null;
}
ListNode fast = head;
ListNode slow = head;
//fast 和 slow 从相同起始位置走 fast走两步 , slow走一步,直到两个再次相遇停止
while(fast != null && fast.next != null) {//条件就是fast若为空,fast.next则会越界 报错:Line 42: java.lang.NullPointerException
fast = fast.next.next;
slow = slow.next;
if(slow == fast) {
break;
}
}
if(fast == null || fast.next == null) {
//无环
return null;
}
//上面程序可得之有环还是无环
ListNode cur1 = head;
ListNode cur2 = fast;
while (cur1 != cur2) {
cur1 = cur1.next;
cur2 = cur2.next;
}
return cur1;
}
}