pta 03-树1 树的同构 SDUT 3340 数据结构实验之二叉树一：树的同构

03-树1 树的同构 (25分)

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

图1

图2

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

输入格式:

输入给出2棵二叉树树的信息。对于每棵树，首先在一行中给出一个非负整数N (≤10)，即该树的结点数（此时假设结点从0到N−1编号）；随后N行，第i行对应编号第iii个结点，给出该结点中存储的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<algorithm>
#include<cstring>
using namespace std;
struct node
{
    char data;
    int L, R;
};
node t1[15], t2[15];//分别代表两棵树
int vis[15];//用来标记是不是根
int build(node t[], int n)
{
    if(n == 0) return -1;
    int i;
    memset(vis, 0, sizeof(vis));//初始化
    char c, c1;
    for(i = 0; i < n; i++)
    {
        cin >> t[i].data >> c >> c1;
        if(c == '-')
        t[i].L = -1;
        else{
            t[i].L = c - '0';//对应的下标
            vis[t[i].L] = 1;//不是根
        }

        if(c1 == '-')
        t[i].R = -1;
        else{
            t[i].R = c1 - '0';//对应的下标
            vis[t[i].R] = 1;//不是根
        }
    }
    for(i = 0; i < n; i++)
    {
        if(vis[i] == 0) return i;//是根
    }
}
int judge(int T1, int T2)
{
    if(T1 == -1 && T2 == -1) return 1;//两棵空树
    if(T1 == -1 && T2 != -1) return 0;//一空一不空
    if(T1 != -1 && T2 == -1) return 0;
    if(t1[T1].data != t2[T2].data) return 0;//根的值不相等
    if(t1[T1].L == -1 && t2[T2].L == -1)//左儿子都空，判断右儿子
    return judge(t1[T1].R, t2[T2].R);
    if(t1[T1].L != -1 && t2[T2].L != -1 && t1[t1[T1].L].data == t2[t2[T2].L].data)//左儿子都不空，但是值相等，判断左子树，和右子树
    return (judge(t1[T1].R, t2[T2].R) && judge(t1[T1].L, t2[T2].L));
    else return (judge(t1[T1].R, t2[T2].L) && judge(t1[T1].L, t2[T2].R)); //值不相等，交换两个子树判断
}
int main()
{
    int T1, T2, n;
    while(cin >> n){
    T1 = build(t1, n);
    cin >> n;
    T2 = build(t2, n);
    if(judge(T1, T2))
    cout << "Yes" <<endl;
    else cout << "No" << endl;
    }
    return 0;
}