Hot100：验证二叉搜索树（Validate Binary Search Tree）区间约束 / 中序判序 ACERS 解析
副标题 / 摘要 LeetCode 98 最容易写错的地方，不是“不会递归”，而是误以为每个节点只要和自己的父节点比较就够了。真正的 BST 校验要把祖先留下来的上下界一路向下传递。本文按 ACERS 结构把这个不变量讲透，再补上中序遍历判序的等价视角。 预计阅读时长：11~14 分钟 标签：Hot100、二叉树、BST、DFS、中序遍历 SEO 关键词：Validate Binary Search Tree, 验证二叉搜索树, BST, 区间约束, 中序遍历, LeetCode 98 元描述：系统讲透 LeetCode 98 的区间递归写法与中序递增判定思路，包含推导、工程迁移、多语言实现与高频误区。 A — Algorithm（题目与算法） 题目还原 给你一个二叉树的根节点 root，判断它是否是一棵有效的二叉搜索树（BST）。 有效 BST 需要同时满足： 左子树所有节点值都严格小于当前节点值 右子树所有节点值都严格大于当前节点值 左右子树本身也都必须是 BST 输入输出 名称 类型 描述 root TreeNode 二叉树根节点 返回 bool 是否为有效 BST 示例 1 输入：root = [2,1,3] 输出：true 示例 2 输入：root = [5,1,4,null,null,3,6] 输出：false 解释：根节点的值是 5，但是右子节点的值是 4 。 提示 树中节点数目范围在 [1, 10^4] 内 -2^31 <= Node.val <= 2^31 - 1 目标读者 刷 Hot100，准备把 BST 判断模板彻底固定下来的学习者 会写树递归，但一遇到“全局约束”就容易只写局部判断的开发者 在工程里处理树形有序结构、范围规则树、层级校验逻辑的工程师 背景 / 动机 这题看起来像一题“简单树递归”，但它真正训练的是： ...