結果
問題 | No.1299 Random Array Score |
ユーザー | ikd |
提出日時 | 2020-12-13 11:06:19 |
言語 | Rust (1.77.0) |
結果 |
AC
|
実行時間 | 16 ms / 2,000 ms |
コード長 | 4,117 bytes |
コンパイル時間 | 1,297 ms |
コンパイル使用メモリ | 182,680 KB |
実行使用メモリ | 6,212 KB |
最終ジャッジ日時 | 2023-10-20 03:39:52 |
合計ジャッジ時間 | 2,981 ms |
ジャッジサーバーID (参考情報) |
judge13 / judge12 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,348 KB |
testcase_01 | AC | 1 ms
4,348 KB |
testcase_02 | AC | 1 ms
4,348 KB |
testcase_03 | AC | 15 ms
5,712 KB |
testcase_04 | AC | 15 ms
5,712 KB |
testcase_05 | AC | 11 ms
4,920 KB |
testcase_06 | AC | 10 ms
4,392 KB |
testcase_07 | AC | 11 ms
4,656 KB |
testcase_08 | AC | 14 ms
5,712 KB |
testcase_09 | AC | 2 ms
4,348 KB |
testcase_10 | AC | 7 ms
4,348 KB |
testcase_11 | AC | 3 ms
4,348 KB |
testcase_12 | AC | 10 ms
4,392 KB |
testcase_13 | AC | 14 ms
5,712 KB |
testcase_14 | AC | 10 ms
4,392 KB |
testcase_15 | AC | 10 ms
4,392 KB |
testcase_16 | AC | 10 ms
4,392 KB |
testcase_17 | AC | 3 ms
4,348 KB |
testcase_18 | AC | 7 ms
4,348 KB |
testcase_19 | AC | 8 ms
4,348 KB |
testcase_20 | AC | 5 ms
4,348 KB |
testcase_21 | AC | 1 ms
4,348 KB |
testcase_22 | AC | 3 ms
4,348 KB |
testcase_23 | AC | 10 ms
4,392 KB |
testcase_24 | AC | 11 ms
4,920 KB |
testcase_25 | AC | 10 ms
4,392 KB |
testcase_26 | AC | 1 ms
4,348 KB |
testcase_27 | AC | 4 ms
4,348 KB |
testcase_28 | AC | 2 ms
4,348 KB |
testcase_29 | AC | 4 ms
4,348 KB |
testcase_30 | AC | 9 ms
4,392 KB |
testcase_31 | AC | 4 ms
4,348 KB |
testcase_32 | AC | 14 ms
5,448 KB |
testcase_33 | AC | 15 ms
6,208 KB |
testcase_34 | AC | 8 ms
4,348 KB |
testcase_35 | AC | 16 ms
6,212 KB |
testcase_36 | AC | 8 ms
4,348 KB |
ソースコード
fn main() { let stdin = std::io::stdin(); let mut rd = ProconReader::new(stdin.lock()); let n: usize = rd.get(); let k: usize = rd.get(); let a: Vec<i64> = (0..n).map(|_| rd.get()).collect(); type Mint = ModInt998244353; let sum = a.iter().fold(Mint::new(0), |acc, &x| acc + Mint::new(x)); let ans = sum * Mint::new(2).pow(k as u64); println!("{}", ans.val()); } use std::fmt::Debug; use std::marker::PhantomData; use std::ops::{Add, Div, Mul, Sub}; pub trait Modulo: Copy + Clone + Debug { fn p() -> i64; } #[derive(Copy, Clone, Debug)] pub struct ModInt<M>(i64, PhantomData<M>); impl<M: Modulo> ModInt<M> { pub fn new(x: i64) -> Self { Self(x.rem_euclid(M::p()), PhantomData) } pub fn val(self) -> i64 { self.0 } pub fn mo(self) -> i64 { M::p() } pub fn pow(self, exp: u64) -> Self { let mut res = Self::new(1); let mut base = self; let mut exp = exp; while exp > 0 { if exp & 1 == 1 { res = res * base; } base = base * base; exp >>= 1; } res } pub fn inv(self) -> Self { assert_ne!(self.0, 0, "Don't divide by zero!"); self.pow(M::p() as u64 - 2) } pub fn new_frac(numer: i64, denom: i64) -> Self { Self::new(numer) / Self::new(denom) } } impl<M: Modulo> Add for ModInt<M> { type Output = ModInt<M>; fn add(self, rhs: ModInt<M>) -> Self::Output { Self((self.0 + rhs.0) % M::p(), PhantomData) } } impl<M: Modulo> Sub for ModInt<M> { type Output = ModInt<M>; fn sub(self, rhs: ModInt<M>) -> Self::Output { Self((self.0 - rhs.0).rem_euclid(M::p()), PhantomData) } } impl<M: Modulo> Mul for ModInt<M> { type Output = ModInt<M>; fn mul(self, rhs: ModInt<M>) -> Self::Output { Self((self.0 * rhs.0) % M::p(), PhantomData) } } impl<M: Modulo> Div for ModInt<M> { type Output = ModInt<M>; fn div(self, rhs: ModInt<M>) -> Self::Output { self * rhs.inv() } } macro_rules! define_mod_int_p { ($mod: ident, $mod_int: ident, $p: expr) => { #[derive(Clone, Copy, Debug)] pub struct $mod; impl Modulo for $mod { fn p() -> i64 { $p } } pub type $mod_int = ModInt<$mod>; }; } define_mod_int_p!(Mod1000000007, ModInt1000000007, 100000007); define_mod_int_p!(Mod998244353, ModInt998244353, 998244353); pub struct ProconReader<R> { r: R, line: String, i: usize, } impl<R: std::io::BufRead> ProconReader<R> { pub fn new(reader: R) -> Self { Self { r: reader, line: String::new(), i: 0, } } pub fn get<T>(&mut self) -> T where T: std::str::FromStr, <T as std::str::FromStr>::Err: std::fmt::Debug, { self.skip_blanks(); assert!(self.i < self.line.len()); assert_ne!(&self.line[self.i..=self.i], " "); let line = &self.line[self.i..]; let end = line.find(' ').unwrap_or_else(|| line.len()); let s = &line[..end]; self.i += end; s.parse() .unwrap_or_else(|_| panic!("parse error `{}`", self.line)) } fn skip_blanks(&mut self) { loop { let start = self.line[self.i..].find(|ch| ch != ' '); match start { Some(j) => { self.i += j; break; } None => { self.line.clear(); self.i = 0; let num_bytes = self.r.read_line(&mut self.line).unwrap(); assert!(num_bytes > 0, "reached EOF :("); self.line = self.line.trim_end_matches(&['\r', '\n'][..]).to_string(); } } } } pub fn get_vec<T>(&mut self, n: usize) -> Vec<T> where T: std::str::FromStr, <T as std::str::FromStr>::Err: std::fmt::Debug, { (0..n).map(|_| self.get()).collect() } }