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

最新推荐文章于 2024-07-04 16:59:35 发布

【重庆彭于晏】

最新推荐文章于 2024-07-04 16:59:35 发布

阅读量389

点赞数 1

分类专栏： PHP 文章标签：算法开发语言 php 数据结构链表

本文链接：https://blog.csdn.net/weixin_43741253/article/details/131535880

版权

PHP 专栏收录该内容

125 篇文章 0 订阅

订阅专栏

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

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

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

示例 1：
在这里插入图片描述

输入：root = [2,1,3]
输出：true

示例 2：
在这里插入图片描述

输入：root = [5,1,4,null,null,3,6]
输出：false
解释：根节点的值是 5 ，但是右子节点的值是 4 。

提示：

树中节点数目范围在[1, 104] 内
-2 ^ 31 <= Node.val <= 2 ^ 31 - 1

题目来源：
作者：LeetCode
链接：https://leetcode.cn/leetbook/read/top-interview-questions-easy/xn08xg/
来源：力扣（LeetCode）

解题方法：

一：递归写法
做这题之前我们首先要明白什么是二叉搜索树，就是每个节点左子树的值都比当前节点小，右子树的值都比当前节点大。所以看到这里我们最先想到的就是递归，我最先想到的是下面这种写法（注意是错误的）

public boolean isValidBST(TreeNode root) {
    if (root == null)
        return true;
    if (root.left != null && root.val <= root.left.val || root.right != null && root.val >= root.right.val)
        return false;
    return isValidBST(root.left) && isValidBST(root.right);
}

如果一个结点是空的，我们默认他是有效的二叉搜索树。

否则如果左节点不为空，我们要判断是否大于左节点的值。

如果右节点不为空，我们还要判断小于右节点的值。

然后我们再以左右两个子节点用相同的方式判断。看起来好像没什么问题，但我们好像忽略了一个每个节点的上限和下限，比如下面这棵树
在这里插入图片描述
注意6这个节点不光要小于15而且还要大于10，所以这里的每一个节点都是有一个范围的，上面的代码我只判断了6比15小，但没有和10进行比较，所以代码是错误的。这里我们来给每个节点添加一个范围，如果不在这个范围之内直接返回false，比如6的范围是(10,15)，很明显他不在这个范围内，所以他不是二叉搜索树。根节点的范围我们从Long.MIN_VALUE到Long.MAX_VALUE，来看下代码

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

public boolean isValidBST(TreeNode root, long minVal, long maxVal) {
    if (root == null)
        return true;
    //每个节点如果超过这个范围，直接返回false
    if (root.val >= maxVal || root.val <= minVal)
        return false;
    //这里再分别以左右两个子节点分别判断，
    //左子树范围的最小值是minVal，最大值是当前节点的值，也就是root的值，因为左子树的值要比当前节点小
    //右子数范围的最大值是maxVal，最小值是当前节点的值，也就是root的值，因为右子树的值要比当前节点大
    return isValidBST(root.left, minVal, root.val) && isValidBST(root.right, root.val, maxVal);
}

转换为PHP代码为：

public function isValidBST($root){
   return $this->node($root);
}


function node($root, $leftMax = null, $rightMin = null){        
    if (is_null($root)){
        return true;
    }

    //左子树
    if (!is_null($leftMax) && $root->val >= $leftMax->val){
        return false;
    }

    //右子树
    if (!is_null($rightMin) && $root->val <= $rightMin->val){
        return false;
    }  
    //这里再分别以左右两个子节点分别判断，
    //左子树范围的最小值是rightMin，最大值是当前节点的值，也就是root的值，因为左子树的值要比当前节点小
    //右子树范围的最大值是leftMax，最小值是当前节点的值，也就是root的值，因为右子树的值要比当前节点大
    return $this->node($root->left, $root, $rightMin) && $this->node($root->right, $leftMax, $root);
}

二：中序遍历递归

根据二叉搜索树的性质我们知道，中序遍历二叉搜索树，遍历的结果一定是有序的，如果不明白中序遍历的可以看下前面的373，数据结构-6,树。中序遍历时，判断当前节点是否大于中序遍历的前一个节点，也就是判断是否有序，如果不大于直接返回 false。

//前一个结点，全局的
TreeNode prev;

public boolean isValidBST(TreeNode root) {
    if (root == null)
        return true;
    //访问左子树
    if (!isValidBST(root.left))
        return false;
    //访问当前节点：如果当前节点小于等于中序遍历的前一个节点直接返回false。
    if (prev != null && prev.val >= root.val)
        return false;
    prev = root;
    //访问右子树
    if (!isValidBST(root.right))
        return false;
    return true;
}

三：中序遍历非递归
如果对树的中序遍历比较熟悉的话，或者看过之前写的《373，数据结构-6,树》，这里面也有树的中序遍历的递归和非递归两种写法。我们完全可以把上面中序遍历的递归改为非递归。

public boolean isValidBST(TreeNode root) {
    if (root == null)
        return true;
    Stack<TreeNode> stack = new Stack<>();
    TreeNode pre = null;
    while (root != null || !stack.isEmpty()) {
        while (root != null) {
            stack.push(root);
            root = root.left;
        }
        root = stack.pop();
        if (pre != null && root.val <= pre.val)
            return false;
        //保存前一个访问的结点
        pre = root;
        root = root.right;
    }
    return true;
}

转为PHP代码为：

public function isValidBST($root){
    if($root == null)
        return false;
    $stack = [];
    $pre = null;    // 上一个节点
    while($root != null || !empty($stack)){
        while($root != null){
            array_push($stack,$root);
            $root = $root->left;
        }
        $root = array_pop($stack);
        // 如果当前节点小于等于中序遍历的前一个节点直接返回false
        if($pre != null && $root->val <= $pre->val)
            return false;
        // 保存前一个访问的节点
        $pre = $root;
        $root = $root->right;
    }
    return true;
}