原题链接:https://leetcode-cn.com/problems/validate-binary-search-tree/
解题思路:
- 递归遍历所有节点,每次都对比当前节点与上一个节点的大小。
- 向左遍历则对比右侧节点的大小,及其值是否大于父节点。
- 向右遍历则对比左侧节点的大小,及其值是否小于父节点。
- 由于每次对比的都是相邻节点,若都满足规律,则自然保证了二叉搜索树的定义。
// 递归遍历二叉树,同时校验是否合法
function traversal(
node, // 当前节点
leftLimit, // 当前节点左侧节点的值
rightLimit, // 当前节点右侧节点的值
) {
// 递归终止条件
// 如果当前节点为空,则默认返回true
if (!node) {
return true;
}
// 当前递归逻辑
// 由于二叉搜索树的节点从左到右递增排列,因此如果节点的值不符合此规律则为false
// 每次比较的都是当前节点相邻节点的值,因此比较之后就成功之后二叉树就自然符合了如下规则:
// 左子树上所有节点的值均小于它的根节点的值;右子树上所有节点的值均大于它的根节点的值
if (leftLimit >= node.val || node.val >= rightLimit) {
return false;
}
// 继续向下递归
// 返回子节点的判断结果,左右子节点都满足条件时,才为true
return (
// 向左递归,此时leftLimit始终为-Infinity,rightLimit为子节点右侧节点的值
traversal(node.left, leftLimit, node.val) &&
// 向右递归,此时rightLimit始终为Infinity,leftLimit为子节点左侧节点的值
traversal(node.right, node.val, rightLimit)
);
}
/**
* @param {TreeNode} root
* @return {boolean}
*/
var isValidBST = function (root) {
return traversal(root, -Infinity, Infinity);
};