题目描述
给定一个二叉树, 找到该树中两个指定节点的最近公共祖先。
百度百科中最近公共祖先的定义为:“对于有根树 T 的两个结点 p、q,最近公共祖先表示为一个结点 x,满足 x 是 p、q 的祖先且 x 的深度尽可能大(一个节点也可以是它自己的祖先)。”
例如,给定如下二叉树: root = [3,5,1,6,2,0,8,null,null,7,4]
示例 1:
输入: root = [3,5,1,6,2,0,8,null,null,7,4], p = 5, q = 1
输出: 3
解释: 节点 5 和节点 1 的最近公共祖先是节点 3。
示例 2:输入: root = [3,5,1,6,2,0,8,null,null,7,4], p = 5, q = 4
输出: 5
解释: 节点 5 和节点 4 的最近公共祖先是节点 5。因为根据定义最近公共祖先节点可以为节点本身。
说明:所有节点的值都是唯一的。p、q 为不同节点且均存在于给定的二叉树中。
参考解题思路:递归判断两个目标节点分布情况,共三种,考虑通过递归对二叉树进行后序遍历,当遇到节点 p 或 q 时返回。从底至顶回溯,当节点 p, q在节点 root 的异侧时,节点root 即为最近公共祖先,则向上返回 root。
- p 和 q 在 root 的子树中,且分列 root 的 异侧(即分别在左、右子树中);
- p = root ,且 q 在 root 的左或右子树中;
- q = root ,且 p 在 root 的左或右子树中;
递归解析:
- 终止条件:
- 当越过叶节点,则直接返回 null ;
- 当 root 等于 p, q,则直接返回 root;
- 递推工作:
- 开启递归左子节点,返回值记为 left ;
- 开启递归右子节点,返回值记为 right;
- 返回值: 根据 left和 right ,可展开为四种情况;
- 当 left和 right同时为空 :说明 root的左 / 右子树中都不包含 p,q,返回 null;
- 当 left和 right同时不为空 :说明 p, q分列在 root 的 异侧 (分别在 左 / 右子树),因此 root为最近公共祖先,返回 root;
- 当 left为空 ,right 不为空 :p,q都不在 root的左子树中,直接返回 right。具体可分为两种情况:
- p,q 其中一个在 root的 右子树 中,此时 right指向 p(假设为 p );
- p,q两节点都在 root的 右子树 中,此时的 right指向 最近公共祖先节点 ;
4. 当 left不为空 , right 为空 :与情况 3. 同理;
情况 1.
可合并至 3.
和 4.
内
public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
// 当前节点为空或等于p或者q时--即最近祖先一定为root,返回root
if (root == null || root == p || root == q) {
return root;
}
// 后续遍历二叉树
TreeNode left = lowestCommonAncestor(root.left, p, q);
TreeNode right = lowestCommonAncestor(root.right, p, q);
// 如果左子树没有找到等于p或者q的节点--返回右子树即两个目标节点都在树的右侧
if (left == null) {
return right;
}
// 如果左子树不为空,右子树为空即没有找到等于p或者q的节点--返回左子树即两个目标节点都在树的左侧
if (right == null) {
return left;
}
// 左子树和右子树都不为空则目标节点遍历在root的左右两侧--返回当前节点root为最深公共节点
return root;
}
复杂度分析:
时间复杂度 O(N): 其中 N 为二叉树节点数;最差情况下,需要递归遍历树的所有节点。
空间复杂度 O(N): 最差情况下,递归深度达到 N ,系统使用 O(N)大小的额外空间。
作者:jyd
链接:https://leetcode-cn.com/problems/er-cha-shu-de-zui-jin-gong-gong-zu-xian-lcof/solution/mian-shi-ti-68-ii-er-cha-shu-de-zui-jin-gong-gon-7/