LeetCode236：二叉树的最近祖先

要求

给定一个二叉树, 找到该树中两个指定节点的最近公共祖先。
百度百科中最近公共祖先的定义为：“对于有根树 T 的两个节点 p、q，最近公共祖先表示为一个节点 x，满足 x 是 p、q 的祖先且 x 的深度尽可能大（一个节点也可以是它自己的祖先）。”

思路

因为是递归，使用函数后可认为左右子树已经算出结果
最近公共祖先的定义： 设节点 root 为节点 p,q 的某公共祖先，若其左子节点 root.left和右子节点 root.right 都不是 p,q 的公共祖先，则称 root 是 “最近的公共祖先”
根据以上定义，若 rootroot 是 p, qp,q 的 最近公共祖先 ，则只可能为以下情况之一：

• p 和 q 在 root 的子树中，且分列 root 的 异侧（即分别在左、右子树中）；
• p=root ，且 q 在 root 的左或右子树中；
• q=root ，且 p 在 root 的左或右子树中；

递归解析

1、终止条件：

• 当越过叶节点，则直接返回 null ；
• 当 root 等于 p, q ，则直接返回 root ；

2、递推工作：

• 开启递归左子节点，返回值记为 left ；
• 开启递归右子节点，返回值记为 right ；

3、返回值： 根据 left 和 right ，可展开为四种情况；

• 当 left 和 right 同时为空 ：说明 root 的左 / 右子树中都不包含 p,q ，返回 null ；
• 当 left 和 right 同时不为空 ：说明 p,q 分列在root 的 异侧 （分别在 左 / 右子树），因此 root 为最近公共祖先，返回 root ；
• 当 left 为空 ，right 不为空 ：p,q 都不在root 的左子树中，直接返回 right 。
• 当 left 不为空 ， right 为空 ：与情况 3. 同理；

public class LeetCode236 {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        //如果当前根节点是p或者q的其中一个，就返回，说明不可能有比这个更深得了
        if (root == null || root == p || root == q){
            return root;
        }
        //根节点不是p或q，则往左子树和右子树进行递归找p，q
        TreeNode left = lowestCommonAncestor(root.left,p,q);
        TreeNode right = lowestCommonAncestor(root.right,p,q);
        //如果左子树没有p和q，就返回右子树
        if (left == null){
            return right;
        }
        //如果右子树没有p和q，就返回左子树
        if (right == null){
            return left;
        }
        return root;
    }
}

时间复杂度 O(N) ： 其中 N 为二叉树节点数；最差情况下，需要递归遍历树的所有节点。
空间复杂度 O(N) ： 最差情况下，递归深度达到 N ，系统使用O(N) 大小的额外空间。