题目描述
给定两棵树T1和T2。如果T1可以通过若干次左右孩子互换就变成T2，则我们称两棵树是“同构”的。例如图1给出的两棵树就是同构的，因为我们把其中一棵树的结点A、B、G的左右孩子互换后，就得到另外一棵树。而图2就不是同构的。
现给定两棵树，请你判断它们是否是同构的。
输入格式:
输入给出2棵二叉树树的信息。对于每棵树，首先在一行中给出一个非负整数N (≤10)，即该树的结点数（此时假设结点从0到N−1编号）；随后N行，第i行对应编号第i个结点，给出该结点中存储的1个英文大写字母、其左孩子结点的编号、右孩子结点的编号。如果孩子结点为空，则在相应位置上给出“-”。给出的数据间用一个空格分隔。注意：题目保证每个结点中存储的字母是不同的。

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

1.用数组表示树，每个节点的下标和数组下标对应。
2.所有子节点编号中没有出现过的数字就是根的下标。
3.用递归解。

#include<iostream>
using namespace std;
struct treenode {
	char c;
	int left;
	int right;
};
size_t buildtree(treenode a[]);
bool judge(size_t root1,treenode a[], size_t root2,treenode b[]);
int main() {
	treenode tree1[11],tree2[11];
	size_t root1 = buildtree(tree1);
	size_t root2 = buildtree(tree2);
	bool result = judge(root1, tree1, root2, tree2);
	if (result)
		cout << "Yes" << endl;
	else
		cout << "No" << endl;
	
	return 0;
}

size_t buildtree(treenode a[])
{
	char tmp1, tmp2, tmp3;
	int N;
	size_t root = 0;
	cin >> N;
	if (N == 0)
		return -1;
	for (rsize_t j = 0; j < N; ++j) {
		cin >> tmp1 >> tmp2 >> tmp3;
		a[j].c = tmp1;
		if (tmp2 != '-')
			a[j].left = tmp2 - '0';
		else
			a[j].left = -1;
		if (tmp3 != '-')
			a[j].right = tmp3 - '0';
		else
			a[j].right = -1;
	}
	int tmp[11];
	for (unsigned i = 0; i < N; ++i) {
		tmp[i] = 0;
	}
	for (unsigned i = 0; i < N; ++i) {
		if (a[i].right != -1)
			tmp[a[i].right] = 1;
		if (a[i].left != -1)
			tmp[a[i].left] = 1;
	}
	for (; root < N; ++root) {
		if (!tmp[root])
			break;
		
	}
	return root;
}

bool judge(size_t root1, treenode a[], size_t root2, treenode b[])
{
	if (root1 == -1 && root2 == -1)
		return true;
	else if (root1 == -1 || root2 == -1)
		return false;
	else if (a[root1].c != b[root2].c)
		return false;
	else if (a[root1].left == -1 && b[root2].left == -1)
		return judge(a[root1].right, a, b[root2].right, b);
	else if (a[root1].left != -1 && b[root2].left != -1&& a[a[root1].left].c == b[b[root2].left].c) 
		return judge(a[root1].right, a, b[root2].right, b)&& judge(a[root1].left, a, b[root2].left, b);
	else
		return judge(a[root1].right, a, b[root2].left, b) && judge(a[root1].left, a, b[root2].right, b);
}