結果

問題 No.417 チューリップバブル
ユーザー maguroflymagurofly
提出日時 2024-05-25 02:20:26
言語 Rust
(1.77.0)
結果
AC  
実行時間 3 ms / 2,000 ms
コード長 1,509 bytes
コンパイル時間 14,173 ms
コンパイル使用メモリ 404,368 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-05-25 02:20:42
合計ジャッジ時間 15,047 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,944 KB
testcase_02 AC 1 ms
6,940 KB
testcase_03 AC 1 ms
6,940 KB
testcase_04 AC 1 ms
6,940 KB
testcase_05 AC 1 ms
6,944 KB
testcase_06 AC 1 ms
6,940 KB
testcase_07 AC 1 ms
6,944 KB
testcase_08 AC 1 ms
6,940 KB
testcase_09 AC 1 ms
6,944 KB
testcase_10 AC 1 ms
6,944 KB
testcase_11 AC 1 ms
6,944 KB
testcase_12 AC 1 ms
6,944 KB
testcase_13 AC 2 ms
6,944 KB
testcase_14 AC 2 ms
6,940 KB
testcase_15 AC 1 ms
6,944 KB
testcase_16 AC 1 ms
6,940 KB
testcase_17 AC 1 ms
6,940 KB
testcase_18 AC 1 ms
6,940 KB
testcase_19 AC 1 ms
6,940 KB
testcase_20 AC 2 ms
6,940 KB
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 2 ms
6,944 KB
testcase_23 AC 1 ms
6,944 KB
testcase_24 AC 1 ms
6,944 KB
testcase_25 AC 2 ms
6,940 KB
testcase_26 AC 1 ms
6,944 KB
testcase_27 AC 2 ms
6,944 KB
testcase_28 AC 2 ms
6,940 KB
testcase_29 AC 1 ms
6,940 KB
testcase_30 AC 2 ms
6,944 KB
testcase_31 AC 1 ms
6,944 KB
testcase_32 AC 1 ms
6,940 KB
testcase_33 AC 1 ms
6,944 KB
testcase_34 AC 2 ms
6,940 KB
testcase_35 AC 2 ms
6,940 KB
testcase_36 AC 3 ms
6,944 KB
testcase_37 AC 3 ms
6,944 KB
testcase_38 AC 3 ms
6,944 KB
testcase_39 AC 2 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#![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}");
}
0