04-树4 是否同一棵二叉搜索树（笔记）

给定一个插入序列就可以唯一确定一棵二叉搜索树。然而，一棵给定的二叉搜索树却可以由多种不同的插入序列得到。例如分别按照序列{2, 1, 3}和{2, 3, 1}插入初始为空的二叉搜索树，都得到一样的结果。于是对于输入的各种插入序列，你需要判断它们是否能生成一样的二叉搜索树。

输入格式:
输入包含若干组测试数据。每组数据的第1行给出两个正整数N (≤10)和L，分别是每个序列插入元素的个数和需要检查的序列个数。第2行给出N个以空格分隔的正整数，作为初始插入序列。最后L行，每行给出N个插入的元素，属于L个需要检查的序列。

简单起见，我们保证每个插入序列都是1到N的一个排列。当读到N为0时，标志输入结束，这组数据不要处理。

输出格式:
对每一组需要检查的序列，如果其生成的二叉搜索树跟对应的初始序列生成的一样，输出“Yes”，否则输出“No”。

输入样例:
4 2
3 1 4 2
3 4 1 2
3 2 4 1
2 1
2 1
1 2
0
输出样例:
Yes
No
No

#include<stdio.h>
#include<stdlib.h>
typedef struct TreeNode *Tree;//将树结点的结构体定义为指针变量Tree
struct TreeNode{
	int v;//树结点本身数据
	Tree Left,Right;//左右孩子指针
	int flag;//用于判定初始序列中的每一个结点和所给要判断序列中的对应的每一个结点是否是相同的
};

//建立树
Tree NewNode(int V)//创建树中的一个新的结点
{
	Tree T=(Tree)malloc(sizeof(struct TreeNode));//开辟新的空间
	T->v=V;//将输入的数据赋值新节点的数据域
	T->Left=T->Right=NULL;//刚开始输入一个数据不确定左右孩子是谁，先让结点的左右孩子的指针域定义为空
	T->flag=0;//将每一个结点标记为0
	return T;
}

Tree Insert(Tree T,int V)
{
	if(!T) T=NewNode(V);//退出函数递归的条件，如果某个结点的左或右孩子的指针域为空，那么就为这个左或右孩子的指针域开辟空间插入新的结点
	else{
		if(V>T->v)
		T->Right=Insert(T->Right,V);//递归调用函数本身，让结点不断向下找直到某个合适的结点的左或右孩子的指针域为空，然后插入
		else
		T->Left=Insert(T->Left,V);
	}
	return T;//输入一个数据返回插入后的树
}

Tree MakeTree(int N)
{
	Tree T;//定义树结点
	int i,V;//V为初始序列中树结点的数据
	scanf("%d",&V);//输入根结点的数据
	T=NewNode(V);//创建根结点
	for(i=1;i<N;i++){//从第二个树结点到第N的树结点判断大小插入数据，构建搜索二叉树
		scanf("%d",&V);//输入
		T=Insert(T,V);//这个时候函数需要两个参数，一个T（根结点用于判断大小，从而决定其他结点的插入位置），一个V就是不断输入的结点数据
	}
	return T;//最后返回T（链表形式，通过指针将全部的数据都连接起来了，所以返回的就是一个完整构建好的搜索二叉树）
} 

int check(Tree T,int V)//每个结点进行逐个检查
{
	if(T->flag){//如果根节点的flag=1（就是初始序列的根节点和要检查序列的根节点相同），就从初始序列的根节点开始向下对给定的要检查的结点进行判断
		if(V<T->v) return check(T->Left,V);//递归调用函数，再进行判断对于要检查的结点要插入到初始序列上的对应的位置上的结点数据是否一样（因为每个结点的flag都
        //定义为0就会跳转到else语句上去判断是否相等）
		else if(V>T->v) return check(T->Right,V);
		else return 0;
	}
	else{//如果对应位置上初始序列的结点数据相同就返回1，并定义对应结点的flag=1，表示已经判断比较过，否则返回0
		if(V==T->v){
			T->flag=1;
			return 1;
		}
		else return 0;
	}
}

