剑指Offer-二叉树-二叉搜索树的后序遍历序列

33. 二叉搜索树的后序遍历序列

输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历结果。如果是则返回 true，否则返回 false。假设输入的数组的任意两个数字都互不相同。
参考以下这颗二叉搜索树：


解题思路：

• 二叉搜索树是对一个有序数组进行二分查找形成的搜索树，它指一棵空树或者具有下列性质的二叉树。
  1.若任意节点的左子树不空，则左子树上所有节点的值均小于它的根节点的值；
  2.若任意节点的右子树不空，则右子树上所有节点的值均大于它的根节点的值；
  3.任意节点的左、右子树也分别为二叉查找树。
• 左右子树部分同样符合整个规律，所以我们可以递归实现数组的判断。

算法流程：

• 当二叉树为空也是二叉搜索树，返回True
• 划分左子树，右子树，根
• 递归左子树，右子树，根，直到结束条件：左右子树长度<=1。

代码实现：

class Solution:
    def verifyPostorder(self, postorder: List[int]) -> bool:
    	#空二叉树也为二叉搜索树
        if len(postorder) == 0:return True
        else:
            root = postorder[-1]
            lefttree = []
            righttree =[]  
            #左子树和右子树
            splitindex = -1
            for i in range(len(postorder)):
                # 值小于根结点的归为左子树
                if postorder[i]<root:
                    lefttree.append(postorder[i])
                    splitindex = i
                else:break
            for i in range(splitindex+1,len(postorder)-1):
                # 若右子树部分有小于根结点的值，说明不是二叉搜索树
                if postorder[i] > root:
                    righttree.append(postorder[i])
                else:
                    return False
            #左树、右树、根创建完毕
            if len(lefttree) <= 1:left = True   #注意符号：<=
                # 递归判断左子树
            else:
                left = self.verifyPostorder(lefttree)

            if len(righttree) <= 1:right = True
                # 递归判断右子树
            else:
                right = self.verifyPostorder(righttree)
            # print(left,right)
            return left and right