結果
問題 |
No.1037 exhausted
|
ユーザー |
|
提出日時 | 2020-04-25 14:13:47 |
言語 | Rust (1.83.0 + proconio) |
結果 |
AC
|
実行時間 | 50 ms / 2,000 ms |
コード長 | 1,366 bytes |
コンパイル時間 | 14,060 ms |
コンパイル使用メモリ | 378,928 KB |
実行使用メモリ | 34,048 KB |
最終ジャッジ日時 | 2024-11-07 01:19:44 |
合計ジャッジ時間 | 15,593 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 23 |
ソースコード
use std::cmp::*; use std::io::*; const INF: usize = 1 << 60; fn main() { let mut s: String = String::new(); std::io::stdin().read_to_string(&mut s).ok(); let mut itr = s.trim().split_whitespace(); let n: usize = itr.next().unwrap().parse().unwrap(); let v: usize = itr.next().unwrap().parse().unwrap(); let l: usize = itr.next().unwrap().parse().unwrap(); let mut a = Vec::new(); a.push((0, 0, 0)); for _ in 0..n { a.push(( itr.next().unwrap().parse().unwrap(), itr.next().unwrap().parse().unwrap(), itr.next().unwrap().parse().unwrap(), )); } a.push((l, 0, 0)); let mut dp: Vec<Vec<usize>> = vec![vec![INF; 2020]; 2020]; dp[0][v] = 0; for i in 0..n + 1 { for j in 0..v + 1 { let k = min(j + a[i].1, v); let diff = a[i + 1].0 - a[i].0; if k >= diff { dp[i + 1][k - diff] = min(dp[i + 1][k - diff], dp[i][j] + a[i].2); } if j >= diff { dp[i + 1][j - diff] = min(dp[i + 1][j - diff], dp[i][j]); } } } let mut ans = INF; for i in 0..v + 1 { if dp[n + 1][i] != INF { ans = min(ans, dp[n + 1][i]); } } if ans == INF { println!("-1",) } else { println!("{}", ans); } }