验证二叉搜索树 思路1: 要判断一棵二叉搜索树,第一反应用递归的判断当前结点是否满足要求(右孩子节点值 > 当前结点值 > 左孩子节点值),错误,反例5,2,8,NULL,NULL,1,4;二叉搜索树不能仅判断左右孩子和当前结点的大小关系,而要判断左右子树的所有节点和当前结点的大小关系; 思路2: 二叉搜索树的特性:按中序遍历得到的数组是个单增序列;因此先中序遍历得到数组,再判断是否满足单增;
class Solution {
private :
vector< int > res;
public :
bool isValidBST ( TreeNode* root) {
if ( ! root) return true ;
stack< TreeNode* > stk;
stk. push ( root) ;
while ( ! stk. empty ( ) ) {
TreeNode* cur = stk. top ( ) ;
stk. pop ( ) ;
if ( cur) {
if ( cur- > right) stk. push ( cur- > right) ;
stk. push ( cur) ;
stk. push ( NULL ) ;
if ( cur- > left) stk. push ( cur- > left) ;
}
else {
res. push_back ( stk. top ( ) - > val) ;
stk. pop ( ) ;
}
}
for ( int i = 0 ; i < res. size ( ) - 1 ; ++ i) {
if ( res[ i] >= res[ i+ 1 ] ) return false ;
}
return true ;
}
} ;
思路3: 思路2是先遍历完结束再比较,实际上可以遍历的过程中就比较,一旦发现不满足要求的结点就可以直接返回了,无需全部遍历完;而如何判断当前结点值 > 整个左子树的结点值 并 < 整个右子树的结点值呢? 设置一个全局变量maxVal,初始化为理论最小值,按中序遍历,即先遍历左子树,再中,再右子树。中序遍历就是先一直往左找,直到找到左下角结点,即递归到最深处,理论上这个结点值应该是最小的那个,然后更新maxVal。之后处理中结点,中必须大于左子树的值(即maxVal)。此时maxVal为左子树和中的最大值。之后在遍历右子树时,每次处理中结点时,都必须保证 > 遍历过的节点中的最大值maxVal,只要不满足就可以提前返回;中序遍历实际上是从最左下角的结点一点一点判断是否满足,对二叉搜索树中序遍历的本质就是遍历到的中结点值是递增的,因此用一个不断更新的全局变量就可以避免思路1出现的错误,即结点只和左右两孩子比较,而忽视了孩子的子孙后代中出现“回头”,违反某个祖宗的case; 核心 :二叉搜索树用中序遍历,这样处理的结点值一定是递增的;
class Solution {
private :
long long maxVal = LONG_MIN;
public :
bool isValidBST ( TreeNode* root) {
if ( ! root) return true ;
bool l = isValidBST ( root- > left) ;
if ( root- > val > maxVal) maxVal = root- > val;
else return false ;
bool r = isValidBST ( root- > right) ;
return l && r;
}
} ;
思路4: 若测试例中,左下角结点值为LONG_MIN,则思路3错误;因此不再使用全局变量来更新遍历过的结点值,而使用遍历过的前一个结点,那么时时刻刻这个结点值都应该小于当前节点值; 依然使用中序遍历值递增这点
class Solution {
private :
TreeNode* pre = NULL ;
public :
bool isValidBST ( TreeNode* root) {
if ( ! root) return true ;
bool l = isValidBST ( root- > left) ;
if ( ! pre || pre- > val < root- > val) pre = root;
else return false ;
bool r = isValidBST ( root- > right) ;
return l && r;
}
} ;
递归的单层逻辑,如果像本题一样,你想判断当前结点是不是大于整个左子树结点值,可目前又无法挨着实实在在的比较;那就对左子树先直接调用递归函数,假装已经对整个左子树处理完了,得到一个结果。眼光放在当前这个“中”结点上,接着往下写就好,等整个处理当前结点的逻辑写完,就会发现,前面对左子树调用的递归函数,确实会得到整个左子树的处理结果,才会往后执行; 二叉搜索树 + 中序遍历有奇效,无论递归还是迭代,都是自带顺序的一种树; 避免初始化全局变量为某种类型的最小值,如INT_MIN,无论多小,肯定都能找出一个测试例也使用这么小的树,导致无法按预期更新;
思路5: 中序遍历的迭代版本,道理一样,只是当前节点的处理过程变成是否更新pre;