題意：有棵節點數為n的樹，節點都有對應的分數，要求找到以1為根的包含m個結點的樹所得分數最大。

思路：dp[u][j]表示以節點u為根的大小為 j 的樹可得到的最大分數，答案就是dp[1][m]。

狀態轉移方程為：dp[u][j]=max(dp[v1][k1]+dp[v2][k2]+...+dp[vx][kx])，v是u的子節點。

這裡就有了泛化物品的概念（不懂的可以去看一下大牛的揹包九講）。就是說節點u給它的子節點v不同的k值，u從v那裡得到的分數是不一樣的，但是對於每個v至多給一次。然後解決泛化物品的方法就是合二為一（把兩個泛化物品變為一個），不斷縮小規模，最後找到答案。

注意我們要dp[u][j](2<=j<=m)全都用一遍泛化物品，這裡特別要注意是 j 是從小到大，還是從大到小。

對於某個j來說：dp[u][j] = max(dp[u][j], dp[u][j - k] + dp[v][k])，我們要根據這個式子來不斷更新dp[u][j]的值，更新的過程中要用到dp[u][j-k]的值，也就是說比 j 小的值。試想一下如果我們 j 是從小到大更新的，那麼我用dp[v][k]來更新dp[u][j]的時候用到的dp[u][j-k]是有可能包含dp[v][k]的，也就是說我們求dp[u][j-k]的時候可能用過了dp[v][k]，但是dp[v][k]在dp[u][j]中至多出現一次，，現在會出現兩次，所以是錯誤的。正解j要從大到小更新。

#pragma warning(disable:4996)
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <vector>
using namespace std;

vector<int>g[105];
int score[105];
int n, m;
int dp[105][105];//dp[i][j]表示以i為根的樹中留下j個點可獲得最大分數
bool vis[105];

void add(int u, int v){
	g[u].push_back(v);
}

void dfs(int u){
	vis[u] = true;
	memset(dp[u], 0, sizeof dp[u]);
	dp[u][1] = score[u];
	for (int i = 0; i < g[u].size(); i++){
		int v = g[u][i];
		if (vis[v])continue;
		dfs(v);
		for (int j = m; j >= 2; j--){
			for (int k = 1; k < j; k++){
				dp[u][j] = max(dp[u][j], dp[u][j - k] + dp[v][k]);
			}
			//k的順序無關緊要
			/*for (int k = j - 1; k >= 0; k--){
				dp[u][j] = max(dp[u][j], dp[u][j - k] + dp[v][k]);
			}*/
		}
	}
}

int main(){
	//freopen("in.txt", "r", stdin);
	scanf("%d %d", &n, &m);
	for (int i = 1; i <= n; i++)scanf("%d", score + i);
	for (int i = 1; i < n; i++){
		int u, v; scanf("%d %d", &u, &v);
		add(u, v);
		add(v, u);
	}
	memset(vis, false, sizeof vis);
	dfs(1);
	printf("%d\n", dp[1][m]);
	return 0;
}