《剑指Offer》-- 二叉搜索树的后序遍序列（学会后序遍历序列特点，Python）

题目描述

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

例如：输入数组{5,7,6,9,11,10,8}，则返回Yes，因为这个整数序列是下图二叉搜索树的后序遍历结果。
           8
          / \
         6   10
        / \  / \
       5  7 9   11

如果输入数组是{7,4,6,5}则由于没有哪个二叉搜索树的后序遍历结果是这个序列，因此返回False

分析：

在后序遍历得到的序列中，最后一个数字是树的根节点的值。数组中前面的数字可以分为两部分：第一部分是左子树节点的值，都比根节点的值小；第二部分是右子树节点的值，都比根节点的值大。

以数组{5, 7, 6, 9, 11, 10, 8}为例，后序遍历结果的以后一个数字8就是根节点的值，在这个数组中，{5, 7, 6}都比8小，是值为8的节点的左子树节点；{9, 11, 10}都比8大，是值为8的节点的右子树节点。

接下来用同样的方法确定与数组每一部分对应的子树结构，这个其实就是一个递归的过程。

再来分析{7, 4, 6, 5}，最后一个数字是根节点，因此根节点的值为5。由于第一个数字7大于5，因此7到5之前的所有数字都是值为5的根节点的右子树，该树根节点没有左子树。但是可以发现在右子树中有一个节点值为4，比根节点的值5小，这违背了二叉搜索树的定义。