#![allow(non_snake_case)] use proconio::input; fn main() { input! { N: usize, M: usize, U: [i64; N], roads: [(usize, usize, usize); N - 1], } let mut graph = vec![vec![]; N]; for &(u, v, w) in &roads { graph[u].push((v, w)); graph[v].push((u, w)); } // https://ngtkana.hatenablog.com/entry/2024/05/24/235658 // dp[i] = i 時間以内に達成できる最大税収 let mut dp = vec![std::i64::MIN; M + 1]; dp[0] = 0; // dp 配列を `u` の部分木で更新する // - `dp`: DP 配列の初期値 // - `u`: 見る頂点 // - `p`: 親 // - `cost`: p-u 間の時間 fn dfs(M: usize, U: &[i64], graph: &[Vec<(usize, usize)>], dp: &mut [i64], u: usize, p: usize, cost: usize) { // `dp` にくわえて頂点 `u` を必ず納税するときの DP 配列 let mut next = vec![std::i64::MIN; M + 1]; for i in cost ..= M { next[i] = dp[i - cost] + U[u]; } for &(v, w) in &graph[u] { if v == p { // 子ではない continue; } // next を更新 dfs(M, U, graph, &mut next, v, u, w * 2); } // `dp` に頂点 `u` およびその部分木を使う場合の結果を反映する for i in 0 ..= M { dp[i] = dp[i].max(next[i]); } } dfs(M, &U, &graph, &mut dp, 0, 0, 0); let ans = *dp.iter().max().unwrap(); println!("{ans}"); }