剑指 Offer 68 - I. 二叉搜索树的最近公共祖先

一、题目

题目链接：力扣

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

百度百科中最近公共祖先的定义为：“对于有根树 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 为不同节点且均存在于给定的二叉搜索树中。

---

二、题解

1、思路

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

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

本题给定了两个重要条件：① 树为二叉搜索树，② 树的所有节点的值都是 唯一 的。

根据以上条件，可方便地判断 p,q 与 root 的子树关系，即：

• 若 root.val<p.val 且 root.val<q.val，则 p、q 在 root 右子树 中；（非祖先情况1）
• 若 root.val>p.val 且 root.val>q.val，则 p、q 在 root 左子树 中；（非祖先情况2）
• 若 q->val <= root.val <= p.val 或者 p->val <= root.val <= q.val，则 p 和 root 指向 同一节点 。（祖先情况）

✋ 递归

上面我们知道如何判断是最近的祖先了，但是我们应该是一点点的排除不是最近祖先的情况，才能找到是最近祖先的结点。因此：

如果root不是最近的祖先，那么p,q一定在root的左子树或者右子树中：

• 当 p, q 都在 root 的 右子树 中，则开启递归root.right 并返回；
• 否则，当 p, q 都在 root 的 左子树 中，则开启递归 root.left 并返回；
• 否则，root为p，q的最近祖先。

✋ 迭代

上面我们知道如何判断是最近的祖先了，但是我们应该是一点点的排除不是最近祖先的情况，才能找到是最近祖先的结点。因此：

如果root不是最近的祖先，那么p,q一定在root的左子树或者右子树中：

• 当 p, q 都在 root 的 右子树 中，则向 root.right 迭代；
• 否则，当 p, q 都在 root 的 左子树 中，则向 root.left 迭代；
• 否则，root为p，q的最近祖先。

2、代码实现

✋ 递归

class Solution {
public:
    TreeNode* lowestCommonAncestor(TreeNode* root, TreeNode* p, TreeNode* q) {
        // p,q都存在与root，显然root不为空
        // root又是祖先，所以不论怎么迭代都不会为空
        // 不知道谁大谁小 p->val 和 q->val，因此两个一块判断
        if(root->val > p->val && root->val > q->val)return lowestCommonAncestor(root->left, p, q);

        if(root->val < p->val && root->val < q->val)return lowestCommonAncestor(root->right, p, q);

        return root;
    }
};

✋ 迭代

class Solution {
public:
    TreeNode* lowestCommonAncestor(TreeNode* root, TreeNode* p, TreeNode* q) {
        // p，q一定在树中，因此root一定不是空
        while(root)
        {
            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;
    }
};

3、复杂度分析

✋ 递归

时间复杂度：O(n)；

空间复杂度：O(n)。

✋ 迭代

时间复杂度：O(n)；

空间复杂度：O(1)。

4、运行结果

✋ 递归

 ✋ 迭代