【剑指offer】二叉搜索树的后续遍历

题目描述
输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果。如果是则输出Yes,否则输出No。假设输入的数组的任意两个数字都互不相同。

思路
首先看二叉搜索树的性质
它或者是一棵空树；
或者是具有下列性质的二叉树：
（1）若左子树不空，则左子树上所有结点的值均小于它的根结点的值；
（2）若右子树不空，则右子树上所有结点的值均大于它的根结点的值；
（3）左、右子树也分别为二叉排序树；
然后讨论后序遍历，顺序是左子树，右子树，根。综合二叉搜索树的后序遍历可知，遍历的最后一个结点为根节点，比根节点小的为左子树，比根节点大的为右子树。因此我们先从后向前搜索，找到第一个比根小的值的坐标i，它和它前面的结点即为左子树，我们再从前向后遍历，范围是数组开始到i，如果此数组是某二叉搜索树的后序数组，那么这个范围的值应该都比根节点小，否则返回false，若成立，我们在分别用上述方法判断左右子树，直到到达尾结点。

代码

public class Solution {
    public boolean VerifySquenceOfBST(int [] sequence) {
        if (sequence.length == 0)
            return false;
        if (sequence.length == 1)
            return true;
        return judge(sequence, 0, sequence.length-1);
    }     
    public boolean judge(int[] a,int start,int root){
        if (start>=root)
            return true;
        int i = root;
        //从后面开始找
        while (i>start && a[i-1] >a[root])
            i--;//找到比根小的坐标
        //从前面开始找 star到i-1应该比根小
        for(int j = start;j<i-1;j++)
            if(a[j]>a[root])
                return false;;
        return judge(a,start,i-1) && judge(a, i, root-1);
    }
}