HDU 6540

题意：给你一棵树，树上有一些重要的点，让你选一个只包含重要的点的点集，满足点集里最远的两个点不超过k,问有多少种选法。

分析：dp[i][j]表示在i这颗子树中距离i点最远点距离为k的方案数。考虑如何从子树转移，显然 我们遍历到一颗新子树时，要用之前的所有方案乘以这颗子树的方案来更新。即dp[u][max(i,j+1) ]+=dp[u][i]*dp[to][j]，暴力更新的复杂度是k^2的，居然也可以过。有很多细节需要注意，计数容易出错，代码里面都有注释。

参考博客：https://www.cnblogs.com/CJLHY/p/10890357.html

https://blog.csdn.net/cat_pikapikapi/article/details/90521780

代码：

#include<bits/stdc++.h>
#define LL long long
using namespace std;
const int N = 5000 + 7;
const int mod = 1e9 + 7;
template<class T, class S> inline void add(T& a, S b) {a += b; if(a >= mod) a -= mod;}
template<class T, class S> inline void sub(T& a, S b) {a -= b; if(a < 0) a += mod;}
template<class T, class S> inline bool chkmax(T& a, S b) {return a < b ? a = b, true : false;}
template<class T, class S> inline bool chkmin(T& a, S b) {return a > b ? a = b, true : false;}

int n, m, k, mxd[N], f[N][N], g[N], c[N];
bool is[N];
vector<int> G[N];

void dfs(int u, int fa) {
    for(auto& v : G[u]) {
        if(v == fa) continue;
        dfs(v, u);
        chkmax(mxd[u], mxd[v] + 1);
        memcpy(g, f[u], sizeof(g));
        for(int i = 0; i <= mxd[u] && i <= k; i++) {
            for(int j = 0; j <= mxd[v] && j <= k; j++) {
                if(i + j + 1 <= k) {
                    add(g[max(i, j + 1)], 1LL * f[u][i] * f[v][j] % mod);///累加转移
                }
            }
        }
        for(int j = 0; j <= mxd[v]; j++) add(g[j + 1], f[v][j]);///v单独传递的贡献
        for(int i = 0; i <= mxd[u]; i++) f[u][i] = g[i];
    }
    if(is[u]) {///如果这个点可选
        f[u][0] = 1;///只选这个点
        ///分选它不选两种，所以要乘2
        for(int i = 1; i <= mxd[u] && i <= k; i++) add(f[u][i], f[u][i]);
    }
}

int main() {
    scanf("%d%d%d", &n, &m, &k);
    for(int i = 2; i <= n; i++) {
        int u, v;
        scanf("%d%d", &u, &v);
        G[u].push_back(v);
        G[v].push_back(u);
    }
    for(int i = 1; i <= m; i++) {
        int x; scanf("%d", &x);
        is[x] = true;
    }
    dfs(1, 0);
    int ans = 0;
    for(int i = 0; i <= k; i++) add(ans, f[1][i]);
    printf("%d\n", ans);
    return 0;
}