剑指offer系列之22：二叉搜索树的后序遍历

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

思路：二叉搜索树(Binary Search Tree)的定义：它或者是一颗空树，或者是：若它的左子树不为空，则左子树上的所有节点的值小于根节点的值，若右子树不为空，则右子树上的所有节点的值大于根节点的值，左右子树也分别是二叉搜索树。 在后续遍历得到的序列中，最后一个数字是二叉树根节点的值，数组中的数字可以分为两部分，第一部分是左子树的后续遍历序列，都比根节点的值小，第二部分是右子树的后序遍历序列，都比根节点的值大。以数组{5,7,6,9,11,10,8}为例，8是根节点的值，在这个数组中，前三个数字5、7、6都比8小，是值为8的根节点的左子树；后三个数字11、10、8都比8大，是值为8的根节点的右子树，接下来按照同样办法来确定左右子树，如果未被二叉搜索树的定义，则不存在一个二叉搜索树的后序遍历序列是该数组序列。

public class Solution {
    public boolean VerifySquenceOfBST(int [] sequence) {
        if(sequence == null || sequence.length <= 0){
            return false;
        }
        return verify(sequence,sequence.length);
    }

    public static boolean verify(int[] sequence,int length){
        if(sequence == null || length < 0){
            return false;
        }
        int root = sequence[length - 1];
        //在二叉搜索树中左子树的节点小于根节点
        int i = 0;
        for(;i < length - 1;++i){
            if(sequence[i] > root){
                break;
            }
        }
        //在二叉搜索树中右子树的节点大于根节点
        int j = i;
        for(;j < length - 1;++j){
            if(sequence[j] < root){
                return false;
            }
        }
        //判断左子树是不是二叉搜索树
        boolean left = true;
        if(i > 0){
            left = verify(sequence,i);
        }
        //判断右子树是不是二叉搜索树
        boolean right = true;
        if(i < length - 1){
            right = verify(sequence,length - i - 1);
        }
        return (left && right);

    } 
}