我的LeetCode：https://leetcode-cn.com/u/ituring/
我的LeetCode刷题源码[GitHub]：https://github.com/izhoujie/Algorithmcii
LeetCode 236. 二叉树的最近公共祖先
题目
给定一个二叉树, 找到该树中两个指定节点的最近公共祖先。
百度百科中最近公共祖先的定义为：“对于有根树 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 为不同节点且均存在于给定的二叉树中。
来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/lowest-common-ancestor-of-a-binary-tree
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。
解题思路
思路1-递归判断root与pq是否相等
思路解析：可能的情况：
- 当前节点是其中之一，直接返回；
- 当前节点不是其中之一；
- 目标节点分散在当前节点的左右子树中；
- 目标节点集中在当前节点的其中一个子树中；
根据以上的逻辑设计递归：
- 当前节点是目标节点之一，返回；
- 当前节点不是目标节点之一，但是在左右子树的最终递归中找到了目标节点且分散在左右子树中（最终返回都非null），则当前节点是共同祖节点；
- 当前节点不是目标节点之一，且左右子树递归中有一方返回了null，则非null的一方继续前两步的递归逻辑；
算法复杂度:
- 时间复杂度： $ {\\color{Magenta}{\\Omicron\\left(n\\right)}} $
- 空间复杂度： $ {\\color{Magenta}{\\Omicron\\left(logn\\right)}} $ 递归栈的深度
算法源码示例
package leetcode;
/**
* @author ZhouJie
* @date 2020年3月7日 下午6:00:19
* @Description: 236. 二叉树的最近公共祖先
*
*/
public class LeetCode_0236 {
}
// Definition for a binary tree node.
class TreeNode_0236 {
int val;
TreeNode_0236 left;
TreeNode_0236 right;
TreeNode_0236(int x) {
val = x;
}
}
class Solution_0236 {
/**
* @author: ZhouJie
* @date: 2020年3月7日 下午6:20:19
* @param: @param root
* @param: @param p
* @param: @param q
* @param: @return
* @return: TreeNode_0236
* @Description: 1-直接递归校验节点；
*
*/
public TreeNode_0236 lowestCommonAncestor(TreeNode_0236 root, TreeNode_0236 p, TreeNode_0236 q) {
if (root == null || root == p || root == q) {
return root;
} else {
TreeNode_0236 left = lowestCommonAncestor(root.left, p, q);
TreeNode_0236 right = lowestCommonAncestor(root.right, p, q);
// 可以一行返回，但是可读性不好
// return left == null ? right : (right == null ? left : root);
if (left == null) {
return right;
} else if (right == null) {
return left;
} else {
return root;
}
}
}
}