java版剑指offer：二叉搜索树的后序遍历序列

java版剑指offer：二叉搜索树的后序遍历序列

描述
输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果。如果是则返回true,否则返回false。假设输入的数组的任意两个数字都互不相同。（ps：我们约定空树不是二叉搜索树）
示例1
输入：
[4,8,6,12,16,14,10]
复制
返回值：
true

二叉搜索树：

• 每个节点中的值必须大于（或等于）存储在其左侧子树中的任何值。
• 每个节点中的值必须小于（或等于）存储在其右子树中的任何值。

前序遍历：

• 先访问根结点，然后再访问左子树，最后访问右子树。

中序遍历：

• 先访问左子树，中间访问根节点，最后访问右子树。

后序遍历：

• 先访问左子树，再访问右子树，最后访问根节点

解题思路：

• 二叉搜索树BST的后序遍历特性是左右后
• 左子树的值都比root小，右子树都比root大，因此root可以把sequence分为两部分
• 前一段是根节点的左子树，后一段是根节点的右子树
• 递归检查sequence前一段（左子树）的值是不是都比根节点小，后一段（右子树）的值是不是都比根节点大

public class Solution {
    public boolean VerifySquenceOfBST(int [] sequence) {
        //二叉搜索树BST的后序遍历特性是左右后
        //左子树的值都比root小，右子树都比root大，因此root把sequence分为两部分
        //前一段是根节点的左子树，后一段是根节点的右子树
        //递归检查sequence前一段（左子树）的值是不是都比根节点小，
        //后一段（右子树）的值是不是都比根节点大
        if(sequence.length==0){
            return false;
        }
        return verifySquenceOfBST(sequence,0,sequence.length-1);
    }
    
    public boolean verifySquenceOfBST(int[] sequence,int start,int end){
        //递归终止条件
        if(start>=end)
            return true;
        //目前的根结点
        int root=sequence[end];
        //root把sequence分为两部分，左节点都比根节点小，右节点都比根节点大
        int k = start;
        while(k<end && sequence[k]<root){
            k++;
        }
        //mid表示右节点起始位置，用于后面递归
        int mid = k;
        //判断右节点孩子是否都大于根节点
        while(k<end && sequence[k]>root){
            k++;
        }
        
        if (k==end){
            //满足分为两端的要求，前段是左子树，右段是右子树，递归左子树，右子树
            return verifySquenceOfBST(sequence,start,mid-1) 
                && verifySquenceOfBST(sequence,mid,end-1);
        }else{
            //不满足要求直接返回false
            return false;
        }        
    }
}