int Judge(Tree T,int N)//每个结点逐个检查
{//当发现序列中的某个数与T不一致的时候必须把序列后面的数全部读完，因为如3 2 4 1，当遇到2的时候就返回0了，接着就进行到了下一个序列的判断，此时对T进行检查的时候，
    //T的位置再1，就会从1开始检查。所以把后面的序列全部读完
	int i,V,flag=0;//flag=0代表目前还一致，1代表已经不一致
	scanf("%d",&V);//输入根结点数据
	if(V!=T->v) flag=1;//如果根节点就不一样就标记flag=1，1表示不相同
	else T->flag=1;//如果根节点相同就标记对应初始序列根节点相同，且已经判断比较过
	for(i=1;i<N;i++){//输入除根结点外剩下结点的数据并逐一进行判断
		scanf("%d",&V);
		if(!check(T,V)) flag=1;//检查结果返回的是0，flag就=1（如果根节点不相同flag本身就为1）
	} 
	if(flag) return 0;
	else return 1;
 } 
 
void ResetT(Tree T)//清除T中个节点的标记
{
 	if(T->Left) ResetT(T->Left);//从叶子节点向上到根节点逐个将flag重新设置为0
 	if(T->Right) ResetT(T->Right);
 	T->flag=0;
} 

void FreeTree(Tree T)//释放T的空间
{
	if(T->Left) FreeTree(T->Left);//从叶子节点向上到根节点逐个将每个结点释放
	if(T->Right) FreeTree(T->Right);
	free(T); 
 }

int main()
{
	int N,L,i;
	Tree T;//定义树T
	scanf("%d",&N);//首先输入一个N
	while(N){//如果N不为0就继续循环进行输入
		scanf("%d",&L);
		T=MakeTree(N);//创建初始插入序列的树，实现树结点的数据输入是在函数MakerTree中进行的
		for(i=0;i<L;i++){//进行每一行新序列的输入判断是否为同一棵搜索二叉树
			if(Judge(T,N)) printf("Yes\n");//输入新结点的数据在函数中实现
			else printf("No\n");
			ResetT(T);//清除标记flag 
		}
		FreeTree(T);//释放树，进行新树的创建，为下一次输入N做下一轮判断
		scanf("%d",&N); 
	}
	return 0;
}

• 思路分析:分为两个大的框架第一个是构建一个初始序列的搜索二叉树，第二个就是将给定的要查找的序列进行比较，判断是否是同一个二叉查找树。
• 首先是构建初始序列的搜索二叉树：
  1.构建树的结构：链式存储结构：定义的结构体中包含结点的数据，左右孩子的指针域，还有一个标记（用来判断要判断序列的对应结点是否和初始序列对应位置上的结点数据相同）；实现搜索二叉树的构建需要判断结点的位置：首先将根结点作为头开辟新的空间首先存储为链式结构中的第一个。然后将剩下的结点进行输出，输出一个判断一个的位置然后进行插入，这里就要用到函数的递归进行逐层判断插入的位置。构建一个新的函数Tree Insert(Tree T,int V)实现递归插入，同时将各个结点的标记置为0；注意：设置基线条件和递归条件。基线条件用于判断什么时候退出函数（即当找到这个数据的插入的位置的时候，即某结点的左或者右孩子的指针域为空的时候就创建新的结点并退出）。
  2.进行判断：构建一个函数进行判断int Judge(Tree T,int N)（这种算法是只构建一棵树，对于要判断的序列进行逐个结点和初始序列对应结点进行比较。也可以采用构建两棵树的形式，一棵为初始序列，一棵为要检查的序列）。因为会给定L行要检查的序列，所以在函数里面不能一出现不对应的结点就返回0，要全部检查完再进行返回。因为当这样的时候，再进行下一行判断的时候，不会从初始序列的头进行比较，会从上一行序列出现不对应的那个位置进行比较。所以在这个函数里面设置了一个标记flag，首先设置flag为0，当对应位置结点不相同的时候就置为1；先进行头结点的检查，如果不一样flag=1，然后在进行后续结点的检查，如果出现不一样的结果flag=1；然后根据flag的结果返回对应的值（flag的作用就是在进行每个结点检查的时候出现不一样的结点就进行标记，这样就可以实现全部节点的检查了，根据flag的标记进行判断是否为同一棵搜索二叉树）
  3.重新给出初始序列进行新一大轮的检查：在这里因为建立了只一棵树，所以在对重新给出初始序列的时候要对这一颗树进行初始化包括两个初始化：1）将树结点中的flag标记全部重置为0（这一步要在给出每一行要检查的序列时进行，因为每一次都要重新比较。这里的T->flag用于标记已经比较过的初始序列中的结点）。2）将树中的结点全部释放。构建两个函数分别运用重置flag和释放空间。都采用递归的形式，注意设置基线条件和递归条件。