判断是否为二叉搜索树&&已知前（后）序遍历和中序遍历求后（前）序遍历

给定前序或后序的序列，判断该序列是否能构成一颗二叉搜索树（或镜像的二叉搜索树）

假设能构成一颗二叉搜索树，那么这棵树的中序遍历必定为有序的序列
此时已知前（后）序遍历和中序遍历
根据二叉树的性质，已知前（后）序遍历和中序遍历可以唯一的确定一颗二叉树

思路
递归思想，首先找到前序遍历中的根节点（第一个节点），再找出该值对应在中序遍历序列中的位置，分界后分别对左右子树进行递归。

注意：由于可能存在数值相同的节点，根据原树和镜像树的不同需要找到中序遍历中第一次出现或是最后一次出现对应的节点，具体见代码

此算法也可用于已知前（后）序遍历和中序遍历求后（前）序遍历

代码实现

//此算法假定中序遍历为升序且已知前序遍历
#include <iostream>
#include <algorithm>

using namespace std;

const int N = 1010;

int n, cnt;
int preorder[N], inorder[N], postorder[N]; //分别表示前、中、后序遍历

bool build(int il, int ir, int pl, int pr, int t) //是否能建树
{
    int root = preorder[pl]; //当前根节点的数值
    int k; //中序遍历的根节点的位置
    
    if (t == 0) //表示为原二叉搜索树
    {
        for (k = il; k <= ir; k ++ ) //找出中序遍历中第一次出现的位置
            if (root == inorder[k])
                break;
    }
    else //镜像
    {
        for (k = ir; k >= il; k -- ) //找出中序遍历中最后一次出现的位置
            if (root == inorder[k])
                break;
    }
    
    if (k > ir || k < il) return false; //不能在中序遍历对应的位置找出根节点的值，说明无法建树
    
    bool f = true;
    if (il < k && !build(il, k - 1, pl + 1, pl + 1 + k - 1 - il, t)) f = false; //左子树存在
    if (k < ir && !build(k + 1, ir, pr - (ir - k - 1), pr, t)) f = false; //右子树存在
    
    postorder[cnt ++ ] = root; //递归后记录的即为后序遍历
    //若是记录前序遍历，需在递归前记录
    
    return f;
}

int main()
{
    cin >> n;
    for (int i = 0; i < n; i ++ )
    {
        cin >> preorder[i];
        inorder[i] = preorder[i];
    }
    
    sort(inorder, inorder + n); //升序排列
    
    if (build(0, n - 1, 0, n - 1, 0))
    {
        cout << "YES\n";
        cout << postorder[0];
        for (int i = 1; i < n; i ++ )
            cout << ' ' << postorder[i];
    }
    else
    {
    	//判断镜像能否建树
        reverse(inorder, inorder + n);
        cnt = 0;
        if (build(0, n - 1, 0, n - 1, 1))
        {
            cout << "YES\n";
            cout << postorder[0];
            for (int i = 1; i < n; i ++ )
                cout << ' ' << postorder[i];
        }
        else
            cout << "NO";
    }
    return 0;
}

题目来源：PAT甲级1043 Is It a Binary Search Tree