输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果

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

BST的后序序列的合法序列是，对于一个序列S，最后一个元素是x （也就是根），如果去掉最后一个元素的序列为T，那么T满足：T可以分成两段，前一段（左子树）小于x，后一段（右子树）大于x，且这两段（子树）都是合法的后序序列。完美的递归定义 : ) 。

public class Solution {    public boolean VerifySquenceOfBST(int [] sequence) {        if(sequence.length==0){            return false;        }       return judge(sequence,0,sequence.length-1);    }    public boolean judge(int [] a,int start,int last){        if(start>=last){            return true;        }        //后序遍历，最后的一个位置元素即是根节点        int i = last;        //找到的i即是分割左子树与右子树的位置。i-1的位置到start为左子树，i到last-1位置为右子树        //因为二叉树的左子树的所有元素小于根节点的值，右子树的所有元素的值大于根节点的值        while(i>start && a[i-1]>a[last]){            --i;        }        //左子树的元素都需要小于根节点        for(int j=i-1;j>=start;--j){            if(a[j]>a[last]){                return false;            }        }        //在递归判断左子树与右子树是否满足后序遍历        return (judge(a,start,i-1)) && (judge(a,i,last-1));    }}