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

请实现一个函数按照之字形顺序打印二叉树，即第一行按照从左到右的顺序打印，第二层按照从右到左的顺序打印，第三行再按照从左到右的顺序打印，其他行以此类推。

例如:
给定二叉树: [3,9,20,null,null,15,7],

    3
   / \
  9  20
    /  \
   15   7

哦。。。又是一道没有做出来的题。。。直接跟着大神的思路写一遍吧

解题思路：

• 后序遍历定义： [ 左子树 | 右子树 | 根节点 ] ，即遍历顺序为 “左、右、根” 。
• 二叉搜索树定义： 左子树中所有节点的值 $<$ 根节点的值；右子树中所有节点的值 $>$ 根节点的值；其左、右子树也分别为二叉搜索树。
  
  方法一：递归分治
• 根据二叉搜索树的定义，可以通过递归，判断所有子树的 正确性 （即其后序遍历是否满足二叉搜索树的定义） ，若所有子树都正确，则此序列为二叉搜索树的后序遍历。

递归解析：

• 终止条件： 当 $i\ge j$ ，说明此子树节点数量 $\le 1$ ，无需判别正确性，因此直接返回 $true$ ；
• 递推工作：
  1. 划分左右子树： 遍历后序遍历的 $[i,j]$ 区间元素，寻找 第一个大于根节点 的节点，索引记为 $m$ 。此时，可划分出左子树区间 $[i,m-1]$ 、右子树区间 $[m,j-1]$ 、根节点索引 $j$ 。
  2. 判断是否为二叉搜索树：
     • 左子树区间 $[i,m-1]$ 内的所有节点都应 $<postorder[j]$。而第 1.划分左右子树 步骤已经保证左子树区间的正确性，因此只需要判断右子树区间即可。
     • 右子树区间 $[m,j-1]$ 内的所有节点都应 $>postorder[j]$ 。实现方式为遍历，当遇到 $\le postorder[j]$ 的节点则跳出；则可通过 $p=j$ 判断是否为二叉搜索树。
• 返回值： 所有子树都需正确才可判定正确，因此使用 与逻辑符 and 连接。
  1. $p=j$ ： 判断 此树 是否正确。
  2. $recur(i,m-1)$ ： 判断 此树的左子树 是否正确。
  3. $recur(m,j-1)$ ： 判断 此树的右子树 是否正确。

class Solution:
    def verifyPostorder(self, postorder: List[int]) -> bool:
        def recur(left, root):
            result = True
            if left >= root:
                return True

            right_root = root
            for i in range(left, root):
                if postorder[i] > postorder[root]:
                    right_root = i
                    break

            for i in range(right_root, root):
                if postorder[i] < postorder[root]:
                    result = False
                    break
            
            return result and recur(left, right_root - 1) and recur(right_root,root - 1 )

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

方法二：辅助单调栈

• 后序遍历倒序： [ 根节点 | 右子树 | 左子树 ] 。类似 先序遍历的镜像 ，即先序遍历为 “根、左、右” 的顺序，而后序遍历的倒序为 “根、右、左” 顺序。

• 设后序遍历倒序列表为 $[r_n,r_{n-1},...,r_1]$ ，遍历此列表，设索引为 $i$ ，若为 二叉搜索树 ，则有：
  • 当节点值 $r_i>r_{i+1}$ 时： 节点 $r_i$ 一定是节点 $r_{i+1}$ 的右子节点。
  • 当节点值 $r_i<r_{i+1}$ 时： 节点 $r_i$ 一定是某节点 $root$ 的左子节点，且 $root$ 为节点 $r_{i+1},r_{i+2},...,r_n$ 中值大于且最接近 $r_i$ 的节点（∵ $root$ 直接连接 左子节点 $r_i$）。
• 当遍历时遇到递减节点 $r_i<r_{i+1}$ ，若为二叉搜索树，则对于后序遍历中节点 $r_i$ 右边的任意节点 $r_x\in [r_{i-1},r_{i-2},...,r_1]$ ，必有节点值 $r_x<root$ 。

节点 $r_x$ 只可能为以下两种情况：① $r_x$ 为 $r_i$ 的左、右子树的各节点；② $r_x$ 为 $root$ 的父节点或更高层父节点的左子树的各节点。在二叉搜索树中，以上节点都应小于 $root$。

• 遍历 “后序遍历的倒序” 会多次遇到递减节点 $r_i$ ，若所有的递减节点 $r_i$ 对应的父节点 $root$ 都满足以上条件，则可判定为二叉搜索树。
• 根据以上特点，考虑借助 单调栈 实现：
  1. 借助一个单调栈 $stack$ 存储值递增的节点；
  2. 每当遇到值递减的节点 $r_i$ ，则通过出栈来更新节点 $r_i$ 的父节点 $root$；
  3. 每轮判断 $r_i$ 和 $root$ 的值关系：
     1. 若 $r_i>root$ 则说明不满足二叉搜索树定义，直接返回 $false$。
     2. 若 $r_i<root$ 则说明满足二叉搜索树定义，则继续遍历。

算法流程：

1. 初始化： 单调栈 $stack$ ，父节点值 $root=+\infty$ （初始值为正无穷大，可把树的根节点看为此无穷大节点的左孩子）；
2. 倒序遍历 $postorder$：记每个节点为 $r_i$；
   1. 判断： 若 $r_i>root$ ，说明此后序遍历序列不满足二叉搜索树定义，直接返回 $false$；
   2. 更新父节点 $root$ ： 当栈不为空 且 $r_i<stack.peek()$ 时，循环执行出栈，并将出栈节点赋给 $root$ 。
   3. 入栈： 将当前节点 $r_i$入栈；
3. 若遍历完成，则说明后序遍历满足二叉搜索树定义，返回 $true$ 。

class Solution:
    def verifyPostorder(self, postorder: [int]) -> bool:
        stack, root = [], float("+inf")
        for i in range(len(postorder) - 1, -1, -1):
            if postorder[i] > root: return False
            while(stack and postorder[i] < stack[-1]):
                root = stack.pop()
            stack.append(postorder[i])
        return True

第二种解法目前没有看懂，仅作记录