leetcode236二叉树中最近的公共祖先

最近公共祖先的定义： 设节点 rootroot 为节点 p, qp,q 的某公共祖先，若其左子节点 root.leftroot.left 和右子节点 root.rightroot.right 都不是 p,qp,q 的公共祖先，则称 rootroot 是 “最近的公共祖先” 。
根据以上定义，若 rootroot 是 p, qp,q 的 最近公共祖先 ，则只可能为以下情况之一：

p 和 qq在 root 的子树中，且分列 root 的 异侧（即分别在左、右子树中）；
p = root ，且 q 在 root 的左或右子树中；
q = root ，且 p 在 root的左或右子树中；

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

递归解析：
终止条件：
当越过叶节点，则直接返回 null ；
当 root等于 p, q ，则直接返回 root ；
递推工作：
开启递归左子节点，返回值记为left ；
开启递归右子节点，返回值记为 right ；
返回值： 根据 left 和 right，可展开为四种情况；
1.当 leftl和 right同时为空 ：说明 root 的左 / 右子树中都不包含 p,q ，返回 null ；
2.当 left 和 right同时不为空 ：说明 p, q 分列在 root 的 异侧 （分别在 左 / 右子树），因此 root为最近公共祖先，返回 root ；
3.当 left 为空 ，right不为空 ：p,q都不在 root的左子树中，直接返回 right 。具体可分为两种情况：
4.p,q 其中一个在 root 的 右子树 中，此时 right指向 pp（假设为 pp ）；
p,q 两节点都在 root的 右子树 中，此时的 right指向 最近公共祖先节点 ；
当 left不为空 ， right为空 ：与情况 3. 同理；

  function lowestCommonAncestor( root,  p,  q) {
        if(root == null || root == p || root == q) return root;
        var left = lowestCommonAncestor(root.left, p, q);
        var right = lowestCommonAncestor(root.right, p, q);
        // if(left == null && right == null) return null; // 第一种情况
        // if(left == null) return right; // 3.
        // if(right == null) return left; // 4.
        // return root; // 2. if(left != null and right != null)
        //1合并到3，4
        if(left == null) return right;
        if(right == null) return left;
        return root;
    }  

大佬链接