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

题目

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

图1
图2

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

输入格式:

输入给出2棵二叉树树的信息。 对于每棵树，首先在一行中给出一个非负整数N (≤10)，即该树的结点数（此时假设结点从0到N−1编号）； 随后N行，第我行对应编号第我个结点，给出该结点中存储的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 check[N];
    if(N)
    {
        for(i=0;i<N;i++)check[i]=0;
        for(i=0;i<N;i++)
        {
            scanf("%c %c %c\n",&T[i].Element,&CL,&CR);
            if(CL!='-')
            {
                T[i].Left=CL-'0';
                check[T[i].Left]=1;
            }else T[i].Left=Null;
            if(CR!='-')
            {
                T[i].Right=CR-'0';
                check[T[i].Right]=1;
            }else T[i].Right=Null;
        }
        for(i=0;i<N;i++)
        {
            if(check[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;
}

主函数

#define MaxTree 10
#define ElementType char
#define Tree int
#define Null -1
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判断。

结构体数组

struct TreeNode  {
    ElementType Element;
    Tree Left;
    Tree Right;
}T1[MaxTree], T2[MaxTree];

分别包含节点的数据和左右儿子的节点编号。

主要思想可以看下面的图

 我们对输入的数据下标0，1，2，3，.....对应A ,B, C ,D...我们定义空节点为-1，也就是我们的宏定义define Null -1,也就是A的左儿子为-1，C,D的左右儿子都为-1，有儿子的位置为儿子的序号。 如何确定根节点呢？这是按顺序的，a为根节点，本质上可以观察到我们的表格里面出了出现了-1（空节点）外，只出现了1， 2，3，但是我们是0，1，2，3，故0所代表的字母即为根节点。

如果是乱序呢？也是一样的。

 故而我们可以采用这样的方法建立二叉树并判别。

建二叉树

Tree Buildtree(struct TreeNode T[])
{
    int N,i,root=Null;
    char CL,CR;
    scanf("%d\n",&N);
    int check[N];
    if(N)
    {
        for(i=0;i<N;i++)check[i]=0;
        for(i=0;i<N;i++)
        {
            scanf("%c %c %c\n",&T[i].Element,&CL,&CR);
            if(CL!='-')
            {
                T[i].Left=CL-'0';
                check[T[i].Left]=1;
            }else T[i].Left=Null;
            if(CR!='-')
            {
                T[i].Right=CR-'0';
                check[T[i].Right]=1;
            }else T[i].Right=Null;
        }
        for(i=0;i<N;i++)
        {
            if(check[i]==0)break;
        }
            root=i;
    }return root;
}

 很容易理解我们现利用循环初始化为0,之后输入三个char类型数据，输入后做2个判断一左一右，下面是左节点判断

 if(CL!='-')
            {
                T[i].Left=CL-'0';
                cheak[T[i].Left]=1;
            }else T[i].Left=Null;

如果不为‘-’空，那么赋值左节点为字符减去‘0’才是真正的整型数值，，并把该数值对应的字母的check数组上的值改为1.

如果为空，即直接赋值为-1。     右节点类似。

最后检查找到根节点

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

如果找到仍未0的数据，说明没有被指向，故为根节点，利用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));
}

下面最重要的判断

1.全为空，直接为真，2一空一不空，为假，返回0，3都不空，但是根节点元素不对，为假

4都不空，根节点也对，看：

（1）是不是左节点都是空，如何都空，只需判断右节点就行了 所以返回 return lsomorphic(T1[R1].Right,T2[R2].Right);

（2）如果不是都空判断是不是 左节点都不空并且元素相同，如果是，则比较第一个左和第二个左，第一个右，第二个右   故返回

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

反之，比较比较第一个左和第二个右，第一个右，第二个左  

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

上面的基本就讲完了。如果有什么疑问或者有错误，欢迎评论区留言，敬请斧正。