Leecode-141. 环形链表(通俗易懂，详细，击败100%)

题目描述

给定一个链表，判断链表中是否有环。

如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。

如果链表中存在环，则返回 true 。 否则，返回 false 。

进阶：

你能用 O(1)（即，常量）内存解决此问题吗？

示例 1：

输入：head = [3,2,0,-4], pos = 1
输出：true
解释：链表中有一个环，其尾部连接到第二个节点。
示例 2：

输入：head = [1,2], pos = 0
输出：true
解释：链表中有一个环，其尾部连接到第一个节点。
示例 3：

输入：head = [1], pos = -1
输出：false
解释：链表中没有环。

提示：

链表中节点的数目范围是 [0, 10⁴]
-10⁵ <= Node.val <= 10⁵
pos 为 -1 或者链表中的一个 有效索引 。

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/linked-list-cycle
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解题思路(快慢指针)

1. 如果当前链表为空，或head.next==null，则链表无环，直接返回。
2. 定义一个慢指针slow和一个快指针fast，慢指针指向链表头部，快指针指向链表的第二个节点，慢指针每次移动一步，快指针每次移动两步，如果当前链表无环，那么可以判定，在快指针移动的某个时间，快指针指向节点的位置之后一定会存在不足两个节点的情况，此时就满足 fast==null或者fast.next==null，程序直接返回false。如果当前链表有环，那么在某以时刻，慢指针和快指针一定会同时进入环内，此时快慢指针就相当于，在一个环形跑道里的两个运动员，快指针和慢指针相隔一段距离，但快指针跑的快，慢指针跑的慢，可以从物理中相对的角度出发（可以看作，慢指针没动，快指针在追赶慢指针)，那么可以得知，两者一定会相遇，所以如果有slow==fast，则程序返回true。

实现代码(Java)

public class Solution {
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(1)。
当链表不存在环时，算法的时间复杂度为O(n/2)，当链表中存在环时，慢指针进入到环时的计算次数小于链表长度n，进入环后，快指针追上慢指针需要走的步数小于环的节点数(小于2n)，故算法的计算次数一定不超过链表节点的常数倍，故算法的时间复杂度为O(n)。