JZ33 二叉搜索树的后序遍历序列

描述
输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果。如果是则返回 true ,否则返回 false 。假设输入的数组的任意两个数字都互不相同。
提示：
1.二叉搜索树是指父节点>左子树的全部节点，但是父节点<右子树的全部节点
2.空树不是二叉搜索树

输入：
[1,3,2]
返回值：
true
说明：
是上图的后序遍历 ，返回true         

输入：
[3,1,2]
返回值：
false
说明：
不属于上图的后序遍历，从另外的二叉搜索树也不能后序遍历出该序列 ，因为最后的2一定是根节点，前面一定是孩子节点，可能是左孩子，右孩子，根节点，也可能是全左孩子，根节点，也可能是全右孩子，根节点，但是[3,1,2]的组合都不能满足这些情况，故返回false    

思路：后序遍历的特点：最后一个节点是根节点，那么右子树>根节点，所以需要从后开始遍历右子树，直到当前节点的值<根节点为止，那么将数组分为了两部分，然后利用递归思想判断子树是否是正确的后序遍历，如果左边指针>=右边指针说明是正确的后序遍历

class Solution {
  public:
    bool VerifySquenceOfBST(vector<int> sequence) {
        //思路：首先后序遍历时，最后一个节点是根节点，那么从后向前依次遍历，直到找到小于根节点的下标截至
        int n = sequence.size();
        if (n == 0) return false;
        return check(sequence, 0, n - 1);
    }
    bool check(vector<int>& sequence, int l, int r) {
        if (l >= r) return true;
        //取出根节点
        int temp = sequence[r];
        int j = r - 1;
        //找到右子树大于根节点的下标
        while (j >= 0 && sequence[j] > temp) j--;
        //遍历从头开始到j的左子树是否大于根节点
        for (int i = l; i <= j; ++i) {
            if (sequence[i] > temp)
                return false;
        }
        //遍历每个子树是否为正确的后序遍历
        return check(sequence, l, j) && check(sequence, j + 1, r - 1);
    }
};