二叉搜索树的最近公共祖先

下面 9 步动画会按主解代码推进，而不是泛泛讲题型。

利用 BST 性质找分叉点：在 BST 里找 LCA 有捷径：利用「左小右大」，从根开始比大小，就能直接走向 p、q 的分叉点。先标出目标 p=2、q=8。

从根 6 比较 · 一左一右就分叉：从根 6 开始：p=2 比 6 小、在左边，q=8 比 6 大、在右边。它俩从这里分道扬镳——6 是最后一个「还把它们装在一起」的节点，也就是 LCA。

为什么「分叉点」就是 LCA：想清楚为什么：只要 p、q 还在同一侧，它们就还共享这棵子树的根；一旦在某节点分到两边，再往下就各走各的。那个「让它们第一次分开」的节点，就是最近公共祖先。

另一种情况 · 同侧就一起往下走：如果换一对目标、它俩都比当前小，就一起往左走；都比当前大就一起往右；反复缩小，直到它们在某节点一左一右分开（或正好撞上其中一个），那个节点就是答案。每步砍掉一半，O(h)。

记住这题的代码骨架：题意约束先落到状态变量，再用循环或递归维护它。

边界三连：BST 找 LCA 的边界：分叉立即停、撞上目标也停。

三个高频追问：和 LC236 的区别、判定条件、O(1) 空间。