输入一个整数数组,判断该数组是不是某二叉树的后续遍历结果。如果是则返回true,否则返回false,假设输入的数组的任意两个数字互不相同。
分析:单调栈;
二叉搜索树是left<root<right的,后序遍历的顺序是left->right->root,后序遍历的逆序为root->right->left。这是一个换了方向的先序遍历,从root开始,先遍历右子树,再遍历左子树。如何做到先root,后right,最后left,只要反向遍历数组,就可以利用单调栈了。
翻转先序遍历是root->right->left的,基于这样的性质和遍历方式,越往右越大,这样就可以构造一个单调递增的栈,用来记录遍历的元素。
为什么要使用单调栈呢?因为往右子树遍历的过程值是越来越大的,一旦出现了小于栈顶元素的时候,就表示要进入左子树了。单调栈记录这些点,只要栈顶元素比当前节点大,就表示右子树,移除,因为我们要找到这个左孩子节点直接连接的父节点,也是找到这棵树的根,只要啊栈顶元素还大于当前节点,就一直弹出,直到栈顶元素小于节点或者栈为空。栈顶的上一个元素就是子树节点的根。数组继续遍历,之后的左子树的每个节点都要比子树的根小,才能满足二叉搜索树,否则就不是二叉搜索树。
class Solution
{
public:
bool vertifyPostorder(vector<int>& postorder)
{
stack<int> s;
int pre=INT_MAX;
for(int i=postorder.size()-1;i>=0;--i)
{
if(postorder[i]>pre) return false;
while(s.size() && postorder[i]<s.top())
{
pre=s.top();
s.pop();
}
s.push(postorder[i]);
}
return true;
}
};