【中等】力扣算法题解析LeetCode236：二叉树的最近公共祖先

关注文末推广名片，即可免费获得本题测试源码！

题目来源：LeetCode236：二叉树的最近公共祖先

问题抽象： 在二叉树中查找两个指定节点的最近公共祖先（LCA）（深度最大的共同祖先节点），需满足以下核心需求：

1. LCA 定义：

   • 节点 T 是 p 和 q 的最近公共祖先，当且仅当：
     • p 和 q 均存在于 T 的子树中；
     • T 的所有子节点均不满足此条件（即 T 是深度最大的此类节点）；
   • 特例：若 p 是 q 的祖先，则 p 为 LCA（反之亦然）。

2. 输入约束：

   • 二叉树节点值唯一，且 p ≠ q；
   • p 和 q 均存在于树中（无需校验不存在情况）；
   • 树节点数范围 [2, 10^5]。

3. 算法要求：

   • 时间复杂度 O(n)（遍历所有节点，n 为节点数）；
   • 空间复杂度 O(h)（递归栈深度，h 为树高，最坏 O(n)）；
   • 禁止存储父指针或修改树结构。

4. 核心判定规则：

   • 递归搜索：
     • 若当前子树同时包含 p 和 q，则返回其 LCA；
     • 若仅含其一，则返回该节点（向上传递存在性）；
   • 终止条件：
     • 当前节点为 null 时返回 null；
     • 当前节点为 p 或 q 时直接返回自身。

5. 边界处理：

   • 树为空时返回 null（但题目保证树非空）；
   • p 或 q 为根节点时，根节点即为 LCA；
   • 典型结构：
     • p 和 q 分居某节点左右子树 → 该节点为 LCA；
     • p 和 q 位于同侧 → LCA 为更靠近根节点的祖先。

输入：二叉树根节点 root ；目标节点 p, q（TreeNode 类型）
输出： TreeNode（最近公共祖先节点）

解题思路

核心思想： 使用递归深度优先搜索（DFS）遍历二叉树，通过后序遍历的特性自底向上查找目标节点。

1. 递归终止条件：
   • 当前节点为空（null）时返回 null。
   • 当前节点是 p 或 q 时直接返回当前节点（说明找到目标节点）。
2. 递归左右子树：
   • 在左子树中搜索 p 和 q，结果记为 left。
   • 在右子树中搜索 p 和 q，结果记为 right。
3. 结果判断：
   • 若 left 和 right 均不为空 → 当前节点是最近公共祖先（p 和 q 分布在左右子树）。
   • 若 left 不为空 → 返回 left（p 和 q 均在左子树）。
   • 若 right 不为空 → 返回 right（p 和 q 均在右子树）。
   • 若都为空 → 返回 null（题目保证节点存在，实际不会发生）。

时间复杂度： O(n)（每个节点最多访问一次）。空间复杂度： O(h)（递归栈深度，h 为树的高度）。

代码实现（Java版）🔥点击下载源码

class Solution {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        // 递归终止条件：遇到空节点或找到目标节点
        if (root == null || root == p || root == q) {
            return root;
        }
        
        // 递归搜索左子树
        TreeNode left = lowestCommonAncestor(root.left, p, q);
        // 递归搜索右子树
        TreeNode right = lowestCommonAncestor(root.right, p, q);
        
        // 左右子树均找到目标节点 → 当前节点为最近公共祖先
        if (left != null && right != null) {
            return root;
        }
        // 返回非空子树的结果（若左子树找到则返回left，否则返回right）
        return left != null ? left : right;
    }
}

代码说明

1. 递归终止条件：
   • 当 root 为 null 时返回 null，避免空指针异常。
   • 当 root 等于 p 或 q 时直接返回，说明当前子树包含目标节点。
2. 左右子树递归：
   • 通过 left 和 right 分别记录左右子树的搜索结果。
3. 结果合并逻辑：
   • left 和 right 均非空：p 和 q 分布在左右子树，当前节点为最近公共祖先。
   • 单侧非空：返回非空结果（即已找到的最近公共祖先）。
4. 效率优化：
   • 无额外数据结构操作，直接利用递归栈回溯结果。
   • 每个节点仅访问一次，时间复杂度为 O(n)。

提交详情（执行用时、内存消耗）