JZ23. 二叉搜索树的后序遍历路径

题目描述：输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果。如果是则返回true,否则返回false。假设输入的数组的任意两个数字都互不相同。（ps：我们约定空树不是二叉搜素树）。

1. 分析

BST的后序序列的合法序列是，对于一个序列S，最后一个元素是x （也就是根），如果去掉最后一个元素的序列为T，那么T满足：T可以分成两段，前一段（左子树）小于x，后一段（右子树）大于x，且这两段（子树）都是合法的后序序列。完美的递归定义。

2. 用C++写出逻辑：

bool VerifySquenceOfBST(vector<int> sequence) {
        int size = sequence.size();
        if(size <= 0)
            return false;
        return Core(sequence, 0, size - 1);
    }
    
    bool Core(vector<int> sequence, int lo, int hi) {
        if(lo >= hi)   return true;
        int root_data = sequence[hi];
        int i = lo;
        for(; sequence[i] < root_data; i++){}
        
        int j = i;
        for(; j < hi; j++)
            if(sequence[j] < root_data)
                return false;
        return Core(sequence, lo, i - 1) && Core(sequence, i, hi - 1);
    }