力扣 235. 二叉搜索树的最近公共祖先

一、题目描述

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

最近公共祖先的定义：对于有根树 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，因为根据定义最近公共祖先节点可以为节点本身。

---

二、题解

将二叉树视为普通二叉树，利用回溯法由底向上搜索：

class Solution {
public:
    /**
     * 组织里有两个叛徒，现在要找到他们的职位最低的公共上司
     * @param root 组织头目
     * @param p 叛徒一
     * @param q 叛徒二
     * @return 职位最低的公共上司
     */
    TreeNode *lowestCommonAncestor(TreeNode *root, TreeNode *p, TreeNode *q) {
        /* 部门为空，或者我本人就是其中一个叛徒，直接将我返回即可 */
        if (!root || root->val == p->val || root->val == q->val) {
            return root;
        }

        /* 分别检查左右子部门 */
        TreeNode *left_check = lowestCommonAncestor(root->left, p, q);
        TreeNode *right_check = lowestCommonAncestor(root->right, p, q);

        /* 如果左右子部门各有一个叛徒，那最小上司就是我
         * 如果只有左子部门有一个，他可能是叛徒，也可能是最小上司，但反正倒霉的不是我
         * 如果只有右子部门有一个，他可能是叛徒，也可能是最小上司，但反正倒霉的不是我
         * 左右子部门没有，我也不是，完全跟我没关系 */
        if (left_check && right_check) {
            return root;
        } else if (left_check) {
            return left_check;
        } else if (right_check) {
            return right_check;
        } else {
            return nullptr;
        }
    }
};

当然，我们也可以根据二叉搜索树的特性，借助于节点的值优化搜索：

class Solution {
public:
    TreeNode *lowestCommonAncestor(TreeNode *root, TreeNode *p, TreeNode *q) {
        if (root->val > p->val && root->val > q->val) {
            return lowestCommonAncestor(root->left, p, q);
        } else if (root->val < p->val && root->val < q->val) {
            return lowestCommonAncestor(root->right, p, q);
        } else {
            return root;
        }
    }
};