双指针
算法动画图解:leetcode.141.环形链表(无环)
思路
首先,有环的链表没有尾节点。设置两个指针:一个每次走1步的 慢指针,一个每次走2步的 快指针。
- 如果含有环,快指针会超慢指针一圈,和慢指针相遇。
- 如果不含有环,跑得快的那个指针最终会遇到
null
。
细节
为什么我们要规定初始时慢指针在位置head
,快指针在位置head.next
,而不是两个指针都在位置head
。
- 代码中使用的是
while
循环,循环条件先于循环体。由于循环条件一定是判断快慢指针是否重合,如果我们将两个指针初始都置于head
,那么while
循环就不会执行。因此,我们可以假想一个在head
之前的虚拟节点,慢指针从虚拟节点移动一步到达head
,快指针从虚拟节点移动两步到达head.next
,这样我们就可以使用while
循环了。 - 当然,我们也可以使用
do-while
循环。此时,我们就可以把快慢指针的初始值都置为head
。
代码
func hasCycle(_ head: ListNode?) -> Bool {
var slow = head
var fast = head?.next
while slow != nil && fast != nil {
if slow === fast {
return true
}
slow = slow?.next
fast = fast?.next?.next
}
return false
}
复杂度分析
- 时间复杂度:O(n),其中
n
是链表中的节点数。- 当链表中不存在环时,快指针将先于慢指针到达链表尾部,链表中每个节点至多被访问两次。
- 当链表中存在环时,每一轮移动后,快慢指针的距离将减小一。而初始距离为环的长度,因此至多移动
n
轮。
- 空间复杂度:O(1)。我们只使用了两个指针的额外空间。