結果
問題 | No.1460 Max of Min |
ユーザー |
|
提出日時 | 2022-01-04 01:13:16 |
言語 | Rust (1.83.0 + proconio) |
結果 |
AC
|
実行時間 | 341 ms / 2,000 ms |
コード長 | 2,065 bytes |
コンパイル時間 | 28,932 ms |
コンパイル使用メモリ | 378,388 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2025-01-28 05:54:05 |
合計ジャッジ時間 | 27,550 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 91 |
ソースコード
use std::cmp::*;// https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8macro_rules! input {($($r:tt)*) => {let stdin = std::io::stdin();let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock()));let mut next = move || -> String{bytes.by_ref().map(|r|r.unwrap() as char).skip_while(|c|c.is_whitespace()).take_while(|c|!c.is_whitespace()).collect()};input_inner!{next, $($r)*}};}macro_rules! input_inner {($next:expr) => {};($next:expr,) => {};($next:expr, $var:ident : $t:tt $($r:tt)*) => {let $var = read_value!($next, $t);input_inner!{$next $($r)*}};}macro_rules! read_value {($next:expr, [ $t:tt ; $len:expr ]) => {(0..$len).map(|_| read_value!($next, $t)).collect::<Vec<_>>()};($next:expr, $t:ty) => ($next().parse::<$t>().expect("Parse error"));}const INF: i64 = 1 << 60;fn mul(a1: &[i64], a2: &[i64], b: &[i64]) -> Vec<i64> {let k = a1.len();let mut out = vec![-INF; 2 * k];for i in 0..k {for j in 0..k {out[i + j] = max(out[i + j], min(a1[i], a2[j]));}}for i in (k..2 * k).rev() {for j in 0..k {out[i - k + j] = max(out[i - k + j], min(b[j], out[i]));}}out.truncate(k);out}fn pow(a: &[i64], mut e: i64, b: &[i64]) -> Vec<i64> {let k = a.len();let mut prod = vec![-INF; k];prod[0] = INF;let mut cur = a.to_vec();while e > 0 {if e % 2 == 1 {prod = mul(&prod, &cur, b);}cur = mul(&cur, &cur, b);e /= 2;}prod}fn main() {input! {k: usize, n: i64,a: [i64; k],b: [i64; k],}let mut x = vec![-INF; k];if k > 1 {x[1] = INF;} else {x[0] = b[0];}let s = pow(&x, n, &b);let mut ans = -INF;for i in 0..k {ans = max(ans, min(s[i], a[i]));}println!("{}", ans);}