二叉排序树的后序遍历序列必然是递增的_二十二---二叉搜索树的后序遍历序列...

题目描述

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

思路: 二叉树遍历 递归

二叉搜索树举例：

结合图中分析：

• 一棵 BST ：左孩子 < 根结点 < 右孩子
• 一棵 BST 的左子树或者右子树都是 BST

后序遍历是，左右根：[3, 4, 9, 5, 12, 11, 10]，结合图再从左往右分析后序序列，分析子树，可以发现：

• [3, 4, 9, 5] 10 [12, 11]
  • [3, 4] 5 [9]
    • [3] 4
  • [12] 11

发现对于每一棵子树，它的根结点总是对应该子树的后序序列的最后一个数

那么，只需要不断地确定出左子树区间和右子树区间，并且判断：左子树区间的所有结点值 < 根结点值 < 右子树区间所有结点值，这个条件是否满足即可

递归方法在每一层的遍历开销是O(n)，而对于二叉树而言，递归的层数平均是O(logn)，因此，递归方法的最终复杂度是O(n*logn)

python实现：

# -*- coding:utf-8 -*-

class Solution:

def VerifySquenceOfBST(self, sequence):

# write code here

length = len(sequence)

if length == 0:

return False

if length == 1:

return True

root = sequence[-1]

left = 0

while sequence[left] < root:

left += 1

for j in range(left, length -1):

if sequence[j] < root:

return False

return self.VerifySquenceOfBST(sequence[:left]) or self.VerifySquenceOfBST(sequence[left:length -1])