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

1
boolean VerifySquenceOfBST(int [] sequence)

BST的后序序列的合法序列是，对于一个序列S，最后一个元素是x （也就是根），如果去掉最后一个元素的序列为T，那么T满足：T可以分成两段，前一段（左子树）小于x，后一段（右子树）大于x，且这两段（子树）都是合法的后序序列。完美的递归定义 : ) 。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
boolean VerifySquenceOfBST(int [] sequence) {
    if (sequence == null || sequence.length == 0) return false;
    return validate(sequence, 0, sequence.length - 1);
}

boolean validate(int[] s, int left, int right){
    if (left >= right) return true;
    int cur = right;
    while(cur > left && s[cur - 1] > s[right]) cur--;
    for (int i = left; i < cur - 1; i++) {
        if (s[i] >= s[right]) return false;
    }
    return validate(s, left, cur - 1) && validate(s, cur, right - 1);
}