二叉搜索树的后序遍历序列

最新推荐文章于 2023-09-14 09:39:00 发布

日就月将

最新推荐文章于 2023-09-14 09:39:00 发布

阅读量608

点赞数 1

分类专栏：算法文章标签：算法 java leetcode

本文链接：https://blog.csdn.net/weixin_45830214/article/details/123782336

版权

算法专栏收录该内容

30 篇文章 0 订阅

订阅专栏

文章目录

题目
一、递归分治法
- 1.解题思路
- 2.代码
二、辅助单调栈

题目

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

参考以下这颗二叉搜索树
在这里插入图片描述
示例 1：

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

示例 2：

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

提示：数组长度 <= 1000

源自力扣

一、递归分治法

1.解题思路

后序遍历定义：[ 左 | 右 | 根 ]
二叉搜索树定义：左子树中所有节点的值 < 根节点的值；右子树中所有节点的值 >根节点的值；其左、右子树也分别为二叉搜索树。

递归：
例如二叉搜索树： postorder:[1,3,2,6,5]

定义i=0; j=length-1;(postorder[i]=1,postorder[j]=5)
初始化一个下标p=i，p会沿着区间[i，j]移动，当p能到达j也就是p==j时为true。（至于为什么这么说，请接着看）
遍历[i,j]区间元素，找到第一个postorder[p]>postorder[j] (根节点)的值，这是令m=p，区间[i，m-1]即为左子树，[m，j-1]即是右子树。（ {[左子树],[右子树],[根]} ）。
满足左子树区间内的所有节点都应该<根节点（在找第一个大于根节点值时就已经保证了左子树区间内的值都小于根节点了）。
满足右子树区间内的所有节点都>根节点（实现方式为依次遍历当遇到<=postorder[j]也就是根节点时退出，通过p==j判断是否为二叉搜索树）
所有子树都需正确才可判定正确，所以用&&连接。
终止条件：当 i ≥j ，说明此子树节点数量 ≤1 ，无需判别正确性，因此直接返回 true ；（调优后：当i>=j-1,此时子树节点数量<=2,任意两个数都能构成搜索树的后序遍历，比如[1,3]即【左，根】，[3,1]即【右，根】）

2.代码

	public boolean verifyPostorder(int[] postorder) {
        return recur(postorder,0,postorder.length-1);
    }
    public boolean recur(int[] postorder,int i,int j){
        //if(i>=j) return true;
        if(i>=j-1) return true
        //定义p
        int p = i;
        //找到第一个大于根节点的值
        while(postorder[p]<postorder[j]) p++;
        int m = p;
        //遍历右子树区间，判断p是否到达j
        while(postorder[p]>postorder[j]) p++;
        return p==j&&recur(postorder,i,m-1)&&recur(postorder,m,j-1);
    }

二、辅助单调栈

利用后序遍历的倒序：
【左，右，根】–>【根，右，左】

public boolean verifyPostorder(int[] postorder) {
        //栈存的是递增序列...比如[根],[右],[右]
        Deque<Integer> eq = new LinkedList<>();
        //定义正无穷大root,postorder中的数可看成是root的左子树
        int root = Integer.MAX_VALUE;
        //倒序
        for(int i =postorder.length-1;i>=0;i--){
            if(postorder[i]>root) return false;
            //当eq.peek()大于postorder[i]时,即postorder[i]开始往右的元素为左子树中的树
            //通过pop()从而找到大于postorder[i]且最接近该值的节点，此节点即为根节点
            while(!eq.isEmpty()&&(eq.peek()>postorder[i]))
                root = eq.pop();
            eq.push(postorder[i]);
        }
        return true;
    }