【剑指 Offer 随笔】 （中等）33. 二叉搜索树的后序遍历序列 --- 递归

• 33 二叉搜索树的后序遍历序列
• 来源：力扣（LeetCode）
  链接：https://leetcode-cn.com/problems/er-cha-sou-suo-shu-de-hou-xu-bian-li-xu-lie-lcof
• 输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历结果。如果是则返回 true，否则返回 false。假设输入的数组的任意两个数字都互不相同。
  Notes：二叉搜索树任意根节点均大于其左子树的所有节点，右子树所有节点均大于根节点
  解题思路：【python 3】递归：数组最后一个节点为根节点right，先要找到左右子树分割处，遍历数组找到第一个大于根节点的节点，即右子树的根节点下标为k，若k之后所有节点均大于根节点，则满足二叉搜索树，递归判断其左子树和右子树是否为二叉搜索树，否则返回False。

# python 3
class Solution:
    def verifyPostorder(self, postorder: List[int]) -> bool:
        if len(postorder)==0: return True
        return self.verifyBranch(postorder, 0, len(postorder)-1)
    def verifyBranch(self, postorder, left, right):
        if left >= right : return True
        i, j = left, right
        while postorder[i] < postorder[right]: i=i+1
        k = i
        while postorder[i] > postorder[right]: i=i+1
        if i == j: 
            return self.verifyBranch(postorder, left, k-1) and self.verifyBranch(postorder, k, right-1) 
        return False   

// c++
class Solution {
public:
    bool verifyPostorder(vector<int>& postorder) {
        if (postorder.size() == 0) return true;
        return verifyBranch(postorder, 0, postorder.size()-1);
    }
    bool verifyBranch(vector<int> postorder, int left, int right){
        if (left>= right) return true;
        int i = left;
        while(postorder[i]< postorder[right]) ++i;
        int k = i;
        while(postorder[i]>postorder[right]) ++i;
        if (i==right) 
            return verifyBranch(postorder, left, k-1) && verifyBranch(postorder, k, right-1);
        return false;
    }
};