剑指offer刷题：JZ23：二叉搜索树的后序遍历

题目：
输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果。如果是则返回true,否则返回false。假设输入的数组的任意两个数字都互不相同。（ps：我们约定空树不是二叉搜索树）
示例：

输入：[4,8,6,12,16,14,10]
返回值：true

思路：
首先明确二叉搜索树的概念：（1）空树
（2）左子树节点<根节点<右节点
其次明确后序遍历搜索的顺序：左、右、根，因此后序遍历序列的最后一个值便是二叉搜索树的根结点

明白以上性质后我们就可以用递归的方法来解答本小题
我们首先判断整体左子树和右子树是否满足以下关系：
左子树结点<根结点<右子树结点

因此对序列按顺序进行遍历，当序列值大于根结点时，说明到右子树
如果右子树的结点值小于根结点，说明该序列不是二叉搜索树的后序遍历

对整体二叉搜索树遍历结束后，继续对左子树和右子树进行遍历，这里可以使用递归的遍历方法来进行

代码：

class Solution:
    def VerifySquenceOfBST(self, sequence):
        # write code here
        s=len(sequence)
        index=0
        if s==0:
            return False
        for i in range(s):
            if sequence[i]>sequence[-1]:
                index=i
                break
        for j in range(i,s):
            if sequence[j]<sequence[-1]:
                return False
        left=True
        right=True
        if len(sequence[:index])>0:
            left=self.VerifySquenceOfBST(sequence[:index])
        if len(sequence[index:-1])>0:
            right=self.VerifySquenceOfBST(sequence[index:-1])
        return right and left