二叉搜索树（BST）验证代码问题排查：为何仅通过6/8测试用例？

你的思路方向没错，但核心问题正如你猜测的那样：只检查了当前节点与直接子节点的大小关系，以及子树是否为BST，却忽略了左子树的所有节点必须小于当前节点、右子树的所有节点必须大于当前节点的约束。

举个典型反例：

5
   / \
  3   6
   \
    7

这棵树里，你的代码会误判为BST：递归判断左子树时，3的右节点7>3，左子树为空返回true，所以左子树被判定为合法；右子树6本身合法；当前节点5和直接子节点3、6的大小关系也符合要求。但实际上7>5，违反了BST的规则，这棵树根本不是合法的BST。

你的代码的具体缺陷：

• 仅验证了当前节点和直接子节点的大小，没有把上层节点的约束传递给子树。比如左子树的所有节点必须小于当前根节点，右子树的所有节点必须大于当前根节点，这个关键约束在你的递归逻辑里完全没体现。

修复方案：
修改递归逻辑，增加参数传递当前子树的取值范围（最小值和最大值），确保子树中所有节点都在合法范围内：

public static boolean isBST(BinaryTreeNode<Integer> root) {
    // 初始调用时，范围设为Integer的最小和最大值
    return isBSTHelper(root, Integer.MIN_VALUE, Integer.MAX_VALUE);
}

private static boolean isBSTHelper(BinaryTreeNode<Integer> root, int min, int max) {
    if (root == null) {
        return true;
    }
    // 当前节点值超出允许范围，直接返回false
    if (root.data <= min || root.data >= max) {
        return false;
    }
    // 左子树的最大值限定为当前节点值，右子树的最小值限定为当前节点值
    return isBSTHelper(root.left, min, root.data) && isBSTHelper(root.right, root.data, max);
}

解释：

• 新增的辅助递归函数isBSTHelper通过min和max参数，明确当前子树所有节点必须满足的取值范围。
• 每个节点必须严格处于min和max之间，否则直接判定为非法。
• 递归左子树时，把最大值更新为当前节点值（左子树所有节点必须小于当前节点）；递归右子树时，把最小值更新为当前节点值（右子树所有节点必须大于当前节点）。

这样就能覆盖BST的所有约束条件，解决你代码中的漏判问题。

内容的提问来源于stack exchange，提问作者Dhairya Gupta