【leetcode刷题记录】236. 二叉树的最近公共祖先

【leetcode刷题记录】236. 二叉树的最近公共祖先

题目描述

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

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

示例 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 。因为根据定义最近公共祖先节点可以为节点本身。

示例 3：
输入：root = [1,2], p = 1, q = 2
输出：1

提示：

1. 树中节点数目在范围 [2, 10^5] 内。
2. -10^9 <= Node.val <= 10^9
3. 所有 Node.val 互不相同 。
4. p != q
5. p 和 q 均存在于给定的二叉树中。

递归

对于lowestCommonAncestor函数输入的参数结点root，p，q，考虑以下几种情况：

1. 若root为空，则返回空；
2. 若p或q本身为root，则root即为p，q的最近公共祖先，返回root；
3. 若不属于以上两种情况，则考虑root的左右子树root->left和root->right，递归调用lowestCommonAncestor(root->left，p，q)和lowestCommonAncestor(root->right，p，q)，得到的返回结点分别记为left和right：
   1）若left为空，说明right为p，q的最近公共祖先，返回right；
   2）若right为空，说明left为p，q的最近公共祖先，返回left；
   3）若left，right均不为空，则只有可能是因为p，q分别在左右子树中，则root为p，q的最近公共祖先，返回root。
   代码如下：

/**
 * 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 || root == q || root == p) return root;
        TreeNode* left = lowestCommonAncestor(root->left, p, q);
        TreeNode* right = lowestCommonAncestor(root->right, p, q);
        if(!left) return right;
        if(!right) return left;
        return root;
    }
};