剑指offer（22）

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

# -*- coding:utf-8 -*-
class Solution:
    def VerifySquenceOfBST(self, sequence):
        # write code here
        #若数组为空则返回false，也是停止递归的条件
        #按理说空树也是二叉排序树，但是题目要求若为空返回false
        if len(sequence) == 0:
            return False
        #只有一个结点，或者子树只有一个结点都返回True
        if len(sequence) == 1:
            return True
        l = 0
        r = len(sequence)
        #树的后序遍历特性，队列最后一个值一定是该树的根节点
        root = sequence[-1]
        #二叉搜索树的特性，左子树的值都比根节点小
        #右子树的值都比根节点大
        while sequence[l] < root:
            l += 1
        #如果找到了一个值比根节点大，但是后面还有比根节点小的值，返回False
        for i in range(l,r-1):
            if sequence[i] < root:
                return False
        #递归左半部分跟右半部分，
        #不太明白为什么是or，一开始用的and，报错，改成or就对了
        return self.VerifySquenceOfBST(sequence[0:l]) or self.VerifySquenceOfBST(sequence[l:r-1])