pta题目：树的同构（C语言）

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

二、算法思路分析：对树的同构的概念简单理解就是，二叉树中从根结点开始的每一结点的孩子都相同。

注意：这里的孩子相同的意思是：1. 孩子个数相同；2. 孩子结点所带字符相同，且不要求左右孩子分别对应相同。

所以，我们就可以简单地将每个结点分成三种情况：

1.该结点有两个孩子：比较两个孩子是否相同，注意不要求左右分别对应

2.该结点有一个孩子：对不为空的子树进行比较

3.该结点是叶子节点：判断另一棵树上的对应节点是否度也是零

三、判断树的同构：

//判断树是否同构
bool judge(btnode t1[], btnode t2[], int n, int m) {
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < m; j++) {
            //找到字符相同的结点
            if (t2[j].e == t1[i].e) {
                //结点度为二
                if (t1[i].lchild != '-' && t1[i].rchild != '-' && t2[j].lchild != '-' && t2[j].rchild != '-') {
                    int lc1 = t1[i].lchild - '0', rc1 = t1[i].rchild - '0';
                    int lc2 = t2[j].lchild - '0', rc2 = t2[j].rchild - '0';
                    if (t1[lc1].e == t2[lc2].e || t1[lc1].e == t2[rc2].e) {
                        if (t1[rc1].e == t2[lc2].e || t1[rc1].e == t2[rc2].e)
                            break;
                        else return false;
                    }
                }
                //结点度为一
                //右子树为空
                else if (t1[i].lchild != '-' && t1[i].rchild == '-') {
                    if (t2[j].lchild == '-') {
                        if (t1[t1[i].lchild - '0'].e == t2[t2[j].rchild - '0'].e)
                            break;
                        else return false;
                    }
                    else if (t2[j].rchild == '-')
                        if (t1[t1[i].lchild - '0'].e == t2[t2[j].lchild - '0'].e)
                            break;
                        else return false;
                    else return false;
                }
                //左子树为空
                else if (t1[i].lchild == '-' && t1[i].rchild != '-') {
                    if (t2[j].lchild == '-') {
                        if (t1[t1[i].rchild - '0'].e == t2[t2[j].rchild - '0'].e)
                            break;
                        else return false;
                    }
                    else if (t2[j].rchild == '-')
                        if (t1[t1[i].rchild - '0'].e == t2[t2[j].lchild - '0'].e)
                            break;
                        else return false;
                    else return false;
                }
                //结点为叶子结点
                else if (t1[i].lchild == '-' && t1[i].rchild == '-')
                    if (t2[j].lchild == '-' && t2[j].rchild == '-')
                        break;
                    else return false;
            }
            //找不到字母相同的结点
            if (j == m - 1) return false;
        }
    }
    return true;
}

四、总代码：

#include<stdio.h>
#include<stdbool.h>
typedef struct {
    char e;
    char lchild, rchild;
} btnode, * bitree;

//判断树是否同构
bool judge(btnode t1[], btnode t2[], int n, int m) {
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < m; j++) {
            //找到字符相同的结点
            if (t2[j].e == t1[i].e) {
                //结点度为二
                if (t1[i].lchild != '-' && t1[i].rchild != '-' && t2[j].lchild != '-' && t2[j].rchild != '-') {
                    int lc1 = t1[i].lchild - '0', rc1 = t1[i].rchild - '0';
                    int lc2 = t2[j].lchild - '0', rc2 = t2[j].rchild - '0';
                    if (t1[lc1].e == t2[lc2].e || t1[lc1].e == t2[rc2].e) {
                        if (t1[rc1].e == t2[lc2].e || t1[rc1].e == t2[rc2].e)
                            break;
                        else return false;
                    }
                }
                //结点度为一
                //右子树为空
                else if (t1[i].lchild != '-' && t1[i].rchild == '-') {
                    if (t2[j].lchild == '-') {
                        if (t1[t1[i].lchild - '0'].e == t2[t2[j].rchild - '0'].e)
                            break;
                        else return false;
                    }
                    else if (t2[j].rchild == '-')
                        if (t1[t1[i].lchild - '0'].e == t2[t2[j].lchild - '0'].e)
                            break;
                        else return false;
                    else return false;
                }
                //左子树为空
                else if (t1[i].lchild == '-' && t1[i].rchild != '-') {
                    if (t2[j].lchild == '-') {
                        if (t1[t1[i].rchild - '0'].e == t2[t2[j].rchild - '0'].e)
                            break;
                        else return false;
                    }
                    else if (t2[j].rchild == '-')
                        if (t1[t1[i].rchild - '0'].e == t2[t2[j].lchild - '0'].e)
                            break;
                        else return false;
                    else return false;
                }
                //结点为叶子结点
                else if (t1[i].lchild == '-' && t1[i].rchild == '-')
                    if (t2[j].lchild == '-' && t2[j].rchild == '-')
                        break;
                    else return false;
            }
            //找不到字母相同的结点
            if (j == m - 1) return false;
        }
    }
    return true;
}

int main() {
    btnode T1[11], T2[11];//用顺序表存储各个结点
    int n, m;
    scanf("%d", &n);
    for (int i = 0; i < n; i++)
        scanf("\n%c %c %c", &T1[i].e, &T1[i].lchild, &T1[i].rchild);
    scanf("%d", &m);
    for (int i = 0; i < m; i++)
        scanf("\n%c %c %c", &T2[i].e, &T2[i].lchild, &T2[i].rchild);

    if (judge(T1, T2, n, m)) printf("Yes\n");
    else printf("No\n");

    return 0;
}