bzoj 4337: BJOI2015 树的同构 （树hash）

题目描述

传送门

题目大意：对于两个树T1和T2，如果能够把树T1的所有点重新标号，使得树T1和树T2完全相
同，那么这两个树是同构的。给你M个有根树，请你把它们按同构关系分成若干个等价类。

题解

感觉树hash好玄学啊,用poj1635的方式根本过不了。。。
这次的字符基不再是一个大质数，而是每一位对应一个不同的质数。
如果两个树同构那么一定是树中的每个节点都可以意义对应。因为重新编号后不一定那个点是树根。那么对于给出的每棵树，以每个点为根做一遍hash ，然后将得到的所有hash值排序。进行同构判断的时候，只有所有的hash都对应相等的时候才同构。

代码

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<map>
#define N 103
#define ULL unsigned long long 
#define p 2000001001
using namespace std;
int tot,n,T,cnt[N],nxt[N],point[N],v[N],belong[N],size[N];
ULL ans[N],hash[N][N];
map<ULL,int> mp;
ULL mi[]={0,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317};  
void add(int x,int y)
{
    tot++; nxt[tot]=point[x]; point[x]=tot; v[tot]=y;
    tot++; nxt[tot]=point[y]; point[y]=tot; v[tot]=x;
}
void dfs(int x,int fa)
{
    ULL tmp[N],top=0;
    tmp[++top]=1;
    for (int i=point[x];i;i=nxt[i]) {
        if (v[i]==fa) continue;
        dfs(v[i],x);
        tmp[++top]=ans[v[i]];
    }
    sort(tmp+1,tmp+top+1); 
    ans[x]=0; 
    for (int i=1;i<=top;i++) ans[x]+=tmp[i]*mi[i];
}
int main()
{
    freopen("a.in","r",stdin);
    freopen("my.out","w",stdout);
    scanf("%d",&T); int t=0;
    while (T--) {
        tot=0; t++; int root=0;
        memset(point,0,sizeof(point));
        memset(cnt,0,sizeof(cnt));
        scanf("%d",&n);
        for (int i=1;i<=n;i++) {
            int x; scanf("%d",&x);
            if(x) add(x,i);
            else root=i;
        }
        int same=10000;
        for (int i=1;i<=n;i++) {
            dfs(i,0);
            hash[t][i]=ans[i];
        }
        sort(hash[t]+1,hash[t]+n+1);
        for (int i=1;i<=t;i++){
            bool pd=true;
            for (int j=1;j<=n;j++)
             if (hash[t][j]!=hash[i][j]) {
                pd=false;
                break;
             }
            if (pd){
              printf("%d\n",i);
              break;
            }
        }
    }
}