把原图视为有根树,以
1
为根。考虑到一个点
但这样存在一个问题:如果
u
存在两个子节点
转移就是做一个树形背包DP。
一开始(只有
u
一个节点时):
1、如果这个节点不需要被保护,那么
2、
下面设当前位于点
一、
g
的转移:
(1)点
此时转移为
(2)点
v
的子树向子树外的
此时转移为
g[u][i]=min(g[u][i],f′[u][i+1]+g[v][i+1])
。
(3)注意到“至少”二字:
g[u][i]=min(g[u][i],g[u][i+1]
。
二、
f
的转移:
1、
2、从
u
开始的
f[u][i]=min(f[u][i],f′[u][i]+f[v][i−1])
3、同样,
f[u][i]=min(f[u][i],f[u][i−1])
。
代码:
#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
inline int read() {
int res = 0; bool bo = 0; char c;
while (((c = getchar()) < '0' || c > '9') && c != '-');
if (c == '-') bo = 1; else res = c - 48;
while ((c = getchar()) >= '0' && c <= '9')
res = (res << 3) + (res << 1) + (c - 48);
return bo ? ~res + 1 : res;
}
const int N = 5e5 + 5, M = 1e6 + 5, R = 23, INF = 0x3f3f3f3f;
int n, d, ecnt, nxt[M], adj[N], go[M], f[N][R], g[N][R], x[R], y[R], val[N];
bool vis[N];
void chkmin(int &a, int b) {if (b < a) a = b;}
void add_edge(int u, int v) {
nxt[++ecnt] = adj[u]; adj[u] = ecnt; go[ecnt] = v;
nxt[++ecnt] = adj[v]; adj[v] = ecnt; go[ecnt] = u;
}
void dfs(int u, int fu) {
int i; f[u][0] = g[u][0] = vis[u] ? val[u] : 0;
for (i = 1; i <= d; i++) f[u][i] = 0, g[u][i] = val[u];
for (int e = adj[u], v; e; e = nxt[e]) {
if ((v = go[e]) == fu) continue; dfs(v, u);
for (i = 0; i <= d; i++) x[i] = y[i] = INF;
for (i = d; i >= 0; i--) {
chkmin(y[i], g[u][i] + f[v][i]);
if (i < d) chkmin(y[i], g[v][i + 1] + f[u][i + 1]),
chkmin(y[i], y[i + 1]);
}
x[0] = y[0]; for (i = 1; i <= d; i++) {
chkmin(x[i], f[u][i] + f[v][i - 1]);
chkmin(x[i], x[i - 1]);
}
for (i = 0; i <= d; i++) f[u][i] = x[i], g[u][i] = y[i];
}
}
int main() {
int i, u, v, tmp; n = read(); d = read();
for (i = 1; i <= n; i++) val[i] = read(); tmp = read();
for (i = 1; i <= tmp; i++) vis[read()] = 1;
for (i = 1; i < n; i++) u = read(), v = read(), add_edge(u, v);
printf("%d\n", (dfs(1, 0), f[1][0]));
return 0;
}