剑指Offer第二十三题：由一个后序遍历判断是否是二叉搜索树

剑指Offer第二十三题：由一个后序遍历判断是否是二叉搜索树

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

• 这个题要从二叉搜索树的定义来做，左子树全部小于根节点，右子树全部大于根节点，方案就是检查每一层的左子树和右子树是否都能满足大小关系

• 现在问题就是怎么找出左子树和右子树，这个根据后序遍历的特点，左子树在前，右子树在中间、根结点在最后边

• 从左往右找，如果发现一个结点的值大于根节点的值，说明到了右子树的范围

• 在右子树中如果检查到一个结点的值小于根节点，则说明不是二叉搜索树，直接返回，否则递归，检测子树的搜索二叉树关系是否满足

public class Solution {
    public boolean VerifySquenceOfBST(int [] sequence) {
        if(sequence == null || sequence.length == 0){
            return false;
        }
        //结题思路：左子树全部小于根结点，右子树全部大于根节点
        //根结点在最后一位，左子树在前，右子树在中间
        //从左往右找到右子树，要求右子树全部结点都大于根结点，否则不是搜索二叉树
        return isBinarySearchTree(sequence, 0, sequence.length-1);
    }
    private boolean isBinarySearchTree(int[] sequence, int start, int end){
        if(end <= start){
            return true;
        }
        int i;
        //找到右子树的开始位置
        for(i = 0; i<end; i++){
            if(sequence[i] > sequence[end]){
                break;
            }
        }
        //在右子树中不能有小于根节点的结点
        for(; i<end; i++){
            if(sequence[i] < sequence[end]){
                return false;
            }
        }
        return isBinarySearchTree(sequence, start, i-1) && isBinarySearchTree(sequence, i, end-1);
    }
}