68-1：二叉搜索树的最近公共祖先（剑指offer第2版Python）LeetCode.235

1、题目描述

https://leetcode-cn.com/problems/lowest-common-ancestor-of-a-binary-search-tree/

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

百度百科中最近公共祖先（LCA）的定义为：“对于有根树 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 为不同节点且均存在于给定的二叉搜索树中。

2、代码详解

迭代法

对于二叉搜索树而言，每个节点的左子节点都小于这个数，右子节点都大于这个数，

因此，我们比较当前节点和需要比较的结点m，n的大小，

• 如果当前节点的值均大于m，n，则在当前节点的左子树继续操作，
• 如果当前节点均小于m，n，则在当前节点的右子树继续操作，
• 反之，则当前结点是最小公共祖先。

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

class Solution(object):
    def lowestCommonAncestor(self, root, p, q):
        """
        :type root: TreeNode
        :type p: TreeNode
        :type q: TreeNode
        :rtype: TreeNode
        """
        if p == None or q == None:
            return
        if p == q:
            return p
        pVal = p.val
        qVal = q.val

        node = root

        while node != None:
            if qVal > node.val and pVal > node.val:
                node = node.right
            elif qVal < node.val and pVal < node.val:
                node = node.left
            else:
                # (qVal - node.val)*(pVal - node.val) <= 0
                return node
        return False

时间复杂度：O(N)其中 N 为 BST 中节点的个数，在最坏的情况下我们可能需要遍历 BST 中所有的节点。  

空间复杂度：O(1)

法二：递归解法