题目
给定一个二叉树,判断其是否是一个有效的二叉搜索树。
假设一个二叉搜索树具有如下特征:
节点的左子树只包含小于当前节点的数。
节点的右子树只包含大于当前节点的数。
所有左子树和右子树自身必须也是二叉搜索树。
示例 1:
输入:
2
/ \
1 3
输出: true
示例 2:
输入:
5
/ \
1 4
/ \
3 6
输出: false
解释: 输入为: [5,1,4,null,null,3,6]。
根节点的值为 5 ,但是其右子节点值为 4 。
题解1:思路,递归,这个做法后来被验证是错误的
/**
* Definition for a binary tree node.
* struct TreeNode {
* int val;
* TreeNode *left;
* TreeNode *right;
* TreeNode(int x) : val(x), left(NULL), right(NULL) {}
* };
*/
class Solution {
public:
bool isValidBST(TreeNode* root) {
if (root == nullptr)
return true;
if (root->left && root->right) {
if (root->val <= root->left->val || root->val >= root->right->val)
return false;
return isValidBST(root->left) && isValidBST(root->right);
} else if (root->left) {
if (root->val <= root->left->val)
return false;
return isValidBST(root->left);
} else if (root->right){
if (root->val >= root->right->val)
return false;
return isValidBST(root->right);
} else
return true;
}
};
这里的想法就是根据定义,左子树的值一定小于root的值,root的值一定小于右子树的值,而我只考虑了root的值和他的左右节点的值,没有完全考虑到整个子树
正确题解1:上下界,递归
/**
* Definition for a binary tree node.
* struct TreeNode {
* int val;
* TreeNode *left;
* TreeNode *right;
* TreeNode(int x) : val(x), left(NULL), right(NULL) {}
* };
*/
class Solution {
public:
bool isValidBST(TreeNode* root) {
return isValid(root, LONG_MIN, LONG_MAX);
}
bool isValid(TreeNode* root, long long min, long long max) {
if (root == nullptr)
return true;
if (root->val <= min || root->val >= max)
return false;
return isValid(root->left, min, root->val) && isValid(root->right, root->val, max);
}
};
正确题解2:按照二叉搜索树的定义,二叉树的中序遍历的结果一定是升序的
/**
* Definition for a binary tree node.
* struct TreeNode {
* int val;
* TreeNode *left;
* TreeNode *right;
* TreeNode(int x) : val(x), left(NULL), right(NULL) {}
* };
*/
class Solution {
public:
bool isValidBST(TreeNode* root) {
stack<TreeNode*> myStack;
long long inorder = (long long)INT_MIN - 1;
while(!myStack.empty() || root != nullptr) {
while(root != nullptr) {
myStack.push(root);
root = root->left;
}
root = myStack.top();
myStack.pop();
if (root->val <= inorder)
return false;
inorder = root->val;
root = root->right;
}
return true;
}
};