给定一个二叉搜索树, 找到该树中两个指定节点的最近公共祖先。
百度百科中最近公共祖先的定义为:“对于有根树 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来说,它们的公共祖先结点的值一定是在[p,q]这个区间里的,假设p的值小于q。那么怎么确保这个公共祖先结点是最近的公共祖先节点呢,事实上,从根节点开始往下遍历,第一个遇到的在[p,q]区间里的结点就是它们的最近公共祖先节点。
可以看一下例1的图,若此时p=0,q=5,要找他们的最近公共祖先,利用我们上面说的二叉搜索树的特性来判断,第一次遇到存在[p,q]区间的节点是2,这就是它们的最近公共祖先了,若继续往下找,可能找到0,但这不是5的祖先,那找到4,但这不是0的祖先,因此第一个遇到的在[p,q]区间里的结点就是它们的最近公共祖先节点。
代码(Python):
class Solution(object):
def lowestCommonAncestor(self, root, p, q):
if not root:
return None
cur = root
while cur:
if cur.val >= p.val and cur.val <= q.val or cur.val <= p.val and cur.val >= q.val:
return cur
elif cur.val > max(p.val,q.val):
cur = cur.left
else:
cur = cur.right