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

1.题目描述

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

2.问题分析

什么是二叉搜索树？根据定义，二叉查找树（Binary Search
Tree），（又：二叉搜索树，二叉排序树）它或者是一棵空树，或者是具有下列性质的二叉树：
若它的左子树不空，则左子树上所有结点的值均小于它的根结点的值； 若它的右子树不空，则右子树上所有结点的值均大于它的根结点的值；
它的左、右子树也分别为二叉排序树。

所以，根据二叉搜索树的特性和后序遍历的结果，如：

				5
			4
		3
	2
1
后序遍历是：1 2 3 4 5，元素5把数组划分成两部分,左部分是[1 2 3 4],右部分是[],
之后对左,右部分继续划分，其余分析见代码

3.源代码

bool VerifySquenceOfBSTCore(vector<int>& sequence, int begin, int end)
{
    //如果只有一个元素，那么找到最后了，返回值为true
    if(begin == end)
        return true;
    //value为数组中的最后一个值，index是为了把数组划分成两部分，左边和右边
    int value = sequence[end],index = begin;
    while(index < end && value > sequence[index]) ++index;
    //leftEnd为左边最后一个元素下标，rightBegin为右边第一个元素下标
    int leftEnd = index - 1,rightBegin = index;
    //判断数组右边的元素是否都是大于value
    while(index < end && value < sequence[index]) ++index;
    //如果index不是index，那么右边元素不是都大于value，则返回false
    if(index != end)
        return false;
    bool result = true;
    //数组左边是否存在
    if(begin <= leftEnd)
        result = VerifySquenceOfBSTCore(sequence, begin, leftEnd);
    //数组右边是否存在
    if(result == true && rightBegin <= end - 1)
        result = VerifySquenceOfBSTCore(sequence, rightBegin, end - 1);
    return result;
}
bool VerifySquenceOfBST(vector<int> sequence) {
    int size = sequence.size();
    if(size == 0)
        return false;
    return VerifySquenceOfBSTCore(sequence, 0, size - 1);
}

4.结论

注意什么是二叉搜索树,注意查找得时候，需要判断左部分是否都小于最后一个元素，右部分是否都大于最后一个元素。注意左,右部分的长度需要大于等于1.