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

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

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

5
/ \
2 6
/ \
1 3
示例 1：

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

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

提示：

数组长度 <= 1000

核心：二叉搜索树，左子树比根节点小，根节点比右子树小，并且没有重复数字
后序遍历的性质[ 左子树 | 右子树 | 根节点 ]

class Solution {
    public boolean verifyPostorder(int[] postorder) {
    	//进入递归
        return recur(0,postorder.length-1,postorder);
    }
    public boolean recur(int start,int end,int[] postorder){
    	//i为左边界，j为右边界
        int i=start,j=end;
        //说明递归剩下1个结点
        if (i>=j){
            return true;
        }
        //p为当前结点下标
        int p=0;
        //以根结点作为基准，因为所有左子树结点都小于根结点，因此循环找到左子树和右子树的边界
        while(postorder[p]<postorder[j]){
            p++;
        }
        //此时如果结果正确，m-1则为左子树的右边界，m为右子树的左边界
        int m=p;
        //以根结点作为基准，因为所有右子树结点都大于根结点，因此循环找到右子树的右边界
        while(postorder[p]>postorder[j]){
            p++;
        }
        //如果p==j说明遍历完全部结点且都符合条件说明左子树<根结点<右子树，否则存在不匹配返回false
        if (p==j) {
        	//划分左子树和右子树，继续递归直到只剩下一个结点返回true
            return recur(i, m - 1, postorder) && recur(m, j - 1, postorder);
        }else {
            return false;
        }
    }
}

另一种方法：单调递增栈
简要思路：从右往左压入结点 [ 左子树 | 右子树 | 根节点 ]，先压入根节点，由于右结点都比根节点大，因此继续压栈，直到所有右子树结点压入，接着轮到左节点，由于左结点都比根节点和右结点小，所以循环出栈直到第一个数，即根结点。判断所有左结点是否小于根节点，如果出现不小于则返回false，否则继续压栈，直到出现下一个左子树再继续全部出栈，循环判断。