【树形DP】Day 7 提高组模拟C组 T1 序章-弗兰德的秘密

题目描述

题目大意

给定两棵树，若$x$节点与$y$节点的儿子数量以及他们子树的子树都可以一一对应，则称他们同构，在删除一些结点（不能为根节点时），求它们的最大同构

解题思路

树形$DP$
用$f[x][y]$表示$A$树$x$节点与$B$树节点同构的值，可以得到方程

$$f[x][y]=max\{x的儿子们,y的儿子们\}+1$$
然后因为每个点的儿子最多有五个，所以我们可以$5!$进行枚举，总时间复杂度$O(5!n^2)$

代码

#include<cstdio>
#include<vector>
#include<algorithm>
#define M 1001
using namespace std;int n,m,f[M][M],x,y,u,v;
vector<int>son1[M],son2[M];
bool vis[M];
void get(int k,int tot) //get
{
    if(k>son1[x].size()) {f[x][y]=max(f[x][y],tot);return;}
    get(k+1,tot);
    bool ok=0;
    for(int i=0;i<son2[y].size();i++)
    {
        if(vis[i]) continue;
        ok=1;
        vis[i]=true;
        get(k+1,tot+f[son1[x][k-1]][son2[y][i]]);
        vis[i]=0;
    }
    if(!ok&&f[x][y]<tot) f[x][y]=tot;
}
void dfs(int k)
{
    if(!son1[k].size()) 
    {
        for(int i=1;i<=m;i++)
         f[k][i]=1;//边界
        return;
    }
    for(int i=0;i<son1[k].size();i++) dfs(son1[k][i]);//向它的儿子扩展
    for(int i=1;i<=m;i++)
    {
        if(!son2[i].size()) {f[k][i]=1;continue;}
        x=k;y=i;
        get(1,0);
        f[k][i]++;//动态转移
    }
    return;
}
int main()
{
    freopen("frand.in","r",stdin);
    freopen("frand.out","w",stdout);
    scanf("%d%d",&n,&m);
    for(int i=1;i<n;i++) scanf("%d%d",&u,&v),son1[u].push_back(v);
    for(int i=1;i<m;i++) scanf("%d%d",&u,&v),son2[u].push_back(v);//建边
    dfs(1);
    printf("%d",f[1][1]);
}