详解-03树1树的同构-静态链表实现

题目来源：
中国大学MOOC-陈越、何钦铭-数据结构

题目详情：
给定两棵树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

输入样例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

解题思路：
题目要求是判断输入的两颗二叉树是否同构，但是从给出的输入样例来看，给定的输入并不一定是按照树的从上至下，从左至右的顺序输入的，可以是无序的，因此解决本题有三个大的步骤：

1. 表示二叉树
2. 创建二叉树
3. 判断是否同构

接下来便一步一步的分析。

1. 表示二叉树
   二叉树的常用表示方法是用动态链表来表示，如下图：
   value代表该节点的值，left和right为指向左子树和右子树的指针。
   但是除此之外二叉树还有一种表示方法，那就是静态链表。所谓静态链表，，就是用数组来实现链式存储结构。对于本题这种树的结点数已经确定，输入是可以无序的情况十分使用，拿图1中输入的第一颗树来举例，相应的静态链表如下图：
   其中最上面的一排代表数组的下标，left代表该结点对应左子树结点在数组中的下标，right代表该结点对应右子树结点在数组中的下标。-1代表相应的子树为空。
   用该方法的一个好处就是可以很容易地从无序的输入确定根节点是谁。可以发现，该数组的长度为8，因此下标是0～7，从头遍历图中数组，可以发现0～7这些下标中，0没有出现，因此说明没有任何一个结点的子树指向下标0对应的结点，即下标为0对应的结点为该树的根节点，即图中的下标0对应的结点A。
2. 建立二叉树
   明确了用静态链表来表示二叉树，接下来就是建树了，关键的一步就是我们要找到树的根结点，其他的直接看后面程序中的注释应该就能理解。找到树的根结点，即数组中哪个下标没有出现过，因此考虑维护一个数组flag[N]用来记录哪些下标出现过，N为数组输入结点的总数，数组的初始值全为0，在遍历数组建树的过程中，每出现一个下标就将该下标对应的位置置1，然后看看哪个位置的值最后为0，那么就明确了头结点。
3. 判断是否同构
   判断的过程已经详细在程序中相应部分写了注释，大家可以直接去看程序，不懂的话欢迎留言交流。

完整程序如下：

#include <stdio.h>

//树的最大节点个数
#define MAX_SIZE 10

//静态链表
struct TreeNode{
    char item;
    int left;
    int right;
}T1[MAX_SIZE], T2[MAX_SIZE];

typedef struct TreeNode Tree;

int bulidTree(Tree T[]);
int isIsomorphic(int root1, int root2);

int main(){
    int R1, R2;
    int res;
    R1 = bulidTree(T1);
    R2 = bulidTree(T2);
    res = isIsomorphic(R1, R2);
    if(res)
        printf("Yes\n");
    else
        printf("No\n");
    return 0;
}

int bulidTree(Tree T[]){
    int N, i, root = -1;
    char temp_left, temp_right;
    scanf("%d", &N);
    int flag[N];
    if(N){
        for(i=0; i<N; i++)
            flag[i] = 0;
        for(i=0; i<N; i++){
            scanf("\n%c %c %c", &T[i].item, &temp_left, &temp_right);
            if(temp_left != '-'){ //左子树存在
                T[i].left = temp_left - '0'; //减去字符0则变成以int型存储
                flag[T[i].left] = 1; //标记该节点已出现
            }
            else
                T[i].left = -1;
            if(temp_right != '-'){ //右子树与左子树处理方法相同
                T[i].right = temp_right - '0';
                flag[T[i].right] = 1;
            }
            else
                T[i].right = -1;
        }
        for(i=0; i<N; i++)
            if(!flag[i])
                break;
        root = i; //没出现过的节点则为头节点
    }
    return root;
}

int isIsomorphic(int R1, int R2){
    if(R1==-1 && R2 ==-1) //两个树都为空，同构
        return 1;
    if((R1==-1 && R2!= -1) || (R1!=-1 && R2==-1)) //两个树不同时为空，不同构
        return 0;
    if(T1[R1].item != T2[R2].item) //根节点不同，不同构
        return 0;
    if(T1[R1].left==-1 && T2[R2].left==-1) //左子树同时为空，则判断右子树是否同构
        return isIsomorphic(T1[R1].right, T2[R2].right);
    //左子树同时不空并且根节点相同，则必须两棵树左子树同构，右子树同构时整体才同构
    if((T1[R1].left!=-1 && T2[R2].left!=-1) &&
       (T1[T1[R1].left].item == T2[T2[R2].left].item))
        return (isIsomorphic(T1[R1].left, T2[R2].left) &&
                isIsomorphic(T1[R1].right, T2[R2].right));
    //左子树不同时不空且左子树根节点相同时，则必须一颗树的左子树与另一颗树的右子树同构整体才同构
    //左子树同时不空且左子树根节点不同时，则也必须一颗树的左子树与另一颗树的右子树同构整体才同构
    else
        return (isIsomorphic(T1[R1].left, T2[R2].right) &&
                isIsomorphic(T1[R1].right, T2[R2].left));
}

如果有哪里理解错的地方欢迎大家留言交流，如需转载请标明出处。

如果你没看懂一定是我讲的不好，欢迎留言，我继续努力。

手工码字码图码代码，如果有帮助到你的话留个赞吧，谢谢。

以上。