[S]O-68-最近公共祖先问题

0-祖先&最近公共祖先意义

参考：大神的link

祖先

若节点 p 在节点 root的左（右）子树中，或 p=root，则称 root 是 p 的祖先

最近公共祖先

最近公共祖先的定义： 设节点root 为节点 p,q的某公共祖先，若其左子节点 root.left 和右子节点root.right 都不是 p,q 的公共祖先，则称root 是 “最近的公共祖先” 。

根据以上定义，若root 是 p,q的 最近公共祖先 ，则只可能为以下情况之一：

• p 和 q在 root的子树中，且分列root 的 异侧（即分别在左、右子树中）；
• p = root，且 q 在 root 的左或右子树中；
• q = root，且 p 在 root的左或右子树中；

1.二叉搜索树中两个节点的最近公共祖先

题目

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

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

分析

因为二叉树搜索树节点有序，所以问题变得简单。如果节点p比当前节点小，则说明节点p在当前节点的左子树；如果节点p比当前节点大，则说明节点p在当前节点的右子树。

• 如果p q的值都小于当前节点的值，则递归进入当前节点的左子树；
• 如果p q的值都大于当前节点的值，则递归进入当前节点的右子树；
• 如果当前节点的值在p q两个节点的值的中间，那么这两个节点的最近公共祖先则为当前的节点

python代码

# Definition for a binary tree node.
# class TreeNode:
#     def __init__(self, x):
#         self.val = x
#         self.left = None
#         self.right = None

class Solution:
    def lowestCommonAncestor(self, root: 'TreeNode', p: 'TreeNode', q: 'TreeNode') -> 'TreeNode':
        while root:
            if p.val>root.val and q.val>root.val:
                root=root.right
            if p.val<root.val and q.val<root.val:
                root=root.left
            else:break
        return root

2.二叉树中两个节点的最近公共祖先

题目

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

分析

考虑通过递归对二叉树进行后序遍历，当遇到节点 p 或 q 时返回。从底至顶回溯，当节点 p, q在节点 root 的异侧时，节点 root即为最近公共祖先，则向上返回 root 。

终止条件：

• 当越过叶节点，则直接返回null ；
• 当 root 等于 p, q，则直接返回root ；

递推工作：

• 开启递归左子节点，返回值记为 left ；
• 开启递归右子节点，返回值记为 right ；

返回值： 根据 left 和 right ，可展开为四种情况；

• 当 leftl和 right 同时为空 ：说明 root 的左 / 右子树中都不包含 p,q，返回null ；

• 当 left和 right 同时不为空 ：说明 p,q 分列在 root的 异侧 （分别在 左 /右子树），因此 root 为最近公共祖先，返回 root；

• 当 left为空 ，right 不为空 ：p,q都不在 root的左子树中，直接返回right 。具体可分为两种情况：
  (1)p,q 其中一个在 root 的 右子树 中，此时 right 指向p（假设为 p）；
  (2)p,q两节点都在 root 的 右子树 中，此时的 right 指向 最近公共祖先节点 ；

• 当 left不为空 ，right 为空 ：与情况 3. 同理；

参考大神链接：link

python代码

# Definition for a binary tree node.
# class TreeNode:
#     def __init__(self, x):
#         self.val = x
#         self.left = None
#         self.right = None

class Solution:
    def lowestCommonAncestor(self, root: TreeNode, p: TreeNode, q: TreeNode) -> TreeNode:
        if not root or root==p or q==root: return root
        left=self.lowestCommonAncestor(root.left,p,q)
        right=self.lowestCommonAncestor(root.right,p,q)
        if not left and not right: return 
        if not left: return right 
        if not right: return left 
        return root

--------------2021-02-09-------------