剑指 offer 刷题——33. 二叉搜索树的后序遍历序列

一、题目

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

二、思路及代码实现

思路：

二叉搜索树的后序遍历顺序是：左子树------>右子树------>根节点，所以，二叉搜索树的后序遍历序列的最后一个元素就是根节点。

对于二叉搜索树，根节点的左子树的所有节点都小于根节点，根节点的右子树的所有节点都大于根节点。设最后一个元素为 x，根据这一性质，可将后序遍历序列分成两段，前一段小于 x，都是左子树的节点；后一段大于 x，都是右子树的节点。

两段序列对应的子树仍然是二叉搜索树，也有上述的性质。递归地对一个序列进行分析，如果满足上述条件，那它就是某二叉搜索树的后序遍历的结果。

参考代码：

public class Solution {
    public boolean VerifySquenceOfBST(int [] sequence) {
        if(sequence == null || sequence.length == 0)
            return false;
        return isBST(sequence, 0, sequence.length - 1);
    }
    
    public boolean isBST(int[] sequence, int start, int end){
    	// 递归结束条件：没有子序列可分了
        if(end <= start)
            return true;
        // 从左向右，找到第一个大于根节点的元素，则该元素之前的元素都是左子树
        int i = 0;
        for(i = start; i < end; i++){
            if(sequence[i] > sequence[end])
                break;
        }
        // 从上一步确定的第一个大于根节点的元素开始向右，只要存在一个小于根节点的元素，
        // 该序列都不是后序遍历序列。
        for(int j = i; j < end; j++){
            if(sequence[j] < sequence[end])
                return false;
        }
        return isBST(sequence, start, i - 1) && isBST(sequence, i, end - 1);
    }
}