LeetCode：141 环形链表（Linked List Cycle）

用快慢指针的方式，使空间复杂度为O(1)

# Definition for singly-linked list.
class ListNode:
    def __init__(self, x):
        self.val = x
        self.next = None

class Solution:
    def hasCycle(self, head: ListNode) -> bool:
        fast = slow = head
        while slow and fast and fast.next:
            slow = slow.next
            fast = fast.next.next
            if slow is fast:
                return True
        return False


if __name__ == "__main__":
    l1 = ListNode(3)
    l1.next = ListNode(2)
    l1.next.next = ListNode(1)
    l1.next.next.next = ListNode(9)
    l1.next.next.next.next = ListNode(8)
    print("l1是否是环形链表：", Solution().hasCycle(l1))

    l2 = ListNode(3)
    l2.next = ListNode(2)
    l2.next.next = ListNode(1)
    l2.next.next.next = ListNode(9)
    l2.next.next.next.next = l2.next.next
    print("l2是否是环形链表：", Solution().hasCycle(l2))

 

数学证明：

在环上任意两处的 快慢指针，一定会相遇

已知：

①对环形链表来说，一定存在某一时刻，快、慢 指针均入环

②假设 快指针每次走2个节点；慢指针每次走1个节点

③假设

环上 总节点数为 n

从慢指针进入环开始，经历 t 时刻（t 次运动）两指针相遇

环起始位置记为0，按顺时针依次记为1、2......，假设在 h处 相遇（h < n）

 

证明：（可略过；看 白板过程）

若两指针相遇，则满足

t % n = (2t + m) % n       ---------(1)

其中，m指 快指针 在 慢指针 刚进入环时 的位置；

由(1)左式有( l为商，h为余数；h 也就是相遇的位置,  l为相遇前，慢指针走的圈数)：

t / n = l ......h

即 ln + h = t       --------------------(2)

同理由(1)右式有( k为商，h为余数；h 也就是相遇的位置， k为相遇前，快指针走的圈数)：

（2t + m）/ n = k ......h

即 kn + h - m = 2t     --------------(3)

 

将（2）式左右同乘2，结合公式（3），有：

2ln + 2h = kn + h -m   ------------(4)

整理得：

2ln + h + m = kn    ----------------(5)

其中 h 是相遇的位置（h < n），m指 快指针 在 慢指针 刚进入环时 的位置( m < n)

若需要(5)成立，则存在 wn = h + m，其中w为整数，这样才能满足（5），有

（2l + w) n = k n 

又 h < n，m < n， 则 （h + m）< 2n；w只能取1

即 h + m = n   ----------------------(6)

回顾一下这些变量：

m指 快指针 在 慢指针 刚进入环时 的位置；h 是相遇的位置；n是环中节点的个数

 

证明思路是：如果想要相遇，必须满足一定条件，发现有一组解满足条件，从而得到一定可以相遇