面试题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. 二叉搜索树
2. 所有节点的值都是唯一的

首先给出二叉搜索树的定义：

二叉查找树（Binary Search Tree），（又：二叉搜索树，二叉排序树）它或者是一棵空树，或者是具有下列性质的二叉树： 若它的左子树不空，则左子树上所有结点的值均小于它的根结点的值； 若它的右子树不空，则右子树上所有结点的值均大于它的根结点的值； 它的左、右子树也分别为二叉排序树。

从定义可以看出，这也是一个递归定义，而且有一个大小值的相对关系，不难发现，二叉搜索树的中序遍历是一个严格递增的序列，即L<D<R。再回归到本题，需要找到两个节点的最近公共祖先。p和q的最近公共祖先root无外乎三种情况：

1. p和q位于root两侧
2. p == root，并且q位于p的子树中
3. q == root，并且p位于q的子树中

而由于所有节点的值是唯一的，因此可以根据节点值之间的相对大小来分析节点之间的父子关系。

具体代码如下：

class Solution:
    def lowestCommonAncestor(self, root: 'TreeNode', p: 'TreeNode', q: 'TreeNode') -> 'TreeNode':
        if not root:
            return None
        if p.val > q.val:  # 设置p.val <= q.val，减少后续判断条件
            p, q = q, p
        node = root
        while node:
            if p.val <= node.val <= q.val:  # 三种满足的情况
                return node
            # 不满足以上三种情况的话，再进入p、q所在的子树继续查找
            if node.val > q.val:
                node = node.left
            elif node.val < p.val:
                node = node.right
        return None