03-树1 树的同构 浙江大学 陈越

题目

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

题解 

#include<stdio.h>
#define MaxTree 10
#define ElementType char
#define Tree int
#define Null -1
struct TreeNode  {
    ElementType Element;
    Tree Left;
    Tree Right;
}T1[MaxTree], T2[MaxTree];
Tree Buildtree(struct TreeNode T[])
{
    int N,i,root=Null;
    char CL,CR;
    scanf("%d\n",&N);
    int cheak[N];
    if(N)
    {
        for(i=0;i<N;i++)cheak[i]=0;
        for(i=0;i<N;i++)
        {
            scanf("%c %c %c",&T[i].Element,&CL,&CR);
            getchar();
            if(CL!='-')
            {
                T[i].Left=CL-'0';
                cheak[T[i].Left]=1;
            }else T[i].Left=Null;
            if(CR!='-')
            {
                T[i].Right=CR-'0';
                cheak[T[i].Right]=1;
            }else T[i].Right=Null;
        }
        for(i=0;i<N;i++)
        {
            if(cheak[i]==0)break;
        }
            root=i;
    }return root;
}
int lsomorphic(Tree R1,Tree R2)
{
    if(R1==Null&&R2==Null)return 1;
    if(((R1==Null)&&(R2!=Null))||((R2==Null)&&(R1!=Null)))return 0;
    if(T1[R1].Element!=T2[R2].Element)return 0;
    if((T1[R1].Left==Null)&&(T2[R2].Left==Null))
        return lsomorphic(T1[R1].Right,T2[R2].Right);
    if((T1[R1].Left!=Null)&&(T2[R2].Left!=Null)&&(T1[T1[R1].Left].Element==T2[T2[R2].Left].Element))
        return (lsomorphic(T1[R1].Right,T2[R2].Right)&&lsomorphic(T1[R1].Left,T2[R2].Left));
    else return(lsomorphic(T1[R1].Right,T2[R2].Left)&&lsomorphic(T1[R1].Left,T2[R2].Right));
}
int main()
{
    Tree R1,R2;
    R1=Buildtree(T1);
    R2=Buildtree(T2);
    if(lsomorphic(R1,R2))printf("Yes");
    else printf("No");
    return 0;
}

不用说，我们先定义结构体数组，并定义了2个二叉树T1,T2.

#include<stdio.h>
#define MaxTree 10
#define ElementType char
#define Tree int
#define Null -1
struct TreeNode  {
    ElementType Element;
    Tree Left;
    Tree Right;
}T1[MaxTree], T2[MaxTree];

我们先看主函数

int main()
{
    Tree R1,R2;
    R1=Buildtree(T1);
    R2=Buildtree(T2);
    if(lsomorphic(R1,R2))printf("Yes");
    else printf("No");
    return 0;
}

我定义了2个函数，一个Buildtree用于建树，一个lsomorphic用于判断2棵树是否同构

同构返回打印Yes,否则打印No.

下面我们就专门搞这2个函数

Buildtree函数

主要内容

for(i=0;i<N;i++)
        {
            scanf("%c %c %c",&T[i].Element,&CL,&CR);
            getchar();
            if(CL!='-')
            {
                T[i].Left=CL-'0';
                cheak[T[i].Left]=1;
            }else T[i].Left=Null;
            if(CR!='-')
            {
                T[i].Right=CR-'0';
                cheak[T[i].Right]=1;
            }else T[i].Right=Null;
        }

主要就是利用for循环进行输入赋值，

注意，我们应该-‘0’，因为CL类型为char,数值为ASCII码值

T[i].Left=CL-'0';

我们主要看的是一个cheak数组

我们初始化cheak[N]全为0，在输入过程中我们把儿子里面有数值的传递给cheak,并对应下标的值改为1，我们全部输入后，可以观察到某一个没有字母没有被指向，说明它是根节点

for(i=0;i<N;i++)
        {
            if(cheak[i]==0)break;
        }
            root=i;

如图，可以理解一下

如题意，我们对结点从0到N−1编号，，a,b,c,d,对应0，1，2，3，最后发现表格里面没有出现0，故A为根节点

 

题上我们不管字母是不是对应顺序，只需要找到root根节点，没有人指向。

Isomorphic函数

这个函数 一进来 首先要对一些基本情况做个判别

1.如果这两棵树都是空的 也就是说他的这个R1 R2值都是-1 这个时候 两个空的树我们认为是同构的 就是return 1 ，反过来 一个空一个不空 那就肯定不同构 就return 0

if(R1==Null&&R2==Null)return 1;
    if(((R1==Null)&&(R2!=Null))||((R2==Null)&&(R1!=Null)))return 0;

2.第二个if 你需要处理的这两棵树的Element 就是树根的植 本身就不一样 一个是A 一个可能是B 这个两个树根的值本身不一样 那肯定就不同构 所以这里return 0

if(T1[R1].Element!=T2[R2].Element)return 0;

3，还有一种 是就这两棵树的左子树都是空的 都是空的 那这个树同构不同构呢 那就看右边同构不同构  所以就递归的调用右子树的判别

if((T1[R1].Left==Null)&&(T2[R2].Left==Null))
        return lsomorphic(T1[R1].Right,T2[R2].Right);

4，除此之外 左边不是同时空的这样的一种情况有2种可能

左边如果同时不空 我们看看 左边的Element是不是一样的 如果左边Element是一样的

那么我们这个时候通过了判别

（1）就变成是 看看左边相等不相等 右边相等不相等 所以接下来就变成是return 左边左边的判别 右边右边的判别

  if((T1[R1].Left!=Null)&&(T2[R2].Left!=Null)&&(T1[T1[R1].Left].Element==T2[T2[R2].Left].Element))
        return (lsomorphic(T1[R1].Right,T2[R2].Right)&&lsomorphic(T1[R1].Left,T2[R2].Left));

（2）反过来 如果这个Element值是不一样的，这时候有可能是左边跟右边同构 右边跟左边同构 所以就变成了是调用 最后那个return的语句 左右的判别

else return(lsomorphic(T1[R1].Right,T2[R2].Left)&&lsomorphic(T1[R1].Left,T2[R2].Right));

当然还有一种情况 左边的这个指向的是空树 右边指向的不空树 也就是说这两棵树 一个左边是空的 一个左边 是不空的 那么这个时候同样的也变得是左边跟右边的判别 左边跟右边的判别，上面已包含。

所以这个题最主要的是理清自己的逻辑。

有什么疑问请留言评论区，有错误敬请斧正，关注我，我们一起成长，终会成为编程大佬