【leetcode千题】剑指 Offer 68 - I. 二叉搜索树的最近公共祖先

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

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

例如，给定如下二叉搜索树: root = [6,2,8,0,4,7,9,null,null,3,5]

示例 1:

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

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

说明:

所有节点的值都是唯一的。
p、q 为不同节点且均存在于给定的二叉搜索树中。
注意：本题与主站 235 题相同：https://leetcode-cn.com/problems/lowest-common-ancestor-of-a-binary-search-tree/

思路1：

分别dfs找到两条路径，比较最远相同的节点

# 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':
        l = [root]
        ll = []
        def dfs(root,n):
            nonlocal l,ll
            if root==n:
                ll = l.copy()
                return 
            else:
                if root.left:
                    l.append(root.left)
                    dfs(root.left, n)
                    l.pop()
                if root.right:
                    l.append(root.right)
                    dfs(root.right, n)
                    l.pop()
        dfs(root, p)
        ans1 = ll.copy()
        l = [root]
        dfs(root,q)
        ans2 = ll.copy()
        l = min(len(ans1),len(ans2))
        ans = TreeNode()
        for i in range(l):
            if ans1[i]==ans2[i]:
                ans = ans1[i]
        return ans

思路2：利用搜索二叉树性质

从上向下查找

class Solution:
    def lowestCommonAncestor(self, root: 'TreeNode', p: 'TreeNode', q: 'TreeNode') -> 'TreeNode':
        l = [root]
        ll = []
        if p.val > q.val:
            p,q = q,p
        while True:
            if root==p or root==q:
                return root
            elif root.val > p.val and root.val < q.val:
                return root
            elif root.val < p.val:
                root = root.right
            elif root.val > q.val:
                root = root.left