【LeetCode】235. 二叉搜索树的最近公共祖先（同剑指 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 为不同节点且均存在于给定的二叉搜索树中。

二、解决

1、递归

思路：

这是二叉搜索树，可以先阅读【LeetCode】98. 验证二叉搜索树中的递归解法。

由二叉搜索树值特征出发，从根节点出发，不断遍历，直到找到一个节点的左右子树正好含有p、q节点。

当然也有特殊情况，比如p、q节点有一个在根节点中，此时p/q.val==root.val。

综上，可以得出下面的代码。

代码：

/**
 * Definition for a binary tree node.
 * public class TreeNode {
 *     int val;
 *     TreeNode left;
 *     TreeNode right;
 *     TreeNode(int x) { val = x; }
 * }
 */
 
class Solution {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        if(root.val<Math.min(p.val,q.val)) return lowestCommonAncestor(root.right,p,q);
        if(root.val>Math.max(p.val,q.val)) return lowestCommonAncestor(root.left,p,q);
        return root;
    }
}

时间复杂度： O(n)
空间复杂度： O(n)

2、迭代

思路： 类似上述递归的思路，只不过不需要回溯来找到LCA节点，因此完全可以用迭代的方式。更具体的看代码注释吧。

代码：

问题： (root.val - p.val) * (root.val - q.val) 相乘可能超出定义类型范围。

class Solution {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
		// p和q的值都大于root.val，p和q的值都小于root.val
        while ((root.val - p.val) * (root.val - q.val) > 0)
			// {p.val && q.val}<root.val，返回root.left; {p.val && q.val}>root.val，返回root.right
            root = p.val < root.val ? root.left : root.right;
		// p和q有一个>=root.val  或者  有一个<=root.val，返回根节点
        return root;
    }
}

时间复杂度： O(n)
空间复杂度： O(1)

三、参考

1、二叉搜索树的最近公共祖先
2、3 lines with O(1) space, 1-Liners, Alternatives
3、My Java Solution
4、11ms java solution, 3 lines