链表-判断一个序列是否是一个二叉搜索树的后序遍历序列

例题： 二叉搜索树的后序遍历序列
前沿： 我做这个题目做了2遍了，第一遍已经不清楚了，刚刚做完第二遍，给出两种解法。
方法一：
检查序列是否符合二叉搜索树的特性。

class Solution {
public:
    bool VerifySquenceOfBST(vector<int> sequence) {
        //递归实现分开判断
        int n = sequence.size();
        if(n==0) return false;
        return Verify(0, n-1, sequence);
    }
    
    bool Verify(int start, int end, vector<int> squence){
        if(start >= end) return true;  //我在这个地方磕了很久，其实还是没有想到如果缺失一个孩子的情况下，start和end是有可能颠倒的。
        int i;
        for(i=start;i<end;i++){
            if(squence[i]>squence[end]){
                break;
            }
        }
        for(int j = i;j<end;j++){
            if(squence[j]<squence[end])
                return false;
        }
        return Verify(start, i-1, squence) && Verify(i, end-1, squence);
    }
};

方法二：

class Solution {
public:
    bool VerifySquenceOfBST(vector<int> &seq) {
        if (seq.size() < 1) return false;

        // roots栈里面依次存放各层祖辈节点的值
        // 事先放入一个值以避免对空栈进行判断
        stack<int> roots;
        roots.push(INT_MIN);
        int max = INT_MAX;
        for (int i=seq.size()-1; i > -1; i--) {
            // 当节点超过max约束时，它必定不是二叉搜索树
            if (seq[i] > max) return false;

            // 如果节点小于roots的栈顶，说明该节点是某个祖辈的左孩子
            // 不断出栈，直到找出该祖辈，同时，该祖辈也提供了新的max约束
            while (seq[i] < roots.top()) {
                max = roots.top();
                roots.pop();
            }
            // 该节点成了新一代的祖辈节点，为后续节点判断自己的位置提供依据
            roots.push(seq[i]);
        }
        return true;
    }
};

Note: 代码是从一位博主那分享过来的，思路比较新颖，能够考虑到本身二叉搜索树的后续的特性，构造O(n)算法，牛皮。