数据结构-剑指offer-二叉搜索树的后序遍历序列

题目：输入一个整数数组，判断该数组是不是某二叉搜索树的后序遍历的结果。如果是则输出Yes,否则输出No。假设输入的数组的任意两个数字都互不相同。

        首先要注意二叉搜索树的定义：二叉搜索树也成为有序二叉树，排序二叉树，是指一棵空树或者具有下列性质的二叉树：1、若任意节点的左子树不空，则左子树上所有节点的值均小于它的根节点的值；2、任意节点的右子树不空，则右子树上所有节点的值均大于它的根节点的值；3、任意节点的左、右子树也分别为二叉查找树。4、没有键值相等的节点。

        其次要注意后续遍历序列的特点，在后续遍历得到的序列中，最后一个数字是树的根节点的值。

以下面的二叉搜索树为例：

        该二叉搜索树的后序遍历序列为{1,4,3,6,8,7,5}。该序列的最后一个数字5即为二叉搜索树的根节点。{1,4,3,6,8,7}为左子树和右子树节点。其中{1,4,3}比5小，是二叉树的左子树节点的值，{6,8,7}比5大，是二叉树的右子树节点的值。而{1,4,3}的3为左子根节点，{1,4}为左子根节点的左右子节点。同理{6,8,7}

        因为要不断判断根节点和左右子树，所以可以采取递归的方法，也是最能联想到的思路。

class Solution {
public:
    bool VerifySquenceOfBST(vector<int> sequence){
        int length = sequence.size();
        if(sequence.empty()){
            return false;
        }
        int root = sequence[length-1];
        //左子树
        int i=0;
        vector<int> leftSequence;
        for(i=0;i<length-1;i++){
            if(sequence[i]<root){
                leftSequence.push_back(sequence[i]);
            }
            else
                break;
        }
        //右子树
        vector<int> rightSequence;
        for(int j=i;i<length-1;j++){
            if(sequence[j]>root){
                rightSequence.push_back(sequence[j]);
            }
            else
                return false;
        }
        //判断左子树是不是二叉搜索树
        bool left = true;
        if(!leftSequence.empty()){
            left = VerifySquenceOfBST(leftSequence);
        }
        //判断右子树是不是二叉搜索树
        bool right = true;
        if(!rightSequence.empty()){
            right = VerifySquenceOfBST(rightSequence);
        }
        return (left&&right);
    }
};

        看讨论区大神还有更简洁的代码实现~~学习一下

class Solution {
    bool judge(vector<int> sequence,int l,int r){
        if(l>=r)
            return true;
        int i=r;
        while(i>1 && sequence[i-1]>sequence[r]){
            i--;
        }
        for(int j=i-1;j>=1;j--){
            if(sequence[j]>sequence[r]){
                return false;
            }
        }
        return judge(sequence,l,i-1)&&(judge(sequence,i,r-1));
    }
public:
    bool VerifySquenceOfBST(vector<int> sequence){
        if(!sequence.empty()){
            return false;
        }
        return judge(sequence,0,sequence.size());
    }
};

但运行结果有问题，理论应该输出true的，我的输出是false，不懂问题出在哪里啊~~待排