剑指Offer:二叉搜索树的后序遍历序列Java/Python

1.题目描述

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

2.算法描述

二叉搜索树是这样的树：
1）左孩子结点的值小于根节点的值，右孩子结点的值大于根节点的值；
2）左子树和右子树都是二叉搜索树。
树的后序遍历是左子树、右子树、根结点。根据二叉搜索树的定义，我们可以递归地判断给定的后序序列是否是二叉搜索树。

算法：

1.找到右子树子序列，右子树子序列可以通过从整个序列的最后（不包含最后一个，最后一个是根结点）向前扫描，直到出现比根结点小的元素就停止（因为右子树子序列都是大于根节点的）；
2.剩下的子序列是左子树子序列，检查左子树子序列中所有元素是否都小于根结点元素，如果存在大于根节点的元素，则不满足二叉搜索树的定义，返回false.
3.递归地判断左子树和右子树是否是二叉搜索树。

3.代码描述

3.1.Java代码

public class Solution {
    public boolean VerifySquenceOfBST(int [] sequence) {
        if (sequence==null ||sequence.length ==0)
            return false;
        return judge(sequence, 0, sequence.length - 1);
    }
    private boolean judge(int[] arr, int start, int end){
        if(start >= end)//递归停止条件 
            return true;
        int i = end;
        while(i > start && arr[i-1] > arr[end]){//找到右子树子序列
            i--;
        }
        for(int j=start;j<=i-1;j++){//检查左子树子序列元素 是否 都小于更结点元素
            if(arr[j]>arr[end])
                return false;
        }
        return judge(arr, start, i-1) && judge(arr, i, end-1);
    }
}

3.2.Python代码

# -*- coding:utf-8 -*-
class Solution:
    def VerifySquenceOfBST(self, sequence):
        def judge(seq, start, end):
            if start>=end:
                return True
            i = end
            while i>start and seq[i-1]>seq[end]:
                i -= 1
            for j in range(start, i):
                if seq[j]>seq[end]:
                    return False
            return judge(seq, start, i-1) and judge(seq, i, end-1)
        if not sequence:
            return False
        return judge(sequence, 0, len(sequence)-1)