剑指offer 二叉搜索树的后序遍历序列（C++）(四种解法)

题目描述

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

解题思路

1、二叉搜索树 又叫 二叉排序树，是一个递归的树型结构：

如果根结点为空，返回false；

根结点的左孩子结点值小于根结点，根结点右孩子结点值大于根结点。

根结点的左右子树分别满足上述条件。

中序遍历二叉搜索树可得到递增的序列。

2、判断一个二叉树后序遍历序列是否为二叉搜索树，必须满足数组前半部分序列小于数组的最后一位数（根结点值），后半部分序列（除去最后一个结点）大于数组的最后一个元素，而且其每个部分的序列也要满足以上条件。

3、可用如下4种方法（实则2种 递归 非递归）解答此题。

代码实现

1、 由于需要标记数组序列中的左子树序列范围和右子树序列的范围，故需要重新定义函数将数组下标的参数加入到函数之中。

由于该函数为bool类型，定义两个bool变量来接收左子树序列和右子树序列的真假性，由于函数体中只给定了出现false的情况，没有直接对true的情况进行判断，所以两个变量的初始化为true，如果整个数组序列没有返回false并且左右子树也没有返回false的话，函数体便会返回两个bool变量的初试值——true，否则返回false。

由于二叉树不一定为完全二叉树或者是满二叉树，在递归的过程中，可能出现分枝树中为单支树的情况，必须对数组下标的越界问题进行判断，在出现单支树的情况下，是可以出现左子树或者是右子树为空的情况，此时若不进行判断，则会在下一轮进入递归函数中执行if (sequence.empty()) return false;直接返回false，导致误判。

class Solution
{
   
	//第一个函数为自定义函数
	bool VerifyVectorOfBST(vector<int> sequence, int start, int end)//int 为数组下标
	{
   
		int i = 0, j = 0;
		for (i = 0; i < end; i++)
		{
   
			if (sequence[i] > sequence[end])
			{
   
				break;
			}
		}
		for (j = i; j < end; j++)
		{
   
			if (sequence[j] < sequence[end])
			{
   
				return false;
			}
		}
		bool leftBST = true, rightBST = true; // 先定义好true类型
		if (i > start)
		{
   
			leftBST = VerifyVectorOfBST(sequence, start, i - 1); //判断数组下标是否越界
		}
		if (i < end - 1)
		{
   
			rightBST =