剑指 33. 二叉搜索树的后序遍历序列 - 难度中等

1. 题目描述

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

参考以下这颗二叉搜索树：
5
/ \
2 6
/ \
1 3

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

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

提示：
数组长度 <= 1000

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/er-cha-sou-suo-shu-de-hou-xu-bian-li-xu-lie-lcof
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

2. 题解

1、递归分治（时间超限）

/**
 * @param {number[]} postorder
 * @return {boolean}
 */
var verifyPostorder = function(postorder) {
    if(!postorder)
        return true;
    return recur(postorder, 0, postorder.length-1);

    function recur(postorder, i, j){
        if(i >= j) 
            return true;
        let p = i;
        while(postorder[p] < postorder[j]){
            p++;
        }
        m = p;
        while(postorder[p] > postorder[j]){
            p++;
        }
        return p === j && recur(postorder, i, m-1) && recur(postorder, m, j-1);
    }
};

时间复杂度：O(n*n)，递归遍历recur(i, j)每次去掉一个根节点占O(n)，当树退化为链表的情况时，每次都需要遍历所有节点，因此又占用O(n)。
空间复杂度：O(n)，当树是链表时，递归深度达到n。

2、借助单调栈

使用后序遍历数组的倒序，将右子树存入栈中，由底向顶形成单调递增，若此时左子树的节点值大于该子树的root，说明不满足二叉搜索树的条件，直接返回false。

/**
 * @param {number[]} postorder
 * @return {boolean}
 */
var verifyPostorder = function(postorder) {
    const stack = [];
    let root = Infinity;
    for(let i = postorder.length-1; i >= 0; i--){
        if(postorder[i] > root)
            return false;
        while(stack.length > 0 && stack[stack.length-1] > postorder[i]){
            root = stack.pop();
        }
        stack.push(postorder[i]);
    }
    return true;
};

时间复杂度：O(n)。
空间复杂度：O(n)，开辟单调栈需要额外空间。