本问题对应的 leetcode 原文链接：剑指 Offer 33. 二叉搜索树的后序遍历序列

问题描述

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

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

     5
    / \
   2   6
  / \
 1   3

示例1 ：

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

示例2 ：

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

• 提示：
  1. 数组长度 <= 1000

解题思路

视频讲解直达： 本题视频讲解

代码实现

class Solution {
    public boolean verifyPostorder(int[] postorder) {
        if(postorder == null){
            return true;
        }

        return f(postorder, 0, postorder.length - 1);
    }

    boolean f(int[] postorder, int i, int j){
        if(i >= j){
            return true;
        }

        int root = postorder[j];
        int p = i;
        // 获取第一个大于或者等于 root 等元素的位置
        while(postorder[p] < root) p++;
        // 判断 p ~ j -1 这个范围是否存在小于root的元素
        for(int k = p; k < j; k++){
            if(postorder[k] < root){
                return false;
            }
        }

        return f(postorder, i, p - 1) && f(postorder, p, j - 1);
    }
}

• 时间复杂度：最差O(n^2)
• 空间复杂度：最差(n)（退化成链表）

Python

class Solution(object):
    def verifyPostorder(self, postorder):
        """
        :type postorder: List[int]
        :rtype: bool
        """
        if not postorder:
            return True

        def f(postorder, i, j):
            if i >= j:
                return True
            root = postorder[j]
            p = i
            while postorder[p] < root:
                p += 1
            for k in range(p, j):
                if postorder[k] < root:
                    return False
            return f(postorder, i, p - 1) and f(postorder, p, j - 1)

        return f(postorder, 0, len(postorder) - 1)

C++

class Solution {
public:
    bool verifyPostorder(vector<int>& postorder) {
        if (postorder.empty()) {
            return true;
        }

        function<bool(int, int)> f = [&](int i, int j) {
            if (i >= j) {
                return true;
            }
            int root = postorder[j];
            int p = i;
            while (postorder[p] < root) {
                ++p;
            }
            for (int k = p; k < j; ++k) {
                if (postorder[k] < root) {
                    return false;
                }
            }
            return f(i, p - 1) && f(p, j - 1);
        };

        return f(0, postorder.size() - 1);
    }
};

Go

func verifyPostorder(postorder []int) bool {
    if len(postorder) == 0 {
        return true
    }

    var f func(int, int) bool
    f = func(i, j int) bool {
        if i >= j {
            return true
        }
        root := postorder[j]
        p := i
        for postorder[p] < root {
            p++
        }
        for k := p; k < j; k++ {
            if postorder[k] < root {
                return false
            }
        }
        return f(i, p-1) && f(p, j-1)
    }

    return f(0, len(postorder)-1)
}

JS

/**
 * @param {number[]} postorder
 * @return {boolean}
 */
var verifyPostorder = function (postorder) {
  if (postorder == null) {
    return true;
  }

  return f(postorder, 0, postorder.length - 1);
};

/**
 * @param {number[]} postorder
 * @param {number} i
 * @param {number} j
 * @return {boolean}
 */
var f = function (postorder, i, j) {
  if (i >= j) {
    return true;
  }

  var root = postorder[j];
  var p = i;
  // 获取第一个大于或者等于 root 等元素的位置
  while (postorder[p] < root) p++;
  // 判断 p ~ j -1 这个范围是否存在小于root的元素
  for (var k = p; k < j; k++) {
    if (postorder[k] < root) {
      return false;
    }
  }

  return f(postorder, i, p - 1) && f(postorder, p, j - 1);
};

shuaidi永久会员

收藏 海报挣佣金 推广链接