从要删的节点出发，按子节点数量分三条路。

把 BST 删除的完整骨架一次性摊开：外层递归负责定位，命中后按三种情况分别处理。

外层递归负责向下定位，命中后 `else` 块按「左空 / 右空 / 双儿」三路分支，把三种删除情况落到具体行。

无子节点时直接断开连接

左右两棵子树分别是删除前与删除后，中间箭头标出核心操作。

三行代码同时搞定「单子节点」与「叶子节点」删除，关键在 NULL 子树的处理。

两段 if 同时覆盖「单子节点」与「叶子节点」删除：返回值可能是 None，父节点指针自然被改写。

前面搞定了叶子节点和单子节点两种情况。剩下最棘手的——左右孩子都在——要用到一个关键角色：后继节点。它到底是谁？为什么偏偏是它？

图示找到后继的路径

两种替换策略都能正确删除双子节点，学生常纠结「该用哪个」。其实它们完全对称。

双子节点删除拆三步：找后继、替换值、递归删后继。

完整 delete 函数：用 find_min 找后继，复制键值，再递归把后继从右子树删掉。

第19行确认命中目标；24–26行是双分支核心——找后继、覆盖键、递归删后继。后继没有左子，下次递归自然走单子分支退路，循环不会死。

前面三种删除情况都讲完了。现在问效率：双分支要沿树向下找后继——这条路径有多长？这取决于树的形状。

• ✓双分支本质是「替换值 + 删除后继」，最终都回到单子节点情况
• ✓替换值 ≠ 删除节点：必须把后继节点本身从原位置摘除
• ✓删除改的是父节点的指针，递归靠返回值把新子树根传回上层
• ✓复杂度即树高 h，平衡时 O(log n)，链状时退化到 O(n)
• ✓后继默认选右子树最左节点，可保证 BST 仍有序

先独立思考再看参考答案，看每条要点能想到几个。