236 二叉树的最近公共祖先（递归）

1. 问题描述：

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

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

2. 思路分析：

这道题目与力扣中的235题是类似的，235题为二叉搜索树所以通过p，q节点与当前根节点的大小关系判断p，q节点与根节点的相对位置，但是这道题目为二叉树所以不能够通过p，q节点与根节点的关系来判断属于哪一种情况所以我们需要遍历整棵树，遍历的时候找到对应的p，q节点的位置，我们可以定义一个变量state来记录p，q节点查找的情况，可以将state看成是两位二进制来表示p，q节点寻找的情况，第一位二进制表示节点q的寻找情况，第二位二进制表示节点p的寻找情况，二进制的1表示已经找到当前的节点。我们其实在递归完当前的左子树的时候判断当前的根节点是否等于p或者q（相当于是前序遍历的顺序）如果是p节点那么与1进行或运算即可，如果为q那么与2进行或运算即可。递归完左子树将结果保存在state中，然后递归右子树，并且state与右子树递归的结果进行或运算即可，最后判断当前的state是否等于3，如果值为3说明二进制的两个位置上为1那么找到了p，q节点，我们可以声明一个全局变量res来记录第一次同时找到p，q节点的最近公共祖先。

3. 代码如下：

递归：

class TreeNode:
    def __init__(self, x):
        self.val = x
        self.left = None
        self.right = None


class Solution:
    res = None

    # 使用二进制来表示是否找到了p, q节点, 第一位表示是否有q, 第二位表示是否有p
    def dfs(self, root: 'TreeNode', p: 'TreeNode', q: 'TreeNode') -> 'TreeNode':
        if not root: return 0
        state = self.dfs(root.left, p, q)
        if root == p:
            # 找到了p节点
            state |= 1
        elif root == q:
            # 找到了q节点
            state |= 2
        state |= self.dfs(root.right, p, q)
        # 找到了p,q节点而且当前的节点是第一次出现的节点
        if state == 3 and not self.res: self.res = root
        return state

    def lowestCommonAncestor(self, root: 'TreeNode', p: 'TreeNode', q: 'TreeNode') -> 'TreeNode':
        self.dfs(root, p, q)
        return self.res

class TreeNode:
    def __init__(self, x):
        self.val = x
        self.left = None
        self.right = None


class Solution:
    def lowestCommonAncestor(self, root: TreeNode, p: TreeNode, q: TreeNode) -> TreeNode:
        if not root or p.val == root.val or q.val == root.val: return root
        l, r = self.lowestCommonAncestor(root.left, p, q), self.lowestCommonAncestor(root.right, p, q)
        if l and r: return root
        return l if l else r