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

1. 题目描述
输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历结果。如果是则返回 true，否则返回 false。假设输入的数组的任意两个数字都互不相同。
2. 思路
（1）由后序遍历性质可知根节点为最右边结点（right）；
（2）找到根节点后，从左（left）开始找到第一个大于根节点的索引，则该索引之后的节点为右子树（不包括根节点），该索引左边的为左子树；
（3）遍历根节点的右子树，如果右子树有大于根节点的，则该数组不是后序遍历的结果；
（4）当树的左边界（ledt）大于等于右边界（right）时，说明该数组（left至right）满足条件,结束递归。
3. 代码

class Solution {
	//判断数组是否为某个二叉搜索树的后序遍历结果
    public boolean verifyPostorder(int[] postorder) {
    	return helper(postorder, 0, postorder.length - 1);
    }

    boolean helper(int[] postorder, int left, int right) {
        //如果left==right，就一个节点不需要判断了，如果left>right说明没有节点，
        //也不用再看了,否则就要继续往下判断
        if (left >= right)
            return true;
        //因为数组中最后一个值postorder[right]是根节点，这里从左往右找出第一个比
        //根节点大的值，他后面的都是根节点的右子节点（包含当前值，不包含最后一个值，
        //因为最后一个是根节点），他前面的都是根节点的左子节点
        int mid = left;
        int root = postorder[right];
        while (postorder[mid] < root)
            mid++;
        int temp = mid;
        //因为postorder[mid]前面的值都是比根节点root小的，
        //我们还需要确定postorder[mid]后面的值都要比根节点root大，
        //如果后面有比根节点小的直接返回false
        while (temp < right) {
            if (postorder[temp++] < root)
                return false;
        }
        //然后对左右子节点进行递归调用
        return helper(postorder, left, mid - 1) && helper(postorder, mid, right - 1);
    }
}