PAT--L2-004. 这是二叉搜索树吗？

#include <iostream>
#include <vector>
using namespace std;
const int N = 1100;
int pre[N];
vector<int> vec;

// 建立二叉搜索树的后续遍历 
void buildPostOrder(bool isMirror, int left, int right) {
    if(left > right) {
        return ;
    }
    int i = right, j = left+1;
    /**
     * 如果是镜像树，那么在前序遍历的顺序中，
     * 从右到左第一个不小于当前节点的值得是当前左子树的最后一个节点，
     * 从左到右第一个小于当前根节点值的节点就是右子树根节点
     */ 
    if(isMirror) {
        while(i > left && pre[i] < pre[left]) {
            i--;
        }
        while(j <= right && pre[j] >= pre[left]) {
            j++;
        }
    /**
     * 非镜像树和镜像树相反，在前序遍历的顺序中，
     * 从右到左第一个值小于当前根节点的值的节点就是当前左子树的末尾节点，
     * 从左到右第一个不小于当前根节点的是右子树的根节点。
     */ 
    } else {
        while(i > left && pre[left] <= pre[i]) {
            i--;
        }
        while(j <= right && pre[left] > pre[j]) {
            j++;
        }
    }
    /**
     * 在前序遍历中，当前左子树的最后一个节点的位置和当前右子树的根结点位置相差应该为 1
     * 如果 j-i 不等于 1，那么证明当前子树不符合二叉搜索树的条件（甚至不符合二叉树的条件），直接返回 
     */
    if(j - i != 1) {
        return ;
    }
    // 递归顺序：左、右、根 ，对应后续遍历顺序 
    buildPostOrder(isMirror, left+1, i);
    buildPostOrder(isMirror, j, right);
    vec.push_back(pre[left]);
}

int main() {
    int n;
    bool res = false;
    cin >> n;
    for(int i = 0; i < n; i++) {
        scanf("%d", pre+i);
    }

    buildPostOrder(true, 0, n-1);
    // 如果镜像树不符合条件，那么换用非镜像树再试一次 
    if(vec.size() != n) {
        vec.clear();
        buildPostOrder(false, 0, n-1);
    }
    if(vec.size() == n) {
        cout << "YES" << endl;
        for(int i = 0; i < vec.size(); i++) {
            if(i != 0) {
                cout << " ";
            }
            cout << vec[i];
        }
    } else {
        cout << "NO" << endl;
    }

    return 0;
}