PTA-树的同构

给定两棵树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

思路:我并没有用树去存储 而是比较相应节点的两个子节点是否相同 注意:因为左右节点可以交换所以不能单单左节点相比较和右节点比较.

AC代码:里面有注释

#include<iostream>
#include<algorithm>
#include<string>
#include<cmath>
#include<map>
#include<vector>
#include<stack>
#include<set>
#include<unordered_map>
using namespace std;

map<char, char[2]>x;//用于存储第一个树对应节点的两个子节点编号
map<char, char[2]>y;//用于存储第二个树对应节点的两个子节点编号
char xx[15];//用于存储第一个树对应节点的编号
char yy[15];//用于存储第二个树对应节点的编号

int main()
{
	int n;
	cin >> n;
	getchar();
	for (int i = 0; i < n; i++)
	{
		char a, b, c;
		cin >> a >> b >> c;
		x[a][0] = b;
		x[a][1] = c;
		xx[i] = a;
		getchar();
	}
	int m;
	cin >> m;
	getchar();
	for (int i = 0; i < m; i++)
	{
		char a, b, c;
		cin >> a >> b >> c;
		y[a][0] = b;
		y[a][1] = c;
		yy[i] = a;
		//cout << a << b << c << endl;
		getchar();
	}

	//以上均为输入 注意getchar()吸收换行

	if (n != m) //如果两个树的结点数量不一样 肯定不是同构
	{
		cout << "No" << endl;
	}
	else
	{
		int f = 1;
		for (int i = 0; i < n; i++)  //遍历第一个树的所有节点
		{
			int f1 = 1;
			for (int j = 0; j < m; j++)  //遍历第二个树的所有节点 找到和第一个树相同的节点
			{
				//注意1: 如果没找到 说明此时的第一个树的节点数据 第二个树没有 即不可能同构
				//这里我用f1来判定是否找到对应节点
				
				//注意2: 如果找到了 无论两个子节点死否相同 都要结束第二重循环 避免浪费时间
				//如果两个子节点相同 则继续循环第一个for循环 如果不同得说明不是同构 结束两个循环
				
				if (xx[i] == yy[j])//找到相同节点
				{
					f1 = 0;//f1修改为0

					//将两个树节点的四个子节点取出 方便后面判断 不容易混乱
					char x1, x2;
					x1 = x[xx[i]][0];
					x2 = x[xx[i]][1];
					char y1, y2;
					y1 = y[yy[j]][0];
					y2 = y[yy[j]][1];

					//这下面我是用第二个树节点的子节点去对应第一个树节点的子节点
					if (x1 == x2 && x1 == '-')
					{
						//判断第一个节点的两个节点是否均为空 
						//如果是那么第二个树节点的子节点也只能为空
						if (y1 == y2 && y1 == '-')
						{
							break;
						}
						else
						{
							f = 0; //f为0时 说明不可能同构 结束两重循环 下面的也一样
							break;
						}
					}
					else if (x1 == '-')
					{
						//左子节点为空 那么第二个树的子节点也必须有且只能有一个空
						if (y1 == '-' && y2 != '-') 
						{
							//判断两个树另一个子节点的数据死否一样
							if (xx[x2 - '0'] == yy[y2 - '0'])
							{
								break;
							}
							else
							{
								f = 0;
								break;
							}
						}
						else if (y1 != '-' && y2 == '-')
						{
							//判断两个树另一个子节点的数据死否一样
							if (xx[x2 - '0'] == yy[y1 - '0'])
							{
								break;
							}
							else
							{
								f = 0;
								break;
							}
						}
						else
						{
							f = 0;
							break;
						}
					}
					else if (x2 == '-')
					{
						//右子节点为空 那么第二个树的子节点也必须有且只能有一个空
						if (y1 == '-' && y2 != '-')
						{
							if (xx[x1 - '0'] == yy[y2 - '0'])
							{
								break;
							}
							else
							{
								f = 0;
								break;
							}
						}
						else if (y1 != '-' && y2 == '-')
						{
							if (xx[x1 - '0'] == yy[y1 - '0'])
							{
								break;
							}
							else
							{
								f = 0;
								break;
							}
						}
						else
						{
							f = 0;
							break;
						}
					}
					else //两个子节点都不为空
					{
						//那么第二个树的两个子节点都不能为空
						if (y1 == '-' || y2 == '-')
						{
							f = 0;
							break;
						}
						else
						{
							int numx = xx[x1 - '0'] + xx[x2 - '0'];
							int numy = yy[y1 - '0'] + yy[y2 - '0'];
							if (numx != numy)
							{
								f = 0;
								break;
							}
							else
							{
								break;
							}
						}
					}
				}
			}
			//用于判断是否找到第一个树的节点在第二个树上相同的数据
			if (f1 == 1)
			{
				f = 0;
			}
			if (f == 0)
			{
				cout << "No" << endl;
				break;
			}
		}
		if (f)
		{
			cout << "Yes" << endl;
		}
	}
	return 0;
}