LeetCode 236 二叉树的最近公共祖先 -- 递归法

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/lowest-common-ancestor-of-a-binary-tree

---

题意：

给定一个二叉树, 找到该树中两个指定节点的最近公共祖先。

百度百科中最近公共祖先的定义为：“对于有根树 T 的两个节点 p、q，最近公共祖先表示为一个节点 x，满足 x 是 p、q 的祖先且 x 的深度尽可能大（一个节点也可以是它自己的祖先）。”

示例 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 。因为根据定义最近公共祖先节点可以为节点本身。

示例 3：
输入：root = [1,2], p = 1, q = 2
输出：1

提示：
树中节点数目在范围 [2, 10⁵] 内。
-10⁹ <= Node.val <= 10⁹
所有 Node.val 互不相同 。
p != q
p 和 q 均存在于给定的二叉树中。

---

参考文章

思路：

这道题涉及到二叉树的自底向上查找，而二叉树的自底向上查找我们可以借助回溯来实现，同时二叉树的后序遍历也即是天然的回溯过程，因此我们先处理叶子节点，再处理中间节点。

这道题在二叉树自底向上的传递过程中通过递归方法的返回值来判断最近公共祖先，使用null来做标记：

• 当递归方法返回null时，意味着当前遍历的子树中不含有与目标节点相关的节点；
• 相反，如果递归方法返回的值不会null，意味着当前遍历的子树中含有与目标节点相关的节点。

当一个节点的左右子树递归遍历的结果返回值都不为null时，意味着这个节点的左右子树都含有与目标节点相关节点，则当前节点就是最近公共祖先。

下面两个图很形象地说明了这个过程（图片转自代码随想录）：


更多细节可以参阅参考文章，讲的很详细！

本题Java代码：

class Solution {
	public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
		if (root == p || root == q || root == null) return root;
		TreeNode left = lowestCommonAncestor(root.left, p, q);
		TreeNode right = lowestCommonAncestor(root.right, p, q);
		if (left != null && right != null) return root;
		if (left == null && right != null) return right;
		return left;
	}
}