Leetcode 98-验证二叉搜索树

给你一个二叉树的根节点 root ，判断其是否是一个有效的二叉搜索树。

有效 二叉搜索树定义如下：

节点的左子树只包含 小于 当前节点的数。
节点的右子树只包含 大于 当前节点的数。
所有左子树和右子树自身必须也是二叉搜索树。

题解

解法1

全局变量pre帮助判断是否有不满足条件的节点

• 二叉树的特点使得二叉树的中序遍历值为递增序列
• 所以可以中序遍历二叉树，然后遍历结果数组判断是否为递增序列，这样需要遍历数组两遍
• 为了降低时间复杂度，可以记录一个数值pre，为当前节点的前一个节点的值
• 如果pre>root.val，则不满足条件，可以提前返回false

class Solution {
    public boolean res=true;
    public long pre=Long.MIN_VALUE;
    public boolean isValidBST(TreeNode root) {
        //空的二叉树也为二叉搜索树，所以这里不额外判断root==null
        dfs(root);
        return res;
    }

    //因为需要root==null的时候return，所以返回值需要为void
    //用全局变量记录boolean值res
    public void dfs(TreeNode root){
        
        //边界条件
        if(root==null) return; 

        dfs(root.left);

        if(pre>=root.val){
            res=false;
            return;
        }
        pre=root.val;

        dfs(root.right);
    }
}

错误写法2（这个写法复杂了）

只判断了
1.根节点的左节点值<根节点值&&根节点的右节点值>根节点值
2.左子树为二叉搜索树&&右子树为二叉搜索树
这种情况可能出现：左子树的右子树中有节点值>根节点||右子树的左子树中有节点值<根节点，如下图：

错误原因是没有把子树值和根节点值比较

class Solution {
    public boolean isValidBST(TreeNode root) {
        if(root==null) return false;
        return dfs(root);
    }
    public boolean dfs(TreeNode root){
        //终止条件：叶节点
        if(root.left==null&&root.right==null) return true;
        if(root.left==null) return dfs(root.right);
        if(root.right==null) return dfs(root.left);
        if(root.left.val<root.val&&root.right.val>root.val){
            return dfs(root.left)&&dfs(root.right);
        }
        return false;
    }
}

以下解释参考自Leetcode
为了纠正这种错误的递归方法，需要设计dfs(root, lower, upper) 来递归判断,判断子树中所有节点的值是否都在 (l,r) 的范围内。如果 root 节点的值 val 不在 (l,r) 的范围内说明不满足条件直接返回，否则我们要继续递归调用检查它的左右子树是否满足，如果都满足才说明这是一棵二叉搜索树。

那么根据二叉搜索树的性质，在递归调用左子树时，我们需要把上界 upper 改为 root.val，即调用 helper(root.left, lower, root.val)，因为左子树里所有节点的值均小于它的根节点的值。同理递归调用右子树时，我们需要把下界 lower 改为 root.val，即调用 helper(root.right, root.val, upper)。

这样对于root的左子树的右子树节点来说，上边界为root.val,下边界为root.left.val，确保左子树的右节点值也不会大于根节点值

函数递归调用的入口为 dfs(root, -inf, +inf)， inf 表示一个无穷大的值，这是为了使根节点通过判断

class Solution {
    public boolean isValidBST(TreeNode root) {
        return isValidBST(root, Long.MIN_VALUE, Long.MAX_VALUE);
    }

    public boolean isValidBST(TreeNode node, long lower, long upper) {
        if (node == null) {
            return true;
        }
        if (node.val <= lower || node.val >= upper) {
            return false;
        }
        return isValidBST(node.left, lower, node.val) && isValidBST(node.right, node.val, upper);
    }
}