剑指offer23--二叉搜索树的后续遍历

题目描述

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

思路

首先需要知道二叉搜索树及其后续遍历的特征。
**二叉搜索树：**二叉查找树（Binary Search Tree），（又：二叉搜索树，二叉排序树）它或者是一棵空树，或者是具有下列性质的二叉树： 若它的左子树不空，则左子树上所有结点的值均小于它的根结点的值； 若它的右子树不空，则右子树上所有结点的值均大于它的根结点的值； 它的左、右子树也分别为二叉排序树。

因此，加入对一个二叉搜索树进行中序遍历得到的数组，一定是一个有序且递增的数组。
那么对于本题中的后续遍历呢？后续遍历是左–>右–>根的方式遍历，数据一般是不会有序的，我们唯一能找到的特点是：最后一个数一定是整棵搜索树的根节点。这样，根据根节点的大小，可以找到左右子树的分界，并且左子树都比根节点小，右子树都比根结点大，违反这个特点就可以直接判定为false。
再将左右子树分别这样层层递归下去，如果都满足就返回true，否则为false。

实现

class Solution {
public:
    bool panduan(vector<int> &sequence,int start,int root)
    {
        if (start>=root) return 1;//这是一个比较困惑的点
        
        int div=0;//左右子树分界点
        for (;div<root;div++)
        {
            if (sequence[div]>sequence[root])
                break;
        }
        
        for (int j=div+1;j<root;j++)//判断右子树有没有比根节点小的（左子树在上一步已经比较过了，可以省略）
        {
            if (sequence[j]<sequence[root])
                return 0;
        }
        
        //递归左右子树
        return panduan(sequence,start,div-1)&&panduan(sequence,div,root-1);
    }
    
    bool VerifySquenceOfBST(vector<int> sequence) {
        if (sequence.size()==0) return 0;//空树返回false
        
        return panduan(sequence,0,sequence.size()-1);
        
    }
};

注意：对于刚刚的递归返回条件，

if (start>=root) return 1;//这是一个比较困惑的点

为什么是大于等于呢？
对于一个这样的序列：【1，2，3】，很明显它是一棵没有右子树的二叉树。
在第一轮递归中，我们找到分界点div=2，将数组分为左右传到下一轮递归：【1，2】和【】，即没有右子树
形式如下：

return panduan(sequence,0,1)&&panduan(sequence,2,1);

这样就能看出在右子树的递归出现了问题，起始位置超过了根节点的位置，这是如果不在下一层递归即使返回的话就会报错。

知识点

二叉搜索树
后续遍历
递归