剑指 Offer 33. 二叉搜索树的后序遍历序列（递归）

剑指 Offer 33. 二叉搜索树的后序遍历序列

问题描述

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

参考以下这颗二叉搜索树：

     5
    / \
   2   6
  / \
 1   3

示例 1：

输入: [1,6,3,2,5]
输出: false

示例 2：

输入: [1,3,2,6,5]
输出: true

提示：

    数组长度 <= 1000

解题思路

首先需要注意二叉搜索树的性质：

二叉搜索树有数值，「二叉搜索树是一个有序树」。

• 若它的左子树不空，则左子树上所有结点的值均小于它的根结点的值；

• 若它的右子树不空，则右子树上所有结点的值均大于它的根结点的值；

• 它的左、右子树也分别为二叉排序树

所以，主要思路根据其性质为：

先取当前后续遍历序列的最后一个元素为根节点，再从头找到第一个大于根节点的元素，在这个元素左边都是根节点的左子树元素，右边都是根节点的右子树元素。

需要对这个区间里的元素进行判断，将其与root对比，如果在这个区间元素中出现了一个比根节点小的元素，那么直接返回false；

直到区间start下标>=end下标。返回true即可。

Java解法

class Solution {
    public boolean verifyPostorder(int[] postorder) {
        int n = postorder.length;
        if(n==0) return true;
        return helper(0,n-1,postorder);
    }
    public boolean helper(int start,int end,int [] postorder){
        if(start>=end) return true;
        int rootval = postorder[end];
        int ind = start;
        while(ind<end && postorder[ind]<rootval){
            ind++;
        }
        for(int i=ind;i<end;i++){
            if(postorder[i]<rootval) return false;
        }
        return helper(ind,end-1,postorder)&&helper(start,ind-1,postorder);
    }
}