結果
問題 |
No.3097 Azuki Kurai
|
ユーザー |
![]() |
提出日時 | 2025-04-06 18:22:05 |
言語 | Rust (1.83.0 + proconio) |
結果 |
AC
|
実行時間 | 161 ms / 4,000 ms |
コード長 | 4,158 bytes |
コンパイル時間 | 12,761 ms |
コンパイル使用メモリ | 400,516 KB |
実行使用メモリ | 7,844 KB |
最終ジャッジ日時 | 2025-04-06 18:22:25 |
合計ジャッジ時間 | 19,091 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 32 |
ソースコード
// M<=5 とかでもようわからん // i=1の場合は max(0, A_i - K) だけ諦めることになる // 小豆をいくらか捨ててしまう // 取られたら負けという問題は解けるか? // グラフ作ればフローになって、最大流流せるかという問題になる // 終わりじゃない? // フローは早いで終わるのかな // // WA // あれ? // // グラフ作り直してみる // TLE // ??? // サンプルはない? // // カットでDPというのを忘れとる // Bの扱いがうまくできてないな // いや、フローでWAになっとる方が問題 // // WA // グラフの作り方間違えてる? fn main() { input! { n: usize, m: usize, k: i64, a: [i64; n], b: [usize1; m], } let mut dp = vec![0; 1 << n]; for i in 0..(1 << n) { for j in 0..n { if i >> j & 1 == 0 { dp[i] += a[j]; } } } let mut or = [0; 9]; for i in 0..n { for j in [(i + n - 1) % n, (i + 1) % n].iter() { or[i] |= 1 << *j; } } let mut mask = vec![0; 1 << n]; for (i, m) in mask.iter_mut().enumerate() { for (j, o) in or.iter().enumerate() { if i >> j & 1 == 1 { *m |= *o; } } } let mask = mask; let inf = a.iter().sum::<i64>(); let mut pre = inf; for b in b.iter() { let mut next = vec![inf; 1 << n]; for (i, dp) in dp.iter().enumerate() { let mut x = i; while x > 0 { let bit = i | mask[x]; let c = (i ^ x).count_ones() as i64; next[bit].chmin(*dp + k * c); x = (x - 1) & i; } next[i].chmin(*dp + k * i.count_ones() as i64); } dp = next; for dp in dp.chunks_exact_mut(2 << b) { let (l, r) = dp.split_at_mut(1 << b); for (l, r) in l.iter_mut().zip(r.iter_mut()) { l.chmin(*r); *r = inf; } } let ans = dp[0]; assert!(pre >= ans); pre = ans; println!("{}", ans); } } // ---------- begin input macro ---------- // reference: https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8 #[macro_export] macro_rules! input { (source = $s:expr, $($r:tt)*) => { let mut iter = $s.split_whitespace(); input_inner!{iter, $($r)*} }; ($($r:tt)*) => { let s = { use std::io::Read; let mut s = String::new(); std::io::stdin().read_to_string(&mut s).unwrap(); s }; let mut iter = s.split_whitespace(); input_inner!{iter, $($r)*} }; } #[macro_export] macro_rules! input_inner { ($iter:expr) => {}; ($iter:expr, ) => {}; ($iter:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($iter, $t); input_inner!{$iter $($r)*} }; } #[macro_export] macro_rules! read_value { ($iter:expr, ( $($t:tt),* )) => { ( $(read_value!($iter, $t)),* ) }; ($iter:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>() }; ($iter:expr, chars) => { read_value!($iter, String).chars().collect::<Vec<char>>() }; ($iter:expr, bytes) => { read_value!($iter, String).bytes().collect::<Vec<u8>>() }; ($iter:expr, usize1) => { read_value!($iter, usize) - 1 }; ($iter:expr, $t:ty) => { $iter.next().unwrap().parse::<$t>().expect("Parse error") }; } // ---------- end input macro ---------- // ---------- begin chmin, chmax ---------- pub trait ChangeMinMax { fn chmin(&mut self, x: Self) -> bool; fn chmax(&mut self, x: Self) -> bool; } impl<T: PartialOrd> ChangeMinMax for T { fn chmin(&mut self, x: Self) -> bool { *self > x && { *self = x; true } } fn chmax(&mut self, x: Self) -> bool { *self < x && { *self = x; true } } } // ---------- end chmin, chmax ----------