【二叉树】68题-二叉搜索树的最近公共祖先

1 题目描述

给定一个二叉搜索树, 找到该树中两个指定节点的最近公共祖先。

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

例如，给定如下二叉搜索树: root = [6,2,8,0,4,7,9,null,null,3,5]

示例1：

输入: root = [6,2,8,0,4,7,9,null,null,3,5], p = 2, q = 8
输出: 6 
解释: 节点 2 和节点 8 的最近公共祖先是 6。

示例2：

输入: root = [6,2,8,0,4,7,9,null,null,3,5], p = 2, q = 4
输出: 2
解释: 节点 2 和节点 4 的最近公共祖先是 2, 因为根据定义最近公共祖先节点可以为节点本身。

说明：

所有节点的值都是唯一的。
p、q 为不同节点且均存在于给定的二叉搜索树中。

2 解题思路

祖先的定义： 若节点p在节点root的左（右）子树中，或p=root，则称root是p的祖先。

最近公共祖先的定义： 设节点root为节点p，q的某公共祖先，若其左子节点root.left和右子节点root.right都不是p，q的公共祖先，则称root是最近的公共祖先“”。

根据以上定义，若root是p，q的最近公共祖先，则只可能为以下情况之一：

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

本题给定了两个重要条件：1）树为二叉搜索树，2）树的所有节点的值都是唯一的。根据以上条件，可方便地判断p，q与root的子树关系，即：

• 若 root.val < p.val，则p在root右子树中；
• 若 root.val > p.val，则p在root左子树中；
• 若 root.val = p.val，则p和root指向同一节点。

方法1：迭代

1. 循环搜索：当节点root为空时跳出；
   1. 当p，q都在root的右子树中，则遍历至root.right；
   2. 否则 ，当p，q都在root的左子树中，则遍历至root.left；
   3. 否则，说明找到了最近公共祖先，跳出。
2. 返回值：最近公共祖先root。

/**
 * Definition for a binary tree node.
 * public class TreeNode {
 *     int val;
 *     TreeNode left;
 *     TreeNode right;
 *     TreeNode(int x) { val = x; }
 * }
 */
class Solution {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        while (root != null) {
            if (root.val < p.val && root.val < q.val) root = root.right;
            else if (root.val > p.val && root.val > q.val) root = root.left;
            else break;
        }
        return root;
    }
}

复杂度分析：

• 时间复杂度 O(N) ： 其中 N 为二叉树节点数；每循环一轮排除一层，二叉搜索树的层数最小为 logN （满二叉树），最大为 N （退化为链表）。
• 空间复杂度 O(1) ： 使用常数大小的额外空间。

方法2：递归

1. 递归工作：
   1. 当p，q都在root的右子树中，则开启递归root.right并返回；
   2. 否则，当p，q都在root的左子树中，则开启递归root.left并返回；
2. 返回值：最近公共祖先root。

/**
 * Definition for a binary tree node.
 * public class TreeNode {
 *     int val;
 *     TreeNode left;
 *     TreeNode right;
 *     TreeNode(int x) { val = x; }
 * }
 */
class Solution {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        if (root.val < p.val && root.val < q.val) 
            return lowestCommonAncestor(root.right,p,q);
        else if (root.val > p.val && root.val > q.val) 
            return lowestCommonAncestor(root.left,p,q);
        else
            return root;
    }
}

复杂度分析：

• 时间复杂度 O(N) ： 其中 N 为二叉树节点数；每循环一轮排除一层，二叉搜索树的层数最小为 logN （满二叉树），最大为 N （退化为链表）。
• 空间复杂度 O(N) ： 最差情况下，即树退化为链表时，递归深度达到树的层数 N 。