二叉树题目归纳：首个共同祖先与后继者

二叉树题目归纳

后继者

思路：
思路比较简单，二叉树中序遍历的一道题
首先知道二叉树左子树值小于根结点值，右子树值大于根结点值。如果后继结点值大于根结点值，那么在右子树中递归查找。否则在左子树中，那么此时后继结点即为根结点。如果在右子树中，那么后继结点则为递归查找到的结点。注意第一个if包含了等于的情况，即找到了改结点后继续在右子树中查找。

代码

class Solution {
    public TreeNode inorderSuccessor(TreeNode root, TreeNode p) {
        if(root==null|| p==null){
            return null;
        }
        if(p.val>=root.val){
            return inorderSuccessor(root.right,p);
        }else{
            TreeNode node = inorderSuccessor(root.left,p);
            return node==null?root:node;
        }
    }
}

首个共同祖先

代码

class Solution {
    private TreeNode ans;
    public TreeNode lowestCommonAncestor(TreeNode root, TreeNode p, TreeNode q) {
        if(root==null){
            return null;
        }
        dfs(root,p,q);
        return ans;
    }

    private boolean dfs(TreeNode root, TreeNode p, TreeNode q) {
       if(root==null){
           return false;
       }
       boolean lson = dfs(root.left,p,q);
       boolean rson = dfs(root.right,p,q);
       if((lson&&rson)||((root.val==p.val||root.val==q.val)&&(lson||rson))){
           ans = root;
           return true;
       }
       return lson || rson || (root.val == p.val || root.val == q.val);
    }
}

leetcode题解

在看到代码，有几个需要注意的点。第一个点在于最后的返回值，为什么不是直接返回false呢？

return lson || rson || (root.val p.val || root.val q.val);

这是递归条件继续的必要条件之一，即有没有结点值符合条件的值在该子树内。如果直接返回false，那返回值永远会为空（不太好理解）

if((lson&&rson)||((root.valp.val||root.valq.val)&&(lson||rson)))

这一段代码是核心。首先是判断是不是：一个结点在左子树，一个结点在右子树。如果是，那么该结点即为最近的公共祖先结点。我们需要理解这整个过程是自底向上的，同时结点值是唯一的,因此在找到公共祖先结点后，再次从递归返回后不会再次出现同时满足条件的情况，因此公共祖先是最近、且不会被覆盖的