2021.10.15 - JZ33.二叉搜索树的后序遍历序列

最新推荐文章于 2024-10-12 22:21:30 发布

阿财继续努力

最新推荐文章于 2024-10-12 22:21:30 发布

阅读量225

点赞数

分类专栏：算法 # √ 剑指Offer 文章标签：算法

本文链接：https://blog.csdn.net/qq_44021223/article/details/120781330

版权

算法同时被 2 个专栏收录

552 篇文章 0 订阅

订阅专栏

√ 剑指Offer

75 篇文章 0 订阅

订阅专栏

该博客讨论了如何验证一个给定的后序遍历序列是否符合二叉搜索树的特性。通过递归和单调栈两种方法，博主详细解释了如何从后序遍历中重建二叉搜索树并检查其合法性。递归方法通过找到第一个大于根节点的元素来划分左右子树，而单调栈方法则利用栈的性质快速判断。代码示例展示了这两种解决方案的实现。

摘要由CSDN通过智能技术生成

1. 题目

在这里插入图片描述

2. 思路

(1) 递归

后序遍历的结果是[左子树][右子树][根结点]，二叉搜索树的性质是左子树的所有结点均小于根结点，右子树的所有结点均大于根结点。
因此，对于任意一个后序遍历，可以先从左往右找到第一个大于根结点的结点，此结点之前就是左子树，之后就是右子树。
由于已经确定左子树中的所有结点均大于根结点，因此遍历右子树，若找到小于根结点的结点，则此后序遍历不成立。

(2) 单调栈

维护一个单调递减栈和根结点的值，存储根结点的右子树，若某个结点的值直接大于根结点，则返回false。

3. 代码

import java.util.Deque;
import java.util.LinkedList;

public class Test {
    public static void main(String[] args) {
    }
}

class Solution {
    public boolean verifyPostorder(int[] postorder) {
        if (postorder.length == 0) {
            return true;
        }
        return verifyPostorder(postorder, 0, postorder.length - 1);
    }

    private boolean verifyPostorder(int[] postorder, int left, int right) {
        if (left >= right) {
            return true;
        }
        int mid = left;
        while (mid < right) {
            if (postorder[mid] > postorder[right]) {
                break;
            }
            mid++;
        }
        for (int i = mid + 1; i < right; i++) {
            if (postorder[i] < postorder[right]) {
                return false;
            }
        }
        return verifyPostorder(postorder, left, mid - 1) && verifyPostorder(postorder, mid, right - 1);
    }
}

class Solution1 {
    public boolean verifyPostorder(int[] postorder) {
        Deque<Integer> stack = new LinkedList<>();
        int root = Integer.MAX_VALUE;
        for (int i = postorder.length - 1; i >= 0; i--) {
            if (postorder[i] > root) {
                return false;
            }
            while (!stack.isEmpty() && postorder[i] < stack.peek()) {
                root = stack.pop();
            }
            stack.push(postorder[i]);
        }
        return true;
    }
}