-
Notifications
You must be signed in to change notification settings - Fork 5
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add yukicoder/2936.rs yukicoder/2944.rs
- Loading branch information
Showing
2 changed files
with
215 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,159 @@ | ||
use std::io::Read; | ||
|
||
fn get_word() -> String { | ||
let stdin = std::io::stdin(); | ||
let mut stdin=stdin.lock(); | ||
let mut u8b: [u8; 1] = [0]; | ||
loop { | ||
let mut buf: Vec<u8> = Vec::with_capacity(16); | ||
loop { | ||
let res = stdin.read(&mut u8b); | ||
if res.unwrap_or(0) == 0 || u8b[0] <= b' ' { | ||
break; | ||
} else { | ||
buf.push(u8b[0]); | ||
} | ||
} | ||
if buf.len() >= 1 { | ||
let ret = String::from_utf8(buf).unwrap(); | ||
return ret; | ||
} | ||
} | ||
} | ||
|
||
fn get<T: std::str::FromStr>() -> T { get_word().parse().ok().unwrap() } | ||
|
||
/// Verified by https://atcoder.jp/contests/abc198/submissions/21774342 | ||
mod mod_int { | ||
use std::ops::*; | ||
pub trait Mod: Copy { fn m() -> i64; } | ||
#[derive(Copy, Clone, Hash, PartialEq, Eq, PartialOrd, Ord)] | ||
pub struct ModInt<M> { pub x: i64, phantom: ::std::marker::PhantomData<M> } | ||
impl<M: Mod> ModInt<M> { | ||
// x >= 0 | ||
pub fn new(x: i64) -> Self { ModInt::new_internal(x % M::m()) } | ||
fn new_internal(x: i64) -> Self { | ||
ModInt { x: x, phantom: ::std::marker::PhantomData } | ||
} | ||
pub fn pow(self, mut e: i64) -> Self { | ||
debug_assert!(e >= 0); | ||
let mut sum = ModInt::new_internal(1); | ||
let mut cur = self; | ||
while e > 0 { | ||
if e % 2 != 0 { sum *= cur; } | ||
cur *= cur; | ||
e /= 2; | ||
} | ||
sum | ||
} | ||
#[allow(dead_code)] | ||
pub fn inv(self) -> Self { self.pow(M::m() - 2) } | ||
} | ||
impl<M: Mod> Default for ModInt<M> { | ||
fn default() -> Self { Self::new_internal(0) } | ||
} | ||
impl<M: Mod, T: Into<ModInt<M>>> Add<T> for ModInt<M> { | ||
type Output = Self; | ||
fn add(self, other: T) -> Self { | ||
let other = other.into(); | ||
let mut sum = self.x + other.x; | ||
if sum >= M::m() { sum -= M::m(); } | ||
ModInt::new_internal(sum) | ||
} | ||
} | ||
impl<M: Mod, T: Into<ModInt<M>>> Sub<T> for ModInt<M> { | ||
type Output = Self; | ||
fn sub(self, other: T) -> Self { | ||
let other = other.into(); | ||
let mut sum = self.x - other.x; | ||
if sum < 0 { sum += M::m(); } | ||
ModInt::new_internal(sum) | ||
} | ||
} | ||
impl<M: Mod, T: Into<ModInt<M>>> Mul<T> for ModInt<M> { | ||
type Output = Self; | ||
fn mul(self, other: T) -> Self { ModInt::new(self.x * other.into().x % M::m()) } | ||
} | ||
impl<M: Mod, T: Into<ModInt<M>>> AddAssign<T> for ModInt<M> { | ||
fn add_assign(&mut self, other: T) { *self = *self + other; } | ||
} | ||
impl<M: Mod, T: Into<ModInt<M>>> SubAssign<T> for ModInt<M> { | ||
fn sub_assign(&mut self, other: T) { *self = *self - other; } | ||
} | ||
impl<M: Mod, T: Into<ModInt<M>>> MulAssign<T> for ModInt<M> { | ||
fn mul_assign(&mut self, other: T) { *self = *self * other; } | ||
} | ||
impl<M: Mod> Neg for ModInt<M> { | ||
type Output = Self; | ||
fn neg(self) -> Self { ModInt::new(0) - self } | ||
} | ||
impl<M> ::std::fmt::Display for ModInt<M> { | ||
fn fmt(&self, f: &mut ::std::fmt::Formatter) -> ::std::fmt::Result { | ||
self.x.fmt(f) | ||
} | ||
} | ||
impl<M: Mod> From<i64> for ModInt<M> { | ||
fn from(x: i64) -> Self { Self::new(x) } | ||
} | ||
} // mod mod_int | ||
|
||
macro_rules! define_mod { | ||
($struct_name: ident, $modulo: expr) => { | ||
#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)] | ||
pub struct $struct_name {} | ||
impl mod_int::Mod for $struct_name { fn m() -> i64 { $modulo } } | ||
} | ||
} | ||
const MOD: i64 = 998_244_353; | ||
define_mod!(P, MOD); | ||
type MInt = mod_int::ModInt<P>; | ||
|
||
// Depends on MInt.rs | ||
fn fact_init(w: usize) -> (Vec<MInt>, Vec<MInt>) { | ||
let mut fac = vec![MInt::new(1); w]; | ||
let mut invfac = vec![0.into(); w]; | ||
for i in 1..w { | ||
fac[i] = fac[i - 1] * i as i64; | ||
} | ||
invfac[w - 1] = fac[w - 1].inv(); | ||
for i in (0..w - 1).rev() { | ||
invfac[i] = invfac[i + 1] * (i as i64 + 1); | ||
} | ||
(fac, invfac) | ||
} | ||
|
||
// https://yukicoder.me/problems/no/2936 (4) | ||
// -> 0 <= x < N の場合と x = N の場合 (A が permutation) に分けたが WA。 | ||
// -> x = M + 1 の場合だけを特別扱いすべきであることに気づいた。 | ||
// -> 0 <= x <= M + 1 のときだけ足すべきであって、それを間違えて 2 1 が 13 を返していた。これで正しく 9 を返すようになった。 | ||
fn main() { | ||
let n: usize = get(); | ||
let m: i64 = get(); | ||
let (fac, invfac) = fact_init(n + 4); | ||
let mut tot = MInt::new(0); | ||
let lim = n.min(m as usize); | ||
for i in 0..lim + 1 { | ||
assert!(i as i64 <= m); | ||
let mut coef = fac[lim + 3] * invfac[i + 3] * invfac[lim - i] * (i + 1) as i64 * (i + 2) as i64; | ||
coef -= fac[lim + 2] * invfac[i + 2] * invfac[lim - i] * (i + 1) as i64 * 3; | ||
coef += fac[lim + 1] * invfac[i + 1] * invfac[lim - i]; | ||
let mut tmp = MInt::new(m - i as i64).pow(n as i64) * coef; | ||
if i % 2 == 1 { | ||
tmp = -tmp; | ||
} | ||
tot += tmp; | ||
} | ||
if n as i64 >= m + 1 { | ||
// Surj(n, m + 1) | ||
let mm = m as usize; | ||
for j in 0..mm + 2 { | ||
let mut tmp = fac[mm + 1] * invfac[j] * invfac[mm + 1 - j] | ||
* MInt::new(m + 1 - j as i64).pow(n as i64); | ||
if j % 2 == 1 { | ||
tmp = -tmp; | ||
} | ||
tot += tmp * MInt::new(m as i64 + 1).pow(2); | ||
} | ||
} | ||
println!("{}", tot); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,56 @@ | ||
// https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8 | ||
macro_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),* )) => { ($(read_value!($next, $t)),*) }; | ||
($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")); | ||
} | ||
|
||
// Tags: partition-numbers, dp | ||
fn main() { | ||
input! { | ||
q: usize, | ||
tnk: [(i32, usize, usize); q], | ||
} | ||
const MOD: i64 = 998_244_353; | ||
const W: usize = 4001; | ||
let mut dp = vec![vec![0; W]; W]; | ||
for i in 0..W { | ||
dp[0][i] = 1; | ||
} | ||
for i in 1..W { | ||
for j in 1..i + 1 { | ||
dp[i][j] = (dp[i - j][j] + dp[i][j - 1]) % MOD; | ||
} | ||
for j in i + 1..W { | ||
dp[i][j] = dp[i][j - 1]; | ||
} | ||
} | ||
for (_, n, k) in tnk { | ||
println!("{}", dp[n][k]); | ||
} | ||
} |