算法宝App：动画图解算法 141. 环形链表（无环）

双指针法

算法动画图解：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)。我们只使用了两个指针的额外空间。