《剑指Offer》(33)二叉搜索树的后序遍历序列

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

二叉搜索树（二叉排序树，二叉查找树）的特点：
（1）如果左子树不空，那么左子树上所有结点的值都小于它的根结点的值；
（2）如果右子树不空，那么右子树上所有结点的值都大于它的根结点的值；
（3）左、右子树也分别是二叉搜索树。

在后序遍历（左子树->右子树->树根）得到的序列中，最后一个数字是根节点的值。数组中前面的数字可以分为两部分：第一部分是左子树节点的值，它们都比根节点的值小；第二部分是右子树节点的值，它们都比根节点的值大。

Java代码如下：

public class Solution 
{
    //二叉搜索树（二叉排序树，二叉查找树）的特点：左子树<树根<右子树；左、右子树也分别是一棵二叉搜索树。
    public boolean VerifySquenceOfBST(int [] sequence) 
    {
        if(sequence == null || sequence.length <= 0)
            return false;
        return VerifySquenceOfBST(sequence,0,sequence.length); 
    }
    public boolean VerifySquenceOfBST(int [] sequence,int start,int length)
    {
        if(length <= 0)
            return false;
        //在后序遍历（左子树->右子树->树根）得到的序列中，最后一个数字是树的根节点的值
        int root = sequence[start + length - 1];
        int i = start;
        for(;i < start + length - 1;i++)
        {
            if(sequence[i] > root)
                break;//结束循环
        }
        int j = i;
        for(;j < start + length - 1;j++)
        {
            if(sequence[j] < root)
                return false;
        }
        boolean left = true;
        if(i > start)
            left = VerifySquenceOfBST(sequence,start,i - start);//判断左子树是否是一棵二叉搜索树
        boolean right = true;
        if(i < start + length - 1)
            right = VerifySquenceOfBST(sequence,i,length - (i - start) - 1);//判断右子树是否是一棵二叉搜索树
        return left && right;
    }
}