快慢指针能判断环形链表是因为在环内fast每次多走1步，相对速度恒定，必然相遇；需满足fast每次走两步、slow走一步，循环条件为while fast and fast.next，找入口需二次双指针同步移动，节点比较用is而非==。
为什么快慢指针能判断环形链表
因为只要有环，走得慢的节点迟早会被走得快的“追上”——这不是概率问题，是确定性相遇。只要 slow 和 fast 都在环内以不同速度跑，它们相对速度恒定（比如 fast 每步多走 1），就一定会在某次迭代中落到同一位置。
关键前提是：fast 必须每次走两步（fast = fast.next.next），slow 每次走一步（slow = slow.next）。如果 fast 走三步或更多，可能跳过 slow，导致漏判；走一步就完全退化成同步移动，永远不相遇。
- 环外部分长度不影响判断，只影响相遇点位置
- 空链表或单节点链表不可能有环，需提前判空
- fast 遇到
None就说明没环，不用等 slow 跑完
怎么写安全的快慢指针循环条件
最容易崩的是空指针异常，尤其在访问 fast.next.next 前没检查 fast.next 是否为 None。Python 里会直接抛 AttributeError: 'NoneType' object has no attribute 'next'。
正确写法是把所有“可能为 None”的访问都前置判断：
立即学习“Python免费学习笔记（深入）”；
让 macOS 自动化像说话一样简单 —— 用代码控制你的 Mac，无需学习 AppleScript 系统要求 macOS 14+ (Sonoma) Python 3.9+ 需要开启：辅助功能 + 屏幕录制权限
while fast and fast.next:
slow = slow.next
fast = fast.next.next
if slow == fast:
return True
return False-
fast为None→ 已到链表尾，无环 -
fast.next为None→ fast 下一步就结束，没法再走两步 - 不能写成
while fast.next and fast.next.next，因为初始fast可能是None，先访问fast.next就挂了
如何找环的入口节点（进阶但常考）
相遇只说明有环，不代表找到了入口。想定位入口，得用数学推导：设头到入口距离为 a，入口到相遇点为 b，环剩余部分为 c，则满足 2(a + b) = a + b + n(b + c)，推出 a = n(b + c) - b = (n-1)(b + c) + c。也就是说，从头和从相遇点各出发一个指针，每次走一步，它们必在入口相遇。
实操分两步：
- 先用快慢指针确认有环，并停在相遇点
- 初始化
ptr1 = head，ptr2 = slow（或fast，此时二者相等），同步后移直到相等 - 注意：这步必须在确认有环的前提下做，否则
ptr2可能是None
常见错误是跳过第一阶段直接找入口，遇到无环链表就返回错误结果。
Python 实现时容易忽略的细节
Python 的对象身份比较默认用 ==，但链表节点判断是否“同一节点”，必须用 is，否则自定义 __eq__ 可能干扰逻辑。标准题解里都是用 slow is fast，不是 slow == fast。
- LeetCode 上的
ListNode类没有重载==，所以两者等价；但一旦你本地加了__eq__（比如按值比较），slow == fast就可能误判 - Python 没有指针类型，但
is判断的是对象内存地址，这才是我们真正要的“是不是同一个节点” - 不要试图用集合存已访问节点（
seen.add(node)），空间复杂度 O(n)，而快慢指针是 O(1)
环形链表问题的复杂点不在算法本身，而在边界控制和 Python 对象语义的匹配——稍不注意，就卡在空指针或者误判相等上。
