给定一个二叉树,判断其是否是一个有效的二叉搜索树。
假设一个二叉搜索树具有如下特征:
- 节点的左子树只包含小于当前节点的数。
- 节点的右子树只包含大于当前节点的数。
- 所有左子树和右子树自身必须也是二叉搜索树。
示例 1:
输入: 2 / \ 1 3 输出: true
示例 2:
输入: 5 / \ 1 4 / \ 3 6 输出: false 解释: 输入为: [5,1,4,null,null,3,6]。 根节点的值为 5 ,但是其右子节点值为 4 。
法一:求最小最大值法
效率:38.98%
求出左子树最大值m_ax,右子树最小值m_in,若满足m_ax < middle < m_in,则递归返回左右子树的是否为二叉树的结果的与结果,若不满足,直接返回false
/**
* 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:
int min_BST(TreeNode* root){
if(root == NULL)
return 2147483647;
int m1 = min_BST(root ->left), m2 = min_BST(root -> right);
m1 = m1 < m2 ? m1 : m2;
return root->val < m1 ? root -> val : m1;
}
int max_BST(TreeNode* root){
if(root == NULL)
return -2147483648;
int m1 = max_BST(root ->left), m2 = max_BST(root -> right);
m1 = m1 > m2 ? m1 : m2;
return root->val > m1 ? root -> val : m1;
}
bool isValidBST(TreeNode* root) {
if(root == NULL)
return true;
if(root -> left != NULL){
int m_ax = max_BST(root -> left);
if(root -> right != NULL){
int m_in = min_BST(root -> right);
if(m_ax < root -> val && m_in > root -> val)
return isValidBST(root ->left) && isValidBST(root -> right);
else
return false;
}
else if(m_ax < root -> val)
return isValidBST(root -> left);
else
return false;
}
else {
if(root -> right == NULL)
return true;
else{
int m_in = min_BST(root -> right);
if(m_in > root -> val)
return isValidBST(root -> right);
else
return false;
}
}
}
};
由于此方法会重复求最大最小值,所以效率较低
法二:非重复最大最小值法
效率:97.53%
用一个变量temp_max表示一棵树的最大值
先判断左子树是否是二叉搜索树:
1如果是:判断左子树的最大值(temp_max)是否比根结点(root->val)小,如果是,返回右子树是否是二叉搜索树的结果,如果不是,返回false
2如果不是,返回false
/**
* 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:
double temp_max = -2147483650;
bool isValidBST(TreeNode* root) {
if(root == NULL)
return true;
if(isValidBST(root -> left)){
if(temp_max < root -> val){
temp_max = root -> val;
return isValidBST(root -> right);
}
}
return false;
}
};