来源：牛客网：

题目描述

“你，你认错人了。我真的，真的不是食人魔。”–蓝魔法师

给出一棵树，求有多少种删边方案，使得删后的图每个连通块大小小于等于k，两种方案不同当且仅当存在一条边在一个方案中被删除，而在另一个方案中未被删除，答案对998244353取模
输入描述:
第一行两个整数n,k, 表示点数和限制
2 <= n <= 2000, 1 <= k <= 2000
接下来n-1行，每行包括两个整数u,v，表示u,v两点之间有一条无向边
保证初始图联通且合法
输出描述:
共一行，一个整数表示方案数对998244353取模的结果
示例1
输入
复制

5 2
1 2
1 3
2 4
2 5

输出
复制

7

题解：

以一号点为根，树型dp求解
dp[u][x]表示u点连通块大小为x的方案数
考虑u的儿子v有两种选择：
断开u–v这条边，v的子树再怎么分对当前的x不存在影响了，乘起来即可：dp[u][x]=dp[u][x] * sumv
如果不断开u–v：u中大小为i的连通块与v中大小为j的连通块合成大小为i+j的连通块
dp[u][i+j]+=dp[u][i] * dp[v][x-i]

代码：

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <iostream>
#include <vector>
#include <cmath>
using namespace std;
typedef long long ll;
const ll mod=998244353;
const int maxn=2000+10;
vector<int>G[maxn];
ll dp[maxn][maxn];
ll n,k;
ll temp[maxn];
ll size[maxn];//每个节点的子节点个数
void dfs(int u){size[u]=1;dp[u][1]=1;for(int i=0;i<G[u].size();i++){int v=G[u][i];dfs(v);memset(temp,0,sizeof(temp));for(int ii=1;ii<=size[u];ii++){for(int j=0;j<=min(k-ii,size[v]);j++){temp[ii+j]=(temp[ii+j]%mod+dp[u][ii]*dp[v][j]%mod)%mod;}}for(int j=1;j<=k;j++){dp[u][j]=temp[j];}size[u]+=size[v];}for(int i=1;i<=k;i++){dp[u][0]+=dp[u][i];dp[u][0]%=mod;}
}int main(){while(scanf("%lld%lld",&n,&k)!=EOF){for(int i=1;i<n;i++){int u,v;scanf("%d%d",&u,&v);G[u].push_back(v);}memset(dp,0,sizeof(dp));dfs(1);printf("%lld\n",dp[1][0]);}return 0;
}