L2-004 这是二叉搜索树吗？ (25 分)

一棵二叉搜索树可被递归地定义为具有下列性质的二叉树：对于任一结点，

其左子树中所有结点的键值小于该结点的键值；
其右子树中所有结点的键值大于等于该结点的键值；
其左右子树都是二叉搜索树。
所谓二叉搜索树的“镜像”，即将所有结点的左右子树对换位置后所得到的树。

给定一个整数键值序列，现请你编写程序，判断这是否是对一棵二叉搜索树或其镜像进行前序遍历的结果。

输入格式：

输入的第一行给出正整数 N（≤1000）。随后一行给出 N 个整数键值，其间以空格分隔。

输出格式：

如果输入序列是对一棵二叉搜索树或其镜像进行前序遍历的结果，则首先在一行中输出 YES ，然后在下一行输出该树后序遍历的结果。数字间有 1 个空格，一行的首尾不得有多余空格。若答案是否，则输出 NO。

输入样例 1：

7
8 6 5 7 10 8 11

输出样例 1：

YES
5 7 6 8 11 10 8

输入样例 2：

7
8 10 11 8 6 7 5

输出样例 2：

YES
11 8 10 7 5 6 8

输入样例 3：

7
8 6 8 5 10 9 11

输出样例 3：

NO

#include<bits/stdc++.h>
using namespace std;
const int maxn = 1e5+10;
int hea[maxn],mid[maxn],n;
struct dot{
	int self;
	dot *lchi,*rchi;
	dot(){self=0;lchi=NULL;rchi=NULL;}
};
int flag=1,flag1=0;
bool is=true;
dot* newdot(){ return new dot();}
int fun(dot &fa,int l1,int r1,int l2,int r2){
	if(l1>r1) return 0;
	if(!flag) return 0;
	int root=hea[l2];
	dot* left=newdot();dot* right=newdot();
	fa.self=root;
	int p;
	if(is==true){
		p=l1;
		while(mid[p]!=root) p++;
		if(p>r1){flag=0;return 0;}
	}
	else{
		p=r1;
		while(mid[p]!=root) p--;
		if(p<l1){flag=0;return 0;}
	}
	
	int cnt=p-l1;
	(*left).self=fun(*left,l1,p-1,l2+1,l2+cnt);
	if((*left).self!=0) fa.lchi=left;
	(*right).self=fun(*right,p+1,r1,l2+cnt+1,r2);
	if((*right).self!=0) fa.rchi=right;
	return root;
}
void dfs(dot root){
	if(root.lchi!=NULL) dfs(*root.lchi);
	if(root.rchi!=NULL) dfs(*root.rchi);
	if(flag1) printf(" ");
	else flag1=1;
	printf("%d",root.self);
}
int main(){
//	freopen("input.txt","r",stdin);
//	freopen("output.txt","w",stdout);	
	while(scanf("%d",&n)!=EOF){
		memset(hea,0,sizeof(hea));memset(mid,0,sizeof(mid));dot temp;
		flag=1,flag1=0;
		for( int i=0; i<n; i++ ) scanf("%d",&hea[i]),mid[i]=hea[i];
		sort(mid,mid+n);is=true;
		fun(temp,0,n-1,0,n-1);
		if(flag){
			printf("YES\n");
			dfs(temp);
			printf("\n");
		}
		else{
			flag=1;flag1=0;temp.lchi=temp.rchi=NULL;
			sort(mid,mid+n,greater<int>());is=false;
			fun(temp,0,n-1,0,n-1);
			if(flag){
				printf("YES\n");
				dfs(temp);
				printf("\n");
			}
			else printf("NO\n");
		}
	}	
	return 0;
}