leetcode剑指offer33：二叉搜索树的后序遍历序列

题目描述：
输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历结果。如果是则返回 true，否则返回 false。假设输入的数组的任意两个数字都互不相同。
示例：
参考以下这颗二叉搜索树：
5
/ \
2 6
/ \
1 3
示例 1：
输入: [1,6,3,2,5]
输出: false
示例 2：
输入: [1,3,2,6,5]
输出: true
思路：
主要参考的题解链接

    def verifyPostorder(self, postorder: List[int]) -> bool:
        # 后序遍历一个树的结果是 左子树|右子树|根
        # 而本题中需要检查的是，是否可以构成一个二叉搜索树，二叉搜索的特点是：
        # 左子树的值都小于根，右子树的值都大于根
        # 进而，首先划分出左右子树，再看左右子树是否满足是二叉搜索树即可
        def gou(i, j):
            if i >= j:
                return True
            p = i
            while postorder[p] < postorder[j]: p += 1
            m = p
            while postorder[p] > postorder[j]: p += 1
            '''
             这三个条件是：
             首先判断右子树是不是都是大于根，保证当前情况下是搜索树，因为左子树在找左右子树分界点的时候已经保证了都是小于根的
             接下来保证左右子树都是二叉搜索树
            '''
            return p == j and gou(i, m-1) and gou(m, j-1)

        return gou(0, len(postorder)-1)