请实现一个函数，验证一棵二叉树是否为二叉搜索树（BST），要求写出核心代码并说明判断依据。

回答思路

1. 明确BST定义：左子树所有节点值小于根，右子树所有节点值大于根
2. 能处理节点值相等时的边界情况
3. 给出正确且高效的解法（递归传递上下界或中序遍历）
4. 分析时间复杂度与空间复杂度