1、描述

输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历结果。如果是则返回 true，否则返回 false。假设输入的数组的任意两个数字都互不相同。

参考以下这颗二叉搜索树：

 5
/ \

2 6
/
1 3
示例 1：

输入: [1,6,3,2,5]
输出: false
示例 2：

输入: [1,3,2,6,5]
输出: true

来源：力扣（LeetCode）
链接
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

2、关键字

后序遍历，二叉搜索树，一个序列，判断是否是二叉搜索树的后序遍历

3、思路

后序遍历：左右根，逆置：转成根右左，
结合二叉搜索树：左根右有序，所以根右左，遍历的时候会呈现递增情况中遇到一个小的，这个小的数就是左孩子，
把整个树看成root值为INT_MAX的左子树。
维护一个从下到上的递增单调栈
把整个序列倒序压入栈中，如果遇到那个小于栈顶元素的元素，就说明这个值有可能是再往左遍历序列（左子树）的子树当前根节点了，

参考答案

4、notes

后序遍历，就逆置，左右根–> 根右左，
根右左，把给定的数组逆序遍历的时候，设成从下到上的递增栈。

5、复杂度

时间：O(N)遍历一遍
空间：O（N）最坏情况是所有元素都入栈，

6、code

class Solution {
// 维护一个从下到上的递增栈
// 默认这个树是根节点为INT_MAX的左子树，
public:
    bool verifyPostorder(vector<int>& postorder) {
       //Stack<Integer> stack = new Stack<>();
        stack<int>st;
        int root = INT_MAX;
        for(int i = postorder.size() - 1; i >= 0; i--) {  // 倒序遍历就是 根 右 左
            if(postorder[i] > root) return false;  // 如果当前节点的值（root的左子树）大于root就说明不是二叉搜索树了
            while(!st.empty() &&  postorder[i] < st.top() ){  // 栈非空，且当前数组的值比栈中元素小，说明了进入到二叉搜索树的左孩子了！
                root = st.top();  // 从栈顶 逐个尝试等于root,
                st.pop();  // 从栈顶尝试等于root之后，之后栈底元素才是当前左子树（当前一轮的root），
            }
            	
            st.push(postorder[i]);  // 遍历的时候就压入栈中，
        }
        return true;
    }
};