[剑指offer] 33. 二叉搜索树的后序遍历序列

题目

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

思路

涉及到遍历序列，首先想到根节点和左右子树的次序关系。可以先找到根节点，再基于根节点把整棵树的遍历序列拆分成左右子树序列，递归的处理子序列。

涉及到二叉搜索树，首先想到两个性质：1是根节点的二分性质，2是中序遍历的递增性质。

明晰概念：

• 后序遍历定义： [ 左子树 | 右子树 | 根节点 ] ，即遍历顺序为：左、右、根 。

• 二叉搜索树定义： 左子树中所有节点的值 < 根节点的值；右子树中所有节点的值 > 根节点的值；其左、右子树也分别为二叉搜索树。

前序中序后序一般是DFS，递归或者栈实现。

方法：递归

（递归分治回溯）

递归，判断所有子树的正确性 （其后序遍历满足二叉搜索树的定义），若所有子树都正确，则此序列为二叉搜索树的后序遍历。关键是从后序遍历序列还原出树的结构。

终止条件： 子树节点数量≤1 ，无需判别正确性，直接返回 true；
递推工作：

• 划分左右子树： 遍历后序遍历的 [i, j] 区间元素，寻找 第一个大于根节点 的节点，索引记为 m 。此时，可划分出左子树区间 [i,m-1]、右子树区间 [m, j - 1]、根节点索引 j。
• 判断是否为二叉搜索树：
  左子树区间 [i, m - 1] 内的所有节点都应 < postorder[j]。而划分左右子树 步骤已经保证左子树区间的正确性，因此只需要判断右子树区间即可。
  右子树区间 [m, j-1] 内的所有节点都应 > postorder[j]。实现方式为遍历。
• 返回值： 所有子树都需正确才可判定正确

v1

class Solution:
    def verifySequenceOfBST(self, sequence):
        """
        :type sequence: List[int]
        :rtype: bool
        """
        def recur(sequence):
            if not sequence:return True
            root=sequence[-1]