验证二叉搜索树

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

有效 BST 定义如下：

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

约定

• 空树视为有效 BST。
• 值相等的节点不允许出现在同一侧（即严格小于/大于）。

输入

• root：二叉树根节点，节点数 [0, 10^4]，节点值在 32 位有符号整数范围内。

输出

布尔值。

示例一

输入：

root = [2, 1, 3]

输出：

true

示例二

输入：

root = [5, 1, 4, null, null, 3, 6]

输出：

false

解释：根节点是 5，但它的右孩子是 4，不满足"右子树都大于根"。

复杂度要求

• 时间 O(n)，空间 O(n)。