判断给定的序列是否是一棵BST的后序遍历序列

给定一个序列 ，判断该序列是否是一棵二叉搜索树的后序遍历序列。

比如：

我们知道，后序遍历的最后一个元素就是根节点，前边比它小的都位于根的左子树上，比它大的都位于根的右子树上。所以，对于上述的序列：

8是这棵二叉搜索树的根。

3，7 ，6都小于8，都位于8的左子树上。

     6又是左子树的根，3小于6，是左子树的左孩子，7大于6，是左子树的右孩子。

11，12都大于8，都位于8的右子树上。

     12又是右子树的根，11小于12，是右子树的左孩子，右子树没有右孩子。

这个序列是合法的二叉搜索树的后序遍历序列 ， 推导结束。

再如：给定序列是：7 3 6 9 5

5是这棵二叉搜索树的根。

7大于5，所以，这棵树没有左子树。7 3 6 9都位于右子树上。

而右子树的序列中   3小于5，所以这个序列不是合法的二叉搜索树的后序遍历序列。

下边给出代码实现：

//判断给定序列是否是BST的后序序列
template<typename T>
class PostOrder
{
public:
    PostOrder(int a[],int n)
        :_size(n)
    {
        _a = new T[_size];
        for(int i = 0; i < n; ++i)
        {
            _a[i] = a[i];
        }
    }

    bool IsCurrentPostOrder()
    {
        return _IsCurrentPostOrder(_a,_size);
    }
protected:
    bool _IsCurrentPostOrder(int a[],int len)
    {
        if( a == NULL ||len <= 0)
            return false;

        //对区间进行分段
        int i = 0;
        for(i = 0; i < len - 1; ++i)
        {
            if(a[i] > a[len - 1])
                break;//找到分割点
        }

        for(int j = i; j < len - 1 ; ++j)
        {
            if(a[j] < a[len - 1])//遇到小于根节点的值，说明不是合法后序序列，返回
                return false;
        }

        bool left = true;
        if(i > 0)
            left = _IsCurrentPostOrder(a,i);

        bool right = true;
        if(i < len - 1)
            right = _IsCurrentPostOrder(a+i,len-i-1);

        return left && right;
    }
private:
    T* _a;
    int _size;
};

void TestPostOrder()
{
    //int a[] = {3,7,6,11,12,8};
    int a[] = {7,4,6,5};
    PostOrder<int> p(a,4);
    cout<<p.IsCurrentPostOrder()<<endl;
}