1 题目描述
给定一个二叉搜索树, 找到该树中两个指定节点的最近公共祖先。
百度百科中最近公共祖先的定义为:“对于有根树 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 解题思路
祖先的定义: 若节点p在节点root的左(右)子树中,或p=root,则称root是p的祖先。
最近公共祖先的定义: 设节点root为节点p,q的某公共祖先,若其左子节点root.left和右子节点root.right都不是p,q的公共祖先,则称root是最近的公共祖先“”。
根据以上定义,若root是p,q的最近公共祖先,则只可能为以下情况之一:
- p和q在root的子树中,且分列root的异侧(即分别在左、右子树中);
- p=root,且q在root的左或右子树中;
- q=root,且p在root的左或右子树中;
本题给定了两个重要条件:1)树为二叉搜索树,2)树的所有节点的值都是唯一的。根据以上条件,可方便地判断p,q与root的子树关系,即:
- 若 root.val < p.val,则p在root右子树中;
- 若 root.val > p.val,则p在root左子树中;
- 若 root.val = p.val,则p和root指向同一节点。
方法1:迭代
- 循环搜索:当节点root为空时跳出;
- 当p,q都在root的右子树中,则遍历至root.right;
- 否则 ,当p,q都在root的左子树中,则遍历至root.left;
- 否则,说明找到了最近公共祖先,跳出。
- 返回值:最近公共祖先root。
/**
* 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 (root.val < p.val && root.val < q.val) root = root.right;
else if (root.val > p.val && root.val > q.val) root = root.left;
else break;
}
return root;
}
}
复杂度分析:
- 时间复杂度 O(N) : 其中 N 为二叉树节点数;每循环一轮排除一层,二叉搜索树的层数最小为 logN (满二叉树),最大为 N (退化为链表)。
- 空间复杂度 O(1) : 使用常数大小的额外空间。
方法2:递归
- 递归工作:
- 当p,q都在root的右子树中,则开启递归root.right并返回;
- 否则,当p,q都在root的左子树中,则开启递归root.left并返回;
- 返回值:最近公共祖先root。
/**
* 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 < p.val && root.val < q.val)
return lowestCommonAncestor(root.right,p,q);
else if (root.val > p.val && root.val > q.val)
return lowestCommonAncestor(root.left,p,q);
else
return root;
}
}
复杂度分析:
- 时间复杂度 O(N) : 其中 N 为二叉树节点数;每循环一轮排除一层,二叉搜索树的层数最小为 logN (满二叉树),最大为 N (退化为链表)。
- 空间复杂度 O(N) : 最差情况下,即树退化为链表时,递归深度达到树的层数 N 。