LeetCode 141：环形链表 Linked List Cycle

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

为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。

Given a linked list, determine if it has a cycle in it.

To represent a cycle in the given linked list, we use an integer pos which represents the position (0-indexed) in the linked list where tail connects to. If pos is -1, then there is no cycle in the linked list.

示例 1：

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

示例 2：

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

示例 3：

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

进阶：

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

Follow up:

Can you solve it using O(1) (i.e. constant) memory?

解题思路：

​ 从头节点向后遍历整个链表只要遍历到节点为 null ，就证明不是环形，而如果遍历到一个节点的地址之前存在过就证明有环。

1、哈希表：

解决重复问题最容易想到的数据结构就是哈希表，哈希表添加节点时只要发现节点已经存在了，证明就有环形链表。并且哈希表查找和插入复杂度都为O(1)，但是空间复杂度会随着原链表长度而增大:O(n)，总的来说：

• 时间复杂度：O(n)，虽然哈希表的查找和添加操作的时间复杂度是 O(1) ，但是先需要遍历链表然后插入，遍历的复杂度是O(n)
• 空间复杂度：O(n)，最多需要保存链表的 n个节点

2、双指针：

这道题就如同小学跑步问题，假设有两个人（双指针）一个快一个慢，不停地向前跑，如果跑得快的那个最后到终点了（遇到空节点 null），就证明是直线跑道（没有环形链表）。

如果是存在环形跑道（环形链表）：两个人一起跑步（双指针）一个快一个慢，那么这两个人因为速度不同，在环形跑道里跑得快的那个人一定会追上慢的。即两个指针相遇了，证明存在环形链表。

空间复杂度为O(1)，即进阶要求的常量内存。

哈希表解题：

Java：

public class Solution {
    public boolean hasCycle(ListNode head) {
        if (head == null) return false;//如果是空链表直接返回
        Set<ListNode> nodeSet = new HashSet<>();//构造哈希表
        while (head.next != null) {//链表下一个不为空
            if (nodeSet.contains(head)) return true;//哈希表包含该节点则存在环形链表
            nodeSet.add(head);//加入节点
            head = head.next;//下移一位
        }
        return false;
    }
}

Python：

class Solution(object):
    def hasCycle(self, head):
        """
        :type head: ListNode
        :rtype: bool
        """
        if head is None:
            return False
        hashSet=set()#构造集合
        while(head.next is not None):
            if head in hashSet:#是否已存在
                return True
            hashSet.add(head)
            head=head.next
        return False

双指针解题：

Java：

public class Solution {
    public boolean hasCycle(ListNode head) {
        if (head == null || head.next == null) {
            return false;
        }
        ListNode slow = head;
        ListNode fast = head;
        while (fast != null && fast.next != null) {//快指针及其下一位是否为空
            slow = slow.next;
            fast = fast.next.next;
            if (slow == fast) {//如果相遇，存在环形链表
                return true;
            }
        }
        return false;
    }
}

Python：

class Solution(object):
    def hasCycle(self, head):
        """
        :type head: ListNode
        :rtype: bool
        """
        if head is None or head.next is None:
            return False
        slow, fast = head, head
        while fast is not None and fast.next is not None:
            slow, fast = slow.next, fast.next.next
            if slow == fast:
                return True
        return False

扩展：

python 中is 与 == 区别 ：

is 用于判断两个变量引用对象（即内存地址）是否为同一个， == 用于判断引用变量的值是否相等。

而Python出于对性能的考虑，不可变对象、同一代码块中的对象、值相同的对象，都不会重复创建，而是直接引用已经存在的对象。

欢迎关注公众号：爱写bug，一起学习。