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

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

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

题目解析：

这道题首先要先明确二叉搜索树的性质。

二叉搜索树（二叉查找树）：每棵子树的头结点的值比各自左子树上所有的结点值都要大，比各自右子树上的所有结点值要小。因此二叉搜索树用中序遍历一定可以得到从小到大的序列。

其次要明确二叉树的后续遍历：按照左子树，右子树，根节点的方式去遍历二叉树。

二叉树的后续遍历可以通过递归和非递归两种，递归实现就是按照左子树右子树根节点，在这里顺便回顾一下非递归方式：

非递归实现：

  可以用两个栈去实现，s1 和 s2

  1. 首先根节点压入s1

  2. s1中的节点是cur，cur的左孩子压入s1，cur的右孩子压入s1

  3. 整个过程中，每一个从s1中弹出的节点都放进s2中

  4. 重复2 和 3，直至 s1为空，停止

  5. 从s2中依次弹出节点并打印

递归方法解析：

下面回归到这道题上，后续遍历的特点就是可以通过该序列的最后一个节点是根节点。因此我们可以从前面搜索，找到第一个比根节点大的节点，它前面的节点就是应该是左子树的节点，在它之后的节点都应该比根节点大，如果比根节点小那就是false。

然后再进行递归，对前面的左子树和右子树进行递归。

C++实现：

class Solution {
public:
    bool verify(vector<int> sequence,int left,int right)
    {
        if(left>=right)
            return true;
        int i;
        int root = sequence[right];
        for(i = left;i<right;i++)
        {
            if(sequence[i]>root)
                break;
        }
        for(int j = i;j<right-1;j++)
        {
            if(sequence[j]<root)
                return false;
        }
        return verify(sequence,left,i-1) && verify(sequence,i,right-1);//对左子树和右子树递归实现
    }
    bool VerifySquenceOfBST(vector<int> sequence) {
        
        if(sequence.size()==0)
            return false;
        if(sequence.size()==1)
            return true;
       return verify(sequence,0,sequence.size()-1);


    }
};