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

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

时间限制：1秒   空间限制：32768K

概念：

• 二叉排序树(BST)：又称二叉查找树、二叉搜索树，其定义为：二叉排序树或者是空树，或者是满足以下性质的二叉树。

1. 若它的左子树非空，则左子树上所有记录的关键字均小于根记录的值。
2. 若它的右子树非空，则右子树上所有记录的关键字均大于根记录的值。
3. 左、右子树本身又各是一棵二叉排序树。

• 后序遍历大家都熟悉，这里不展开解释

思路：

二叉排序+后序，使得序列是这样的特点；

• 序列最后一个为父节点，左子树的数都比它小，右子树都比它大。
• 这个父节点的左右子树也有上述特点。

根据这个特点，我们只要将序列除了最后一个节点 q，顺利分成两部分，并且前部分比 q 小，后部分比 q 大，就是二叉排序的后序了；否则就不是。

换句话说，我们先从头扫描找出比p小的前部分，剩下的后部如果最小值比 q 大就为true，否则为false

坑：

本题为牛客网的剑指Offer题目，OJ地址在：https://www.nowcoder.com/practice/a861533d45854474ac791d90e447bafd?tpId=13&tqId=11176&tPage=2&rp=2&ru=/ta/coding-interviews&qru=/ta/coding-interviews/question-ranking

在实际运行中，发现返回值并不是题目所提的Yes、No，而是 true、false。并且发现系统判定空树直接为false。

代码：

以下为 JavaScript 代码；

function VerifySquenceOfBST(sequence) {
    if (sequence.length) {
        return verify(sequence);
    }
    return false;
}
function verify(seq) {
    if (seq.length) {
        let q = seq.length - 1;
        let p = 0;
        while (seq[p] < seq[q]) {
            p++;
        }
        if (p != q) {
            let left = seq.slice(0, p);
            let right = seq.slice(p, q);
            if (seq[q] < Math.min.apply(null, right)) {
                return verify(left) && verify(right);
            }
            return false;
        }
        return true;
    }
    return true;
}