树的同构

给定两棵树T1和T2。如果T1可以通过若干次左右孩子互换就变成T2，则我们称两棵树是“同构”的。例如图1给出的两棵树就是同构的，因为我们把其中一棵树的结点A、B、G的左右孩子互换后，就得到另外一棵树。而图2就不是同构的。

 

 

图1

图2

现给定两棵树，请你判断它们是否是同构的。

 

输入格式:

输入给出2棵二叉树树的信息。对于每棵树，首先在一行中给出一个非负整数N (≤10)，即该树的结点数（此时假设结点从0到N−1编号）；随后N行，第i行对应编号第i个结点，给出该结点中存储的1个英文大写字母、其左孩子结点的编号、右孩子结点的编号。如果孩子结点为空，则在相应位置上给出“-”。给出的数据间用一个空格分隔。注意：题目保证每个结点中存储的字母是不同的。

输出格式:

如果两棵树是同构的，输出“Yes”，否则输出“No”。

输入样例1（对应图1）：

8
A 1 2
B 3 4
C 5 -
D - -
E 6 -
G 7 -
F - -
H - -
8
G - 4
B 7 6
F - -
A 5 1
H - -
C 0 -
D - -
E 2 -

输出样例1:

Yes

输入样例2（对应图2）：

8
B 5 7
F - -
A 0 3
C 6 -
H - -
D - -
G 4 -
E 1 -
8
D 6 -
B 5 -
E - -
H - -
C 0 2
G - 3
F - -
A 1 4

输出样例2:

No

解题思路

对于两棵二叉树，如果他们是同构的，那么他们的节点数量必定一样，而且在一颗树中出现的字母，在令一个树中也必定出现。在这些条件下，如果对于每一对字母相同的节点，它们的父节点的字母也相同（若父节点不同，交换左右子树是不能变过去的），或他们都是根节点，那么，这两棵树是同构的。

代码如下

#include <iostream>
#include <map>
#include <cstring>
using namespace std;
int fa1[15];
char data1[15];
int fa2[15];
char data2[15];
map<char, int> m;
int main()
{
	int n1;
	cin >> n1;
	memset(fa1, -1, sizeof(fa1));
	for(int i = 0; i < n1; i ++){
		char a, b, c;
		cin >> a >> b >> c;
		data1[i] = a;
		m[a] = i;
		if(b != '-'){
			fa1[b - '0'] = i;
		}
		if(c != '-'){
			fa1[c - '0'] = i;
		}
	}
	int n2;
	cin >> n2;
	memset(fa2, -1, sizeof(fa2));
	for(int i = 0; i < n2; i ++){
		char a, b, c;
		cin >> a >> b >> c;
		data2[i] = a;
		if(b != '-'){
			fa2[b - '0'] = i;
		}
		if(c != '-'){
			fa2[c - '0'] = i;
		}
	}
	if(n1 != n2){
		cout << "No" << endl;
		return 0;
	}
	bool flg = true;
	for(int i = 0; i < n2; i ++){
		char x = data2[i];
		if(m.find(x) == m.end()){
			cout << "No" << endl;
			return 0;
		}
		int k = m[x];
		if(fa1[k] == -1 || fa2[i] == -1){
			if(fa1[k] != fa2[i]){
				flg = false;
				break;
			}
		}
		else {
			if(data1[fa1[k]] != data2[fa2[i]]){
				flg = false;
				break;
			}
		}
	}
	if(flg)
		cout << "Yes" << endl;
	else
		cout << "No" << endl;
	return 0;
}