题目链接:
大概思路:
题目要求:
判断给的二叉树是不是二叉搜索树。
二叉搜索树的特征:
节点的左子树所有节点的值均小于该节点的值,右节点反之,同时对搜索树的每一个节点都适用此规则。
中序遍历,遍历过程中节点的值是递增的。
数组法:
思路:
利用中序遍历在搜索树的特性,在遍历过程中,创建一个按中序遍历过的节点的值的数组,然后判断这个数组是不是升序的,就可以知道这颗二叉树是不是搜索树了。
分两步,
1.中序遍历,同时把每个节点的值添加到数组里(制造数组)
vector<int> vec;
void traversal(TreeNode* root) {
if (root == NULL) return;
traversal(root->left);
vec.push_back(root->val); // 将二叉搜索树转换为有序数组
traversal(root->right);
}
2.遍历数组,看看是不是升序的
traversal(root);
for (int i = 1; i < vec.size(); i++) {
// 注意要小于等于,搜索树里不能有相同元素
if (vec[i] <= vec[i - 1]) return false;
}
return true;
总代码:
class Solution {
private:
vector<int> vec;
void traversal(TreeNode* root) {
if (root == NULL) return;
traversal(root->left);
vec.push_back(root->val); // 将二叉搜索树转换为有序数组
traversal(root->right);
}
public:
bool isValidBST(TreeNode* root) {
vec.clear(); // 不加这句在leetcode上也可以过,但最好加上
traversal(root);
for (int i = 1; i < vec.size(); i++) {
// 注意要小于等于,搜索树里不能有相同元素
if (vec[i] <= vec[i - 1]) return false;
}
return true;
}
};
不用数组法:
思路:
不用数组,也可以直接比对。
设置一个maxValue,设置数值为比题目数值范围INT_MIN还小的LONG_MIN,这样如果中序遍历的话,那么遍历顺序的值就是升序的,由于maxValue初始值是最小值,那么只有一比对,就可以一直更新maxValue,如果遇见不能更新的情况的话,说明不是升序的,表示这棵树不是二叉搜索树。
递归三部曲:
1.确定参数和返回值:
参数是树节点,返回是布尔类型,因为题目要求返回”真或假“(是不是二叉搜索树)
long long maxVal = LONG_MIN; // 因为后台测试数据中有int最小值
bool isValidBST(TreeNode* root)
2.确定终止条件
空节点可以是二叉搜索树,二叉平衡树....很多树。
if (root == NULL) return true;
3.确定单层递归的逻辑
中序遍历,然后maxValue一路更新,遇见不能更新的情况,返回false。然后向上传递。记得递归要让值被接住。
(注意元素相同时候也要返回false。)
bool left = isValidBST(root->left); // 左
// 中序遍历,验证遍历的元素是不是从小到大
if (maxVal < root->val) maxVal = root->val; // 中
else return false;
bool right = isValidBST(root->right); // 右
return left && right;
总代码:
class Solution {
public:
long long maxVal = LONG_MIN; // 因为后台测试数据中有int最小值
bool isValidBST(TreeNode* root) {
if (root == NULL) return true;
bool left = isValidBST(root->left);
// 中序遍历,验证遍历的元素是不是从小到大
if (maxVal < root->val) maxVal = root->val;
else return false;
bool right = isValidBST(root->right);
return left && right;
}
};
不用数组法+(优化版):
如果遇见比LONG_MIN更小的范围呢,继续找更小的吗?答案是有其他办法。
可以避免 初始化最小值的操作,下面方法可以用最左面节点的数值来比较。
一开始更新的时候,pre和root是不进行比较的,因为pre为nell,然后接下来,pre被赋值为root,而root变成root->left,然后更新操作开始,像数组的双指针操作一样,这样省去考虑最最小值了。
class Solution {
public:
TreeNode* pre = NULL; // 用来记录前一个节点
bool isValidBST(TreeNode* root) {
if (root == NULL) return true;
bool left = isValidBST(root->left);
if (pre != NULL && pre->val >= root->val) return false;
pre = root; // 记录前一个节点
bool right = isValidBST(root->right);
return left && right;
}
};
遇见的问题:
数组法哪里 为啥用i 和 i-1啊?
把i初始值从1改成0,用i和i + 1也可以
个人想法:
乐趣,进度不能强推,不然又变成苦差事了,不能偏移目标...体会这种乐趣,算了这也是种自然的过程。