ZJU 1990 Subway tree systems - 树的最小表示

题目大意：

初始时站在树的根节点，若朝着远离根的方向走，记录“0”，接近根的方向走记录“1”。并且树的每一条边只能来回走一次（即向下和返回）。一个合法的01序列可以描述出一棵树的形态。现在给出两个合法的01序列，判断两棵树是否同构。

分析：

由于根节点确定，若两棵树同构，无非就是把子树的位置交换了一下。很自然的想法就是：将树的子树按照某种规则进行排序，若排序之后两个字符串相等，则同构；否则不同构。

现在来分析一下01序列，可以看出，当一个串的“0”和“1”个数相等时，恰好就是一棵子树。例如：

0010011101001011

可以划分为一下三棵子树

00100111，01，001011

而对于每部分划分来说，去掉第一个0和末尾的1，得到的就遍历是这棵子树的01序列（空串表示子树为空）。这样便出现了递归结构。

将这棵树最小表示的算法描述如下：

0、若01序列为空，返回。

1、划分出该01序列的每一棵子树。

2、对于每棵子树，去掉第一个0和末尾1之后，递归进行最小表示。

3、得到每棵子树的最小表示后，将子树的01串按照strcmp排序。

 

1. /*
2. ZJU1990 Subway tree systems
3. */
5. #include <stdio.h>
6. #include <string.h>
7. #include <stdlib.h>
9. #define N 3005
11. typedef struct{
12.     int f,len;
13. }Node;
14. Node bm[N/2][N/2];
15. int nbm;
16. char temp[N],*sp;
18. int cmp(const void *A,const void *B){
19.     Node a = *((Node*)A);
20.     Node b = *((Node*)B);
21.     int i,m=(a.len>b.len?b.len:a.len);
22.     for(i=0;i<m;i++){
23.         if(sp[a.f+i]!=sp[b.f+i])
24.             return sp[a.f+i] - sp[b.f+i];
25.     }
26.     return 0;
27. }
29. void MinRep(char s[],int n){
30.     int i,j,k,m=0,count=0;
31.     Node *b=&bm[nbm++][0];
32.     if(n<=0) return;
33.     
34.     for(i=0;i<n;i++){
35.         if(count==0) b[m].f=i;
36.         if(s[i]=='0') count++;
37.         else count--;
38.         if(count==0) {
39.             b[m].len=i-b[m].f+1;
40.             m++;
41.         }
42.     }
43.     
44.     for(k=0;k<m;k++) Min(s+b[k].f+1,b[k].len-2);
45.     
46.     sp=s;
47.     qsort(b,m,sizeof(Node),cmp);
48.     
49.     for(i=k=0;k<m;k++){
50.         for(j=0;j<b[k].len;j++,i++)
51.             temp[i]=s[b[k].f+j];
52.     }
53.     for(i=0;i<n;i++) s[i]=temp[i];
54.     
55. }
57. int main()
58. {
59.     int i,j,k,T;
60.     char s[N];
61.     char t[N];
62.     
63.     scanf("%d",&T);
64.     while(T--){
65.         scanf("%s%s",s,t);
66.         nbm=0;
67.         MinRep(s,strlen(s));
68.         nbm=0;
69.         MinRep(t,strlen(t));
70.         if(strcmp(s,t)==0) puts("same");
71.         else puts("different");
72.     }
73.     
74.     return 0;
75. }