LeetCode 最近的公共祖先

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

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

例如，给定如下二叉树：root = [3,5,1,6,2,0,8,null,null,7,4]

示例 1：

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

示例 2：

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

说明：

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

递归思路

如果根节点为空，那么函数直接返回为 NULL。如果根节点为 p 或者 q，那么函数返回 p 或者 q，即返回根节点。

对于一般的情况，分别递归左右子树，返回 p 和 q 在左右两个子树的最近公共祖先。如果 p 和 q 在左右两侧，则返回根节点；如果 p 和 q 在同一侧，那么必有一个子树返回为 NULL，那么函数返回不为空的那个节点。

具体代码如下：

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

运行结果：