一起学习LeetCode热题100道（49/100）

49.二叉树的最近公共祖先(学习)

给定一个二叉树, 找到该树中两个指定节点的最近公共祖先。
百度百科中最近公共祖先的定义为：“对于有根树 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, 105] 内。
-109 <= Node.val <= 109
所有 Node.val 互不相同 。
p != q
p 和 q 均存在于给定的二叉树中。

解析：
一、基本情况处理
1.如果root为空，说明我们已经遍历到了叶子节点的下一个位置（即不存在），此时应该返回null（但在这个特定情况下，由于我们是从根节点开始遍历的，所以实际上不会执行到这一步）。不过，为了代码的健壮性，我们仍然包含了这个检查。
2.如果root等于p或q，说明我们已经找到了一个目标节点，此时root就是我们要找的最近公共祖先（或者至少是一个候选者，因为还需要考虑另一个节点）。由于题目保证p和q都存在于树中，且p != q，所以这种情况只会发生一次。

二、递归搜索
1.我们递归地在左子树和右子树中分别调用lowestCommonAncestor函数，以找到p和q的最近公共祖先。
2.left将存储左子树中p和q的最近公共祖先（如果存在的话），right将存储右子树中的结果。

三、判断并返回结果
1.如果left和right都不为空，说明我们在左子树和右子树中都找到了目标节点（或者至少是一个目标节点和一个候选的最近公共祖先）。由于我们是从当前节点root开始分别搜索左右子树的，因此root必然是这两个目标节点的最近公共祖先。
2.如果left为空而right不为空，说明p和q都在右子树中（或者至少q在右子树中，且p要么在右子树中，要么就是root本身），因此我们应该返回right作为结果。
3.同理，如果right为空而left不为空，我们应该返回left作为结果。
4.如果left和right都为空，理论上这种情况不会发生，因为题目保证p和q都存在于树中。但为了代码的健壮性，我们仍然包含了这种情况的处理（尽管在这个特定的函数实现中，它实际上不会被执行到）。

var lowestCommonAncestor = function (root, p, q) {
    // 如果当前节点为空，或者当前节点是目标节点之一，返回当前节点  
    if (!root || root === p || root === q) {
        return root;
    }

    // 递归地在左子树中查找  
    let left = lowestCommonAncestor(root.left, p, q);
    // 递归地在右子树中查找  
    let right = lowestCommonAncestor(root.right, p, q);

    // 如果左右子树都找到了目标节点，则当前节点是最近公共祖先  
    if (left && right) {
        return root;
    }

    // 如果左子树或右子树找到了目标节点，则返回找到的那个子树的结果  
    // 否则返回null（但这种情况在题目给定的条件下不会发生，因为p和q一定在树中）  
    return left ? left : right;
};