环形链表1:
https://leetcode-cn.com/problems/linked-list-cycle/
方法一:哈希表
思路
我们可以通过检查一个结点此前是否被访问过来判断链表是否为环形链表。常用的方法是使用哈希表。
算法
我们遍历所有结点并在哈希表中存储每个结点的引用(或内存地址)。如果当前结点为空结点 null(即已检测到链表尾部的下一个结点),那么我们已经遍历完整个链表,并且该链表不是环形链表。如果当前结点的引用已经存在于哈希表中,那么返回 true(即该链表为环形链表)。
public boolean hasCycle(ListNode head) {
Set<ListNode> set= new HashSet<>();
while (head != null) {
if (set.contains(head)) {
return true;
} else {
set.add(head);
}
head = head.next;
}
return false;
}
复杂度分析
时间复杂度:O(n),对于含有 n个元素的链表,我们访问每个元素最多一次。添加一个结点到哈希表中只需要花费 O(1) 的时间。
空间复杂度:O(n),空间取决于添加到哈希表中的元素数目,最多可以添加 n个元素。
方法二:双指针
思路
想象一下,两名运动员以不同的速度在环形赛道上跑步会发生什么?
算法
通过使用具有 不同速度 的快、慢两个指针遍历链表,空间复杂度可以被降低至 O(1)。慢指针每次移动一步,而快指针每次移动两步。
如果列表中不存在环,最终快指针将会最先到达尾部,此时我们可以返回 false。
现在考虑一个环形链表,把慢指针和快指针想象成两个在环形赛道上跑步的运动员(分别称之为慢跑者与快跑者)。而快跑者最终一定会追上慢跑者。这是为什么呢?考虑下面这种情况(记作情况 A)- 假如快跑者只落后慢跑者一步,在下一次迭代中,它们就会分别跑了一步或两步并相遇。
其他情况又会怎样呢?例如,我们没有考虑快跑者在慢跑者之后两步或三步的情况。但其实不难想到,因为在下一次或者下下次迭代后,又会变成上面提到的情况 A。
public boolean hasCycle(ListNode head) {
if (head == null || head.next == null) {
return false;
}
ListNode slow = head;
ListNode fast = head.next;
while (slow != fast) {
if (fast == null || fast.next == null) {
return false;
}
slow = slow.next;
fast = fast.next.next;
}
return true;
}
复杂度分析
时间复杂度:O(n),让我们将 n 设为链表中结点的总数。为了分析时间复杂度,我们分别考虑下面两种情况。
链表中不存在环:
快指针将会首先到达尾部,其时间取决于列表的长度,也就是 O(n)。
链表中存在环:
我们将慢指针的移动过程划分为两个阶段:非环部分与环形部分:
慢指针在走完非环部分阶段后将进入环形部分:此时,快指针已经进入环中 \text{迭代次数} = \text{非环部分长度} = N迭代次数=非环部分长度=N
两个指针都在环形区域中:考虑两个在环形赛道上的运动员 - 快跑者每次移动两步而慢跑者每次只移动一步。其速度的差值为 1,因此需要经过 \dfrac{\text{二者之间距离}}{\text{速度差值}}
速度差值
二者之间距离
次循环后,快跑者可以追上慢跑者。这个距离几乎就是 "\text{环形部分长度 K}环形部分长度 K" 且速度差值为 1,我们得出这样的结论 \text{迭代次数} = \text{近似于}迭代次数=近似于 "\text{环形部分长度 K}环形部分长度 K".
因此,在最糟糕的情形下,时间复杂度为 O(N+K),也就是 O(n)。
空间复杂度:O(1),我们只使用了慢指针和快指针两个结点,所以空间复杂度为 O(1)。
环形链表2:
https://leetcode-cn.com/problems/linked-list-cycle-ii/
- 这类链表题目一般都是使用双指针法解决的,例如寻找距离尾部第K个节点、寻找环入口、寻找公共尾部入口等。
public ListNode detectCycle(ListNode head) {
if(head == null || head.next == null){
return null;
}
//fast slow指针都从head节点开始
ListNode fast = head,slow = head;
/*查找第一次指针相遇的地方,若不是环则流程结束.
设非环部分长度为a ,环部分长度为b
第一次相遇时候 fast = slow + nb; fast = 2slow;
相减得: slow = nb; fast = 2nb;
*/
while(true){
//非环形链表,跳出
if(fast == null || fast.next == null){
return null;
}
fast = fast.next.next;
slow = slow.next;
//跳出循环的条件是此时快慢指针相遇
if(fast == slow){
break;
}
}
/*此时让slow指针不动,fast从head开始。到达环入口部分满足关系k = a + nb;
此时slow所走路程为nb,再走a到达环入口部分,让fast指针从head开始,到达相遇部分则为环入口
部分*/
fast = head;
while(fast != slow){
fast = fast.next;
slow = slow.next;
}
return fast;
}