剑指Offer-二叉搜索树的后序遍历序列

题目描述

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

首先我们给出二叉搜索树的定义：

二叉搜索树，也称有序二叉树,排序二叉树，是指一棵空树或者具有下列性质的二叉树：

1. 若任意节点的左子树不空，则左子树上所有结点的值均小于它的根结点的值；

2. 若任意节点的右子树不空，则右子树上所有结点的值均大于它的根结点的值；

3. 任意节点的左、右子树也分别为二叉查找树。

4. 没有键值相等的节点。

根据后序遍历的定义，先左右子树后根节点，所以可以判断一个后序遍历序列最后一个必然为根节点，前半部分为左子树的遍历序列，后半部分（除最后一个）为右子树的遍历序列

思路：

1）若序列长度为1，则为后序遍历序列，返回true，只有一个根节点；若无空序列，则返回false

2）根据最后一个根节点划分前面的序列为左子树序列A，右子树序列B

（划分过程中若出现，后半序列有小于根节点的情况，则不符合二叉搜索树定义，返回false，代码中标红）

3）递归判断A，B是否为二叉搜索树的后序遍历序列 （非空序列）

class Solution {
public:
    bool VerifySquenceOfBST(vector<int> sequence) {
        if(sequence.size() == 0)
            return false;
        if(sequence.size() == 1)
            return true;
        int size = sequence.size();
        int rootvalue = sequence[size-1];
        vector<int> sequence1,sequence2;
        int i,j;
        for(i = 0; i < size; ++ i){
            if(sequence[i] < rootvalue)
                sequence1.push_back(sequence[i]);
            else
                break;
        }
        cout << "i = " << i << endl;
        j = i;
        for(;i < size-1; ++i){
             if(sequence[i] > rootvalue)
                sequence2.push_back(sequence[i]);
            else
                return false;
        }
        bool res1 = true, res2 = true;
        if(j>0){
            res1 = VerifySquenceOfBST(sequence1);
        }
        if(size-j>1){
            res2 = VerifySquenceOfBST(sequence2);
        }
        return res1&&res2;     
    }
};