leetcode学习打卡--236. 二叉树的最近公共祖先(递归搜索)

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 为不同节点且均存在于给定的二叉树中。

对于树而言 一般解法都是搜索递归,但是找公共祖先我一开始是想从遍历顺序来入手，结果没有找到合适的解法。
后来看了题解恍然大悟
直接copy一下大佬的思路，蛮清晰的

---

具体思路：
（1） 如果当前结点 root 等于 NULL，则直接返回 NULL
（2） 如果 root等于 p 或者 q ，那这棵树一定返回 p 或者 q
（3） 然后递归左右子树，因为是递归，使用函数后可认为左右子树已经算出结果，用 left 和 right 表示
（4） 此时若left为空，那最终结果只要看 right；若right 为空，那最终结果只要看 left
（5） 如果 left和 right都非空，因为只给了 p 和 q 两个结点，都非空，说明一边一个，因此 root 是他们的最近公共祖先
（6） 如果 leftleft 和 rightright 都为空，则返回空（其实已经包含在前面的情况中了）
时间复杂度是 O(n)：每个结点最多遍历一次或用主定理，空间复杂度是 O(n)：需要系统栈空间

---

这里就直接给出形式上的最简代码 6行

class Solution {
public:
    TreeNode* lowestCommonAncestor(TreeNode* root, TreeNode* p, TreeNode* q) {
        if(root == NULL || 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;
        return root;
    }
};

---

详细注释版代码

class Solution {
public:
    TreeNode* lowestCommonAncestor(TreeNode* root, TreeNode* p, TreeNode* q) {
//递归的时候需要注意从最底层往上逐层进行递归
        if(root == NULL)
        {
            return  NULL;
        }
        //最底层为空节点的时候，返回空
        if(p == root||q == root)
        {
            return  root;
        }
        //最底层的之上如果有与当前节点相同的时候，返回当前节点
        TreeNode* lefts = lowestCommonAncestor(root->left,p,q);
        TreeNode* rights = lowestCommonAncestor(root->right,p,q);
        if(lefts&&rights)
        {
            return  root;
        }
        //找到相同节点之上如果左右子树均能够找到的时候，
        //返回共同祖先节点
        if(lefts == NULL)
        {
            return  rights;
        }
        return  lefts;
        //共同祖先节点之上如果能够找到共同节点的时候，返回共同节点
    }
};