Leetcode 236.二叉树的最近公共祖先

原题链接：Leetcode 236. Lowest Common Ancestor of a Binary Tree

Given a binary tree, find the lowest common ancestor (LCA) of two given nodes in the tree.

According to the definition of LCA on Wikipedia: “The lowest common ancestor is defined between two nodes p and q as the lowest node in T that has both p and q as descendants (where we allow a node to be a descendant of itself).”

Example 1:

Input: root = [3,5,1,6,2,0,8,null,null,7,4], p = 5, q = 1
Output: 3
Explanation: The LCA of nodes 5 and 1 is 3.

Example 2:

Input: root = [3,5,1,6,2,0,8,null,null,7,4], p = 5, q = 4
Output: 5
Explanation: The LCA of nodes 5 and 4 is 5, since a node can be a descendant of itself according to the LCA definition.

Example 3:

Input: root = [1,2], p = 1, q = 2
Output: 1

Constraints:

• The number of nodes in the tree is in the range [2, 10⁵].
• -10⁹ <= Node.val <= 10⁹
• All Node.val are unique.
• p != q
• p and q will exist in the tree.

---

方法一：递归

思路：

二叉树的问题都可以考虑递归来做
若root 是 p, q 的 最近公共祖先 ，则只可能为以下情况之一：

1. p 和 q 在 root 的两侧；
2. p=root ，且 q 在 root 的左或右子树中；
3. q=root ，且 p 在 root 的左或右子树中；

考虑通过递归对二叉树进行先序遍历，当遇到节点 p 或 q 时返回。从底至顶回溯，当节点 p,q 分别在节点 root 的两侧时，节点 root 即为最近公共祖先，则向上返回 root

将找到最近公共祖先的函数理解为：

找到p、q的最近公共祖先{
	递归到叶子结点就返回空;
	如果结点是p、q中的一个，就返回它本身;

	根结点递归左右孩子;
	如果左右都不为空, 说明根就是最近公共祖先（pq在两侧的情况）
	如果有一个为空, 返回非空的那个即可;
}

C++代码：

/**
 * Definition for a binary tree node.
 * struct TreeNode {
 *     int val;
 *     TreeNode *left;
 *     TreeNode *right;
 *     TreeNode(int x) : val(x), left(NULL), right(NULL) {}
 * };
 */

class Solution {
public:

    /*
    函数的功能理解为:
    给定两个节点 p 和 q
    1. 如果 p 和 q 都在树中，则返回它们的公共祖先
    2. 如果树中只存在一个，则返回存在的一个
    3. 如果 p 和 q 都不存在树中，则返回NULL
    */
    TreeNode* lowestCommonAncestor(TreeNode* root, TreeNode* p, TreeNode* q) {
        // 递归到叶子结点的情况
        if(root == NULL)
            return NULL;

        // 如果根结点恰好就是p、q中的一个，就返回他自己
        if(root == p || root == q) 
            return root;
            
        // 可认为已经实现了左右子树算出的结果
        TreeNode* left =  lowestCommonAncestor(root->left, p, q);
        TreeNode* right = lowestCommonAncestor(root->right, p, q);
       
        // p和q在两侧 此时的root就是结果
        if(left && right) 
            return root;

		// 如果有一个为空 那么答案只看另一个
        if(left == NULL)
            return right;
        if(right == NULL)
            return left;
        
        // 必须有返回值
        return NULL; 
    }
};

复杂度分析：

• 时间复杂度O(n)，其中 n 为二叉树节点数；最差情况下，需要递归遍历树的所有节点
• 空间复杂度O(n)，最差情况下，递归深度达到 N ，系统使用 O(N) 大小的额外空间。