剑指 Offer 33. 二叉搜索树的后序遍历序列（JavaScript）

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

• 有两种方法，一种是递归分治，一种是辅助单调栈。以下解答为辅助单调栈。
• 参考了Krahets和数据结构算法两个大佬的解题思路

解题思路：
图来自数据结构算法

可以得到此二叉搜索树的后序遍历为：[3,6,5,9,8,11,13,12,10]
逆着看便是：[10,12,13,11,8,9,5,6,3]
通过观察可以看到：①如果是单调递增的话，比如10,12,13。那么12就是10的右子树，13是12的右子树。但必须注意一个问题，他们是紧挨着的。②如果是递减的话，比如13,11。那么11是10,12,13其中一个数的左子树。这个数是大于11而在10,11,13中最小的。符合这个条件的只有12。


解题过程：
①定义一个栈为stack，依次逆序遍历数组，遍历的当前元素为cur。
②如果是递增的话，把遍历到的元素压入栈中。
③遇到比栈小的元素就要判断其父节点是否在栈中。
代码

/**
 * @param {number[]} postorder
 * @return {boolean}
 */
let verifyPostorder = function(postorder) {
    const stack = []
    // 初始化根节点为无穷大
    let root = Number.MAX_SAFE_INTEGER
    // 逆序遍历
    for(let i = postorder.length - 1; i >= 0; i--) {
        let cur = postorder[i]
        // 如果栈顶元素不为空，而且栈顶元素大于当前元素，就执行弹栈
        while (stack.length && stack[stack.length - 1] > cur)
            root = stack.pop()
            /* 为什么当前节点大于根节点就要返回false呢？因为遇到左节点的时候他就是左节点的父节点。如果是右节点的话，那么root节点就是他的祖先节点，这右节点是在左子树中的仍然小于它的祖先节点。 */
            if (cur > root) { return false }
        stack.push(cur)
    }
    return true
};