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

后序遍历的定义：[左子树][右子树][根节点]，简称，左右根
二叉搜索树的定义：左子树所有节点的值小于根节点的值，右子树所有节点的值大于根节点的值。左右子树也分别为二叉搜索树。即：left < root < right

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

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

     5
    / \
   2   6
  / \
 1   3

示例 1：

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

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

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

方法一：递归分治

1. 递归结束条件：i >= j，说明子树的节点数量小于1
2. 寻找右子树的根节点
3. 判断是否满足右子树中所有节点的值 > 根节点的值
4. 划分左右子区间
5. 进行递归
   

class Solution {
    public boolean verifyPostorder(int[] postorder) {
        return recur(postorder, 0, postorder.length - 1);
    }

    private boolean recur(int[] postorder, int i, int j) {
        //递归结束条件，当i >= j，说明子树的节点数量小于一
        if (i >= j) {
            return true;
        }
        int p = i;
        //找到右子树的根节点
        while (postorder[p] < postorder[j]) {
            p++;
        }
        int m = p;
        //判断右子树是否大于根节点
        while (postorder[p] > postorder[j]) {
            p++;
        }
        return p == j && recur(postorder, i, m -1) && recur(postorder, m, j - 1);
    }
}

方法二：单调栈
二叉搜索树是left < root < right的，后序遍历的顺序是left->right->root，乍一看，好像没有办法保证单调性，不过我们可以做一个变化，后序遍历的逆序是什么呢？

root->right->left

发现什么了吗？是的，这是换了一个方向的先序遍历，从root开始，先遍历右子树，再遍历左子树。怎么做到先root，然后right，最后left呢，只要我们反向遍历数组，这样我们就可以利用单调栈了。

下面说说单调递增栈的思路和用法。

翻转先序遍历又是root->right->left的，基于这样的性质和遍历方式，我们知道越往右越大，这样，就可以构造一个单调递增的栈，来记录遍历的元素。

为什么要用单调栈呢，因为往右子树遍历的过程，value是越来越大的，一旦出现了value小于栈顶元素value的时候，就表示要开始进入左子树了（如果不是，就应该继续进入右子树，否则不满足二叉搜索树的定义，不理解的请看下二叉搜索树的定义），但是这个左子树是从哪个节点开始的呢？

单调栈帮我们记录了这些节点，只要栈顶元素还比当前节点大，就表示还是右子树，要移除，因为我们要找到这个左孩子节点直接连接的父节点，也就是找到这个子树的根，只要栈顶元素还大于当前节点，就要一直弹出，直到栈顶元素小于节点，或者栈为空。栈顶的上一个元素就是子树节点的根。

接下来，数组继续往前遍历，之后的左子树的每个节点，都要比子树的根要小，才能满足二叉搜索树，否则就不是二叉搜索树。

@失火的夏天 的解析

class Solution {
    public boolean verifyPostorder(int[] postorder) {
        Deque<Integer> stack = new LinkedList<>();
        int pre = Integer.MAX_VALUE;
        for (int i = postorder.length - 1; i >= 0; i--) {
            if (postorder[i] > pre) {
                return false;
            }
            while (!stack.isEmpty() && postorder[i] < stack.peek()) {
                pre = stack.pop();
            }

            stack.push(postorder[i]);
        }
        return true;
    }
}