Bootstrap

判断二叉搜索树BST是否有效的两种方法

方法一:自顶向下递归

由于BST是递归定义的,在判断某一节点是否符合BST性质的时候,不能只判断其左右子节点与该节点间的大小关系,如果这样判断的话,对于下图所示情况将给出错误的判断:

f4zZjI.png

取而代之的是,我们应该判断对于任意节点,其是否在其应在的区间内。举例来说,对于上图中根节点5,由于是根节点,无区间要求;递归其左子树3,根据BST性质,3应该小于其根节点5,即其上边界为5,无下边界;递归3的左子树2,其上边界为3,无下边界;由于2的左右子树都为空,直接返回;递归3的右子树7,其应该大于其父节点3,但同时应该小于根节点5,即其上边界为5,下边界为3,以此类推,代码如下:

struct TreeNode {
   
    int val;
    TreeNode *left, *right;
};

// 方法一:利用二叉树递归判断
bool isValidBST1_helper(TreeNode *root, TreeNode *min, TreeNode *max
;