結果
問題 | No.1460 Max of Min |
ユーザー | akakimidori |
提出日時 | 2021-04-02 03:10:56 |
言語 | Rust (1.77.0 + proconio) |
結果 |
AC
|
実行時間 | 318 ms / 2,000 ms |
コード長 | 2,639 bytes |
コンパイル時間 | 13,413 ms |
コンパイル使用メモリ | 379,292 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-06-01 08:32:59 |
合計ジャッジ時間 | 24,073 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
5,248 KB |
testcase_01 | AC | 1 ms
5,248 KB |
testcase_02 | AC | 1 ms
5,376 KB |
testcase_03 | AC | 41 ms
5,376 KB |
testcase_04 | AC | 318 ms
5,376 KB |
testcase_05 | AC | 1 ms
5,376 KB |
testcase_06 | AC | 52 ms
5,376 KB |
testcase_07 | AC | 285 ms
5,376 KB |
testcase_08 | AC | 1 ms
5,376 KB |
testcase_09 | AC | 1 ms
5,376 KB |
testcase_10 | AC | 269 ms
5,376 KB |
testcase_11 | AC | 150 ms
5,376 KB |
testcase_12 | AC | 22 ms
5,376 KB |
testcase_13 | AC | 92 ms
5,376 KB |
testcase_14 | AC | 48 ms
5,376 KB |
testcase_15 | AC | 16 ms
5,376 KB |
testcase_16 | AC | 63 ms
5,376 KB |
testcase_17 | AC | 95 ms
5,376 KB |
testcase_18 | AC | 2 ms
5,376 KB |
testcase_19 | AC | 55 ms
5,376 KB |
testcase_20 | AC | 4 ms
5,376 KB |
testcase_21 | AC | 8 ms
5,376 KB |
testcase_22 | AC | 52 ms
5,376 KB |
testcase_23 | AC | 3 ms
5,376 KB |
testcase_24 | AC | 69 ms
5,376 KB |
testcase_25 | AC | 1 ms
5,376 KB |
testcase_26 | AC | 176 ms
5,376 KB |
testcase_27 | AC | 29 ms
5,376 KB |
testcase_28 | AC | 8 ms
5,376 KB |
testcase_29 | AC | 92 ms
5,376 KB |
testcase_30 | AC | 77 ms
5,376 KB |
testcase_31 | AC | 35 ms
5,376 KB |
testcase_32 | AC | 148 ms
5,376 KB |
testcase_33 | AC | 9 ms
5,376 KB |
testcase_34 | AC | 51 ms
5,376 KB |
testcase_35 | AC | 18 ms
5,376 KB |
testcase_36 | AC | 1 ms
5,376 KB |
testcase_37 | AC | 58 ms
5,376 KB |
testcase_38 | AC | 29 ms
5,376 KB |
testcase_39 | AC | 34 ms
5,376 KB |
testcase_40 | AC | 31 ms
5,376 KB |
testcase_41 | AC | 16 ms
5,376 KB |
testcase_42 | AC | 19 ms
5,376 KB |
testcase_43 | AC | 50 ms
5,376 KB |
testcase_44 | AC | 129 ms
5,376 KB |
testcase_45 | AC | 4 ms
5,376 KB |
testcase_46 | AC | 36 ms
5,376 KB |
testcase_47 | AC | 33 ms
5,376 KB |
testcase_48 | AC | 106 ms
5,376 KB |
testcase_49 | AC | 78 ms
5,376 KB |
testcase_50 | AC | 4 ms
5,376 KB |
testcase_51 | AC | 74 ms
5,376 KB |
testcase_52 | AC | 16 ms
5,376 KB |
testcase_53 | AC | 56 ms
5,376 KB |
testcase_54 | AC | 156 ms
5,376 KB |
testcase_55 | AC | 162 ms
5,376 KB |
testcase_56 | AC | 34 ms
5,376 KB |
testcase_57 | AC | 151 ms
5,376 KB |
testcase_58 | AC | 120 ms
5,376 KB |
testcase_59 | AC | 101 ms
5,376 KB |
testcase_60 | AC | 109 ms
5,376 KB |
testcase_61 | AC | 185 ms
5,376 KB |
testcase_62 | AC | 188 ms
5,376 KB |
testcase_63 | AC | 1 ms
5,376 KB |
testcase_64 | AC | 1 ms
5,376 KB |
testcase_65 | AC | 127 ms
5,376 KB |
testcase_66 | AC | 159 ms
5,376 KB |
testcase_67 | AC | 23 ms
5,376 KB |
testcase_68 | AC | 85 ms
5,376 KB |
testcase_69 | AC | 144 ms
5,376 KB |
testcase_70 | AC | 168 ms
5,376 KB |
testcase_71 | AC | 104 ms
5,376 KB |
testcase_72 | AC | 112 ms
5,376 KB |
testcase_73 | AC | 163 ms
5,376 KB |
testcase_74 | AC | 39 ms
5,376 KB |
testcase_75 | AC | 36 ms
5,376 KB |
testcase_76 | AC | 38 ms
5,376 KB |
testcase_77 | AC | 37 ms
5,376 KB |
testcase_78 | AC | 28 ms
5,376 KB |
testcase_79 | AC | 35 ms
5,376 KB |
testcase_80 | AC | 27 ms
5,376 KB |
testcase_81 | AC | 29 ms
5,376 KB |
testcase_82 | AC | 34 ms
5,376 KB |
testcase_83 | AC | 26 ms
5,376 KB |
testcase_84 | AC | 232 ms
5,376 KB |
testcase_85 | AC | 226 ms
5,376 KB |
testcase_86 | AC | 229 ms
5,376 KB |
testcase_87 | AC | 232 ms
5,376 KB |
testcase_88 | AC | 232 ms
5,376 KB |
testcase_89 | AC | 233 ms
5,376 KB |
testcase_90 | AC | 228 ms
5,376 KB |
testcase_91 | AC | 235 ms
5,376 KB |
testcase_92 | AC | 238 ms
5,376 KB |
testcase_93 | AC | 226 ms
5,376 KB |
ソースコード
// ---------- 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 ---------- fn read() -> (usize, Vec<i64>, Vec<i64>) { let mut s = String::new(); use std::io::Read; std::io::stdin().read_to_string(&mut s).unwrap(); let mut it = s.trim().split_whitespace(); let mut next = || it.next().unwrap().parse::<i64>().unwrap(); let k = next() as usize; let n = next() as usize; let a = (0..k).map(|_| next()).collect::<Vec<_>>(); let b = (0..k).map(|_| next()).collect::<Vec<_>>(); (n, a, b) } const INF: i64 = 1_000_000_000_000_000_000 + 1; fn solve(n: usize, a: &[i64], b: &[i64]) -> i64 { if n < a.len() { return a[n]; } let k = a.len(); let mut ok = -INF; let mut ng = INF; while ng - ok > 1 { let mid = (ok + ng) / 2; let a = a.iter().map(|a| *a >= mid).collect::<Vec<_>>(); let b = b.iter().map(|a| *a >= mid).collect::<Vec<_>>(); let mut c = vec![false; 2 * k]; c[..k].copy_from_slice(&a); for i in 0..k { c[i + k] = c[i..].iter().zip(b.iter()).any(|p| *p.0 && *p.1); } if n < 2 * k { if c[n] { ok = mid; } else { ng = mid; } continue; } if c[k..].iter().all(|p| !*p) { ng = mid; continue; } let len = k - b.iter().position(|c| *c).unwrap(); let mut dp = vec![n + 1; len]; for (i, c) in c[k..].iter().enumerate() { if *c { dp[i % len].chmin(k + i); } } let mut used = vec![false; len]; for _ in 1..len { let x = (0..len).filter(|p| !used[*p]).min_by_key(|p| dp[*p]).unwrap(); used[x] = true; let v = dp[x]; for (i, c) in b.iter().enumerate() { if *c { dp[(x + k - i) % len].chmin(v + k - i); } } } if dp[(n - k) % len] <= n { ok = mid; } else { ng = mid; } } ok } fn run() { let (n, a, b) = read(); let ans = solve(n, &a, &b); println!("{}", ans); } fn main() { run(); }