题目内容

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

图一

图二

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

输入格式

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

输出格式

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

输入样例（对应图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 -

输出样例

Yes

题目分析

存储问题

首先要解决的是数据的存储问题 1.存储在什么样的数据结构中。 2.如何从给定的输入格式把数据存储进该结构中。

根据题目的条件该二叉树的结点不超过10个，数据量并不大且上限确定，很容易联想到使用结构体数组，即静态链表。

静态链表在物理结构上是一维数组，但其思想与作用与链表相同，用数组下标代替指针指向对应数据位置。这也说明了链表或者说是链式存储是一种物理结构而非逻辑结构。

因此我们可以构造一个结构体。

typedef int treenode; struct node{ char data; treenode left; treenode right; }T1[MAXSIZE],T2[MAXSIZE]; 用整形变量作为数组下标来指向对应位置来代替指针。 关于如何把数据存储进结构中，由于左右子树用'-'和数字一起来表示，所以我使用%c读取左右子树信息后存储在另外变量中并进行了判断，如果是'-'则为Null，否则为对应的数组下标。

根节点问题

由于数组中的节点数据是无序的，所以我们用一个构造一个和结构体数组等长的check数组（与每个结点一一对应）来检查数据是否为任意结点的儿子结点，如果不是则为根节点。 判断方法为每读取一个结点的左右子树，只要不为空，就在对应的check数组中标记。

是否同构问题

在二叉树相关问题中，递归总是被反复提及和使用，因此本问题也可以用递归的方法来解决。 关于一颗二叉树是否同构，我们首先从二叉树的五种基本形态入手： 二叉树的基本形态有： a)空树； b)只有根的树，即单结点； c)有根且有一个左子树； d)有根且有一个右子树； e)有根且有一个左子树，有一个右子树。 与下图一一对应

这个知识点看似没有什么用，毕竟一看就知道是那么回事，但是如果加以理解并运用就能很简单的理清思路。

对于两棵二叉树A和B最简单最基本的形态是空树，那么如果两个二叉树都为空树那么必定同构，如果一个不空一个空的话必定不同构。

如果不为空树的话，则看第二种复杂一点的形态，即只有一个根结点的二叉树，如果这两个二叉树的根节点不一致，那么必定不同构。如果一致那么同构（一致同构可以省略因为这种情况包含在下面的情况中）

如果这两颗二叉树更加复杂，有一个子树不为空，那么这时有四种情况。 1.两棵二叉树都是左子树为空，则递归判断两棵二叉树的右子树是否为空。 2.两棵二叉树都是右子树为空，则递归判断两棵二叉树的左子树是否为空。 3.二叉树A左子树为空，二叉树B右子树为空，则递归判断二叉树A的右子树与二叉树B的左子树是否同构。 4.二叉树A右子树为空，二叉树B左子树为空，则递归判断二叉树A的左子树与二叉树B的右子树是否同构。

最复杂的情况，二叉树的左右子树都不为空，首先观察二叉树A和B的左子树元素的数据是否相同， 1.如果相同，则说明这两棵二叉树如果同构的话，必定满足二叉树A左子树与二叉树B左子树同构且二叉树A右子树与二叉树B右子树同构。 2.如果不同，则必须满足二叉树A左子树与二叉树B右子树同构且二叉树A右子树与二叉树B左子树同构才能使整棵二叉树同构。 具体代码如下：

bool isomorphism(treenode root1, treenode root2) { if (root1 == Null && root2 == Null)//两棵二叉树都为空树 return true; if ((root1 != Null && root2 == Null) || (root1 != Null && root2 == Null))//一棵二叉树为空，一棵不为空 return false; if (T1[root1].data != T2[root2].data)//两棵二叉树根节点数据不同时 return false; if (T1[root1].left == Null && T2[root2].left == Null) return isomorphism(T1[root1].right, T2[root2].right); if(T1[root1].right==Null&&T2[root2].right==Null) return isomorphism(T1[root1].left, T2[root2].left); if(T1[root1].left==Null&&T2[root2].right==Null) return isomorphism(T1[root1].right, T2[root2].left); if (T1[root1].right == Null && T2[root2].left == Null) return isomorphism(T1[root1].left, T2[root2].right);//共四种两棵二叉树都有一棵子树为空的情况 if (T1[T1[root1].left].data == T2[T2[root2].left].data) return (isomorphism(T1[root1].left, T2[root2].left) && isomorphism(T1[root1].right, T2[root2].right)); else return (isomorphism(T1[root1].left, T2[root2].right) && isomorphism(T1[root1].right, T2[root2].left));//共两种两棵二叉树的左右子树都不为空的情况。 }

完整代码

#include #include #define MAXSIZE 10 #define Null -1 typedef int treenode; struct node{ char data; treenode left; treenode right; }T1[MAXSIZE],T2[MAXSIZE]; treenode createtree(node *tree); bool isomorphism(treenode root1, treenode root2); int main(void) { int root1, root2; root1 = createtree(T1); root2 = createtree(T2); if (isomorphism(root1, root2)) printf("Yes\n"); else printf("No\n"); } treenode createtree(struct node *tree) { treenode root = Null; int check[MAXSIZE] = { 0 }; int size; char tl, tr; scanf("%d", &size); if (size) { for (int i = 0; i < size; i++) { scanf("\n%c %c %c", &tree[i].data, &tl, &tr); if (tl != '-') { tree[i].left = tl - '0'; check[tree[i].left] = 1; } else tree[i].left = Null; if (tr != '-') { tree[i].right = tr - '0'; check[tree[i].right] = 1; } else tree[i].right = Null; } for (int i = 0; i < MAXSIZE; i++) { if (check[i] == 0) { root = i; break; } } } return root; } bool isomorphism(treenode root1, treenode root2) { if (root1 == Null && root2 == Null) return true; if ((root1 != Null && root2 == Null) || (root1 != Null && root2 == Null)) return false; if (T1[root1].data != T2[root2].data) return false; if (T1[root1].left == Null && T2[root2].left == Null) return isomorphism(T1[root1].right, T2[root2].right); if(T1[root1].right==Null&&T2[root2].right==Null) return isomorphism(T1[root1].left, T2[root2].left); if(T1[root1].left==Null&&T2[root2].right==Null) return isomorphism(T1[root1].right, T2[root2].left); if (T1[root1].right == Null && T2[root2].left == Null) return isomorphism(T1[root1].left, T2[root2].right); if (T1[T1[root1].left].data == T2[T2[root2].left].data) return (isomorphism(T1[root1].left, T2[root2].left) && isomorphism(T1[root1].right, T2[root2].right)); else return (isomorphism(T1[root1].left, T2[root2].right) && isomorphism(T1[root1].right, T2[root2].left)); }

提交结果

转载于:https://www.cnblogs.com/z-y-k/p/11262862.html

相关资源：工程伦理学mooc课后习题答案