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

力扣-剑指 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

来源：力扣（LeetCode）
链接：https://leetcode.cn/problems/er-cha-sou-suo-shu-de-hou-xu-bian-li-xu-lie-lcof
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解题思路：寻找二叉搜索树后序遍历的特点

 自己的思路 二叉搜索树的后序遍历序列满足一下条件：
  1.从右向左遍历 逐渐递增 递增到的最大值就是整个序列的最大值
  2.序列第一个元素不一定是最小的元素
  3.继续从右向左遍历 遇到比最大值大 或者比最小值小的元素 直接返回false
  向右遍历同时缩小了序列范围，因此也在不断更新剩下元素的最大值
  4.从右向左遍历的过程中，一旦遇到第一个比根节点小的元素，后面的元素一定都是在根节点左边比根节点小的元素
 惭愧的是，上面的条件我也不是一次就完全判断正确了，我最开始还加入了最左边的元素就是最小值的判断，后来发现，如果根节点没有左孩子，只有右孩子，那最左边的元素就不是最小值。
 由于对数组进行遍历，每个元素只会遍历一次，时间复杂度为O(n)，空间复杂度为O(1)。
代码如下：

class Solution {
    //自己的思路
    public boolean verifyPostorder(int[] postorder) {
        if (postorder == null || postorder.length <= 1) {
            return true;
        }
        int maxValue = postorder[postorder.length - 1];
        int minValue = postorder[0];
        int parentValue = postorder[postorder.length - 1];
        int i = postorder.length - 1;
        boolean isLeftChild = false;//标记是否是根节点的子节点
        while (i > 0 && postorder[i - 1] > postorder[i]) {
            i--;
        }
        maxValue = postorder[i];
        //System.out.println("maxValue: " + maxValue + " i: " + i);
        i--;
        while (i >= 0) {
            if (postorder[i] > maxValue) {// || postorder[i] < minValue
                //System.out.println("第1个false的地方" + " i: " + i + " maxValue: " + maxValue);
                return false;
            }
            if (!isLeftChild) {//发现第一个比根节点小的元素
                if (postorder[i] < parentValue) {
                    isLeftChild = true;
                    //System.out.println("第一个根节点的左孩子: " + postorder[i] + " i: " + i);
                }     
            } else {
                if (postorder[i] > parentValue) {
                    //System.out.println("第2个false的地方");
                    return false;
                }
            }
            while (i > 0 && postorder[i - 1] > postorder[i]) {
                if (isLeftChild && postorder[i - 1] > parentValue) {
                    //System.out.println("第3个false的地方");
                    return false;
                }
                i--;
            }          
            if (postorder[i] > maxValue) {
                //System.out.println("第4个false的地方");
                return false;
            }          
            maxValue = postorder[i];
            //System.out.println("maxValue: " + maxValue + " i: " + i);
            i--;
        }
        return true;
     }
}