判断整数序列是不是二元查找树的后序遍历结果

/*
*copyright@nciaebupt 转载请注明出处
题目：输入一个整数数组，判断该数组是不是某二元查找树的后序遍历的结果。如果是返回true，否则返回false。例如输入5、7、6、9、11、10、8，由于这一整数序列是如下树的后序遍历结果：
8
/ \
6 10
/ \ / \
5 7 9 11
因此返回true。
如果输入7、4、6、5，没有哪棵树的后序遍历的结果是这个序列，因此返回false。
分析：这是一道trilogy 的笔试题，主要考查对二元查找树的理解。
在后续遍历得到的序列中，最后一个元素为树的根结点。从头开始扫描这个序列，比根结点小的元素都应该位于序列的左半部分；从第一个大于跟结点开始到跟结点前面的一个元素为止，所有元素都应该大于跟结点，因为这部分元素对应的是树的右子树。根据这样的划分，
把序列划分为左右两部分，我们递归地确认序列的左、右两部分是不是都是二元查找树。
*/

#include <cstdlib>
#include <iostream>
using namespace std;

bool varifySquenceOfBSTree(int *array,int begin,int end)
{
    //cout<<begin<<" "<<end<<endl;
    //if(array == NULL || (end-begin+1) <= 0)
    if(array == NULL || end < begin)
        return false;
    //cout<<"FUCK"<<endl;
    int root = array[end];
    //找到序列中比根节点的值小的那部分序列，i的值是序列中左右子树的分割点
    int i = begin;
    for(i = begin;i < end;++i)
    {
        if(array[i] > root)
            break;
    }
    //在序列中二叉查找树的右子树中遍历，看是否有节点的值比root小，若有则为false
    int j = i;
    for(j = i; j < end;++j)
    {
        if(array[j] < root)
            return false;
    }
    //确认左子树是否正确
    bool left = true;
    if(i > begin)
        left = varifySquenceOfBSTree(array,begin,i-1);
    //确认右子树是否正确
    bool right=true;
    if(i < end)
        right=varifySquenceOfBSTree(array,i,end-1);
    //cout<<"left :"<<left<<" right :"<<right<<endl;

    return(left&&right);
}

int main(int args,char ** argv)
{
    int array[] = {5,7,6,9,11,10,8};
    //int array[] = {7,4,6,5};
    int len = sizeof(array)/sizeof(int);
    bool res = varifySquenceOfBSTree(array,0,len-1);
    cout<<res<<endl;

    system("pause");
    return 0;
}