剑指offer——二叉搜索树的后序遍历序列

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

方法一：递归
链接：https://www.nowcoder.com/questionTerminal/a861533d45854474ac791d90e447bafd
来源：牛客网

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

class Solution {
    bool judge(vector<int>& postOrderSequence, int begin, int end){
        if(begin >= end )
            return true;
        
        int ruler = postOrderSequence[end];
        int runner = begin;
        int midpoint;
        
        while (postOrderSequence[runner] < ruler)
            runner++;
        midpoint = runner;
        
        while (postOrderSequence[runner] > ruler)
            runner++;
        
        if (runner == end)
            return judge(postOrderSequence, begin, midpoint-1) &&
                   judge(postOrderSequence, midpoint, end-1);
        else 
            return false;
    }
public:
    bool VerifySquenceOfBST(vector<int> sequence) {
        if(!sequence.size())
            return false;
        return judge(sequence, 0, sequence.size()-1);
    }
};

方法二：非递归
链接：https://www.nowcoder.com/questionTerminal/a861533d45854474ac791d90e447bafd
来源：牛客网

非递归也是一个基于递归的思想：
左子树一定比右子树小，因此去掉根后，数字分为left，right两部分，right部分的
最后一个数字是右子树的根他也比左子树所有值大，因此我们可以每次只看右子树是否符合条件
即可，即使到达了左子树，左子树也可以看出由左右子树组成的树，还像右子树那样处理

对于左子树回到了原问题，对于右子树，左子树的所有值都比右子树的根小可以暂时把他看出右子树的左子树
只需看看右子树的右子树是否符合要求即可

class Solution {

public:
    bool VerifySquenceOfBST(vector<int> sequence) {
        int size = sequence.size();
        if (!size)
            return false;
        
        int end = size - 1;
        int runner = 0;

        while (size--) {
            int ruler = sequence[end];
            
            while (sequence[runner] < ruler)
                runner++;
            while (sequence[runner] > ruler)
                runner++;
            
            if (runner < end)
                return false;
            
            runner = 0;
            end--;
        }
        return true;
    }
};