二叉搜索树的最近公共祖先

一、需求

• 给定一个二叉搜索树, 找到该树中两个指定节点的最近公共祖先。
• 百度百科中最近公共祖先的定义为：对于有根树 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 为不同节点且均存在于给定的二叉搜索树中。

二、迭代法

2.1  思路分析

1. 根据二叉搜索树的特点，①设root为根节点，则它与左右的子树的值的关系满足：root.right.val > root.val > root.left.val，②没有重复元素；
2. 那么这道题，我们得确定节点p、q和root的位置关系是怎么样的？
3. ①p.val > root.val 且 q.val > root.val，这说明，节点p、q都在root的右子树；
4. ②p.val < root.val 且 q.val < root.val，这说明节点p、q都在root的左子树；
5. ③root.val == p ，那么不管q在哪，p，q的公共祖先都是当前root(p)，root.val == q也同理；
6. ④p.val > root.val 且 q.val < root.val 或 p.val < root.val 且 q.val > root.val时，说明p，q分别在root的左子树或右子树，它们的公共祖先即为root； 

2.2  代码实现

/**
 * 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) {
        while(root != null) {
            if(p.val > root.val && q.val > root.val) {
                root = root.right;
            } else if(p.val < root.val && q.val < root.val) {
                root = root.left;
            } else {
                break;
            }
        }
        return root;
    }
}

2.3  复杂度分析

• 时间复杂度为O(N)，其中N为二叉树的节点个数，每一轮循环排除一层，当二叉树为满二叉树时，其层数为，最坏情况下，二叉树退化为链表，其层数为N；
• 空间复杂度为O(1)，使用常数大小的额外空间；

三、递归法

3.1  思路分析

1. 根据迭代法的思路，在这里节点p、q都在右子树则递归右子树，若都在左子树，递归左子树，最后返回root；

3.2  代码实现

class Solution {
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        if(p.val > root.val && q.val > root.val) {
            root = lowestCommonAncestor(root.right, p, q);
        }
        if(p.val < root.val && q.val < root.val) {
            root = lowestCommonAncestor(root.left, p, q);
        }
        return root;
    }
}

3.3  复杂度分析

• 时间复杂度为O(N)，每一轮循环排除一层，当二叉树为满二叉树时，其层数为，最坏情况下，二叉树退化为链表，其层数为N；
• 空间复杂度为O(N)，最差情况下，当树退化为链表时，递归的深度达到树的层数N；

四、学习地址

作者：Krahets

链接：https://leetcode-cn.com/problems/er-cha-sou-suo-shu-de-zui-jin-gong-gong-zu-xian-lcof/solution/mian-shi-ti-68-i-er-cha-sou-suo-shu-de-zui-jin-g-7/