【算法】【递归篇】【树】第4节：leetcode 236. 二叉树的最近公共祖先

本期任务：介绍leetcode中树的几个经典问题的递归解法

【算法】【递归篇】【树】第1节：leetcode 100. 相同的树

【算法】【递归篇】【树】第2节：leetcode 105. 从前序与中序遍历序列构造二叉树

【算法】【递归篇】【树】第3节：leetcode 210. 课程表 II

【算法】【递归篇】【树】第4节：leetcode 236. 二叉树的最近公共祖先

【算法】【递归篇】【树】第5节：leetcode 572. 另一个树的子树

【算法】【递归篇】【树】第6节：leetcode 101. 对称二叉树

【算法】【递归篇】【树】第7节：leetcode 98. 验证二叉搜索树

【算法】【递归篇】【树】第8节：leetcode 102. 二叉树的层序遍历

---

问题来源

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

---

大佬解析

• 【C++ 经典递归】思路非常好理解 时间复杂度O(n), 空间复杂度O(n)

当我们用递归去做这个题时不要被题目误导，应该要明确一点，这个函数的功能有三个：给定两个节点 p 和 q

• 如果 p 和 q 都存在，则返回它们的公共祖先；
• 如果只存在一个，则返回存在的一个；
• 如果 p 和 q 都不存在，则返回NULL

本题说给定的两个节点都存在，那自然还是能用上面的函数来解决，具体思路如下：
（1） 如果当前结点 root 等于 NULL，则直接返回 NULL
（2） 如果 root 等于 p 或者 q ，那这棵树一定返回 p 或者 q
（3） 然后递归左右子树，因为是递归，使用函数后可认为左右子树已经算出结果，用 left 和 right 表示
（4） 此时若left为空，那最终结果只要看 right；若 right 为空，那最终结果只要看 left
（5） 如果 left 和 right 都非空，因为只给了 p 和 q 两个结点，都非空，说明一边一个，因此 root 是他们的最近公共祖先

---

代码

class Solution:

    def lowestCommonAncestor(self, root, p, q):

        if p == root or q == root:  # 若有一个节点为根节点，则该节点为最近父节点
            return root
        elif not root:  # 若为空树，则返回None
            return

        left = self.lowestCommonAncestor(root.left, p, q)  # 左子树搜索最近父节点
        right = self.lowestCommonAncestor(root.right, p, q)  # 右子树搜索最近父节点

        if not left:  # 左子树上无最近父节点，则最近父节点必在右子树上
            return right
        elif not right:  # 右子树上无最近父节点，则最近父节点必在左子树上
            return left
        else:  # 左右子树上一边一个节点，则根节点为其最近父节点
            return root