-
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/2048.rs yukicoder/2891.rs
- Loading branch information
Showing
2 changed files
with
225 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,167 @@ | ||
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> ::std::fmt::Debug for ModInt<M> { | ||
fn fmt(&self, f: &mut ::std::fmt::Formatter) -> ::std::fmt::Result { | ||
let (mut a, mut b, _) = red(self.x, M::m()); | ||
if b < 0 { | ||
a = -a; | ||
b = -b; | ||
} | ||
write!(f, "{}/{}", a, b) | ||
} | ||
} | ||
impl<M: Mod> From<i64> for ModInt<M> { | ||
fn from(x: i64) -> Self { Self::new(x) } | ||
} | ||
// Finds the simplest fraction x/y congruent to r mod p. | ||
// The return value (x, y, z) satisfies x = y * r + z * p. | ||
fn red(r: i64, p: i64) -> (i64, i64, i64) { | ||
if r.abs() <= 10000 { | ||
return (r, 1, 0); | ||
} | ||
let mut nxt_r = p % r; | ||
let mut q = p / r; | ||
if 2 * nxt_r >= r { | ||
nxt_r -= r; | ||
q += 1; | ||
} | ||
if 2 * nxt_r <= -r { | ||
nxt_r += r; | ||
q -= 1; | ||
} | ||
let (x, z, y) = red(nxt_r, r); | ||
(x, y - q * z, z) | ||
} | ||
} // 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) | ||
} | ||
|
||
// The author read the editorial before implementing this. | ||
// https://yukicoder.me/problems/no/2048 (4) | ||
// Tags: robinson-schensted-correspondence, longest-increasing-subsequence, lis | ||
fn main() { | ||
let n: usize = get(); | ||
let (fac, invfac) = fact_init(n + 1); | ||
let mut tot = MInt::new(0); | ||
for i in 2..n - 1 { | ||
let tmp = fac[n] * invfac[i - 2] * invfac[n - i - 2]; | ||
let tmp = tmp * (MInt::new(i as i64) * (n - i) as i64 * (n - 1) as i64).inv(); | ||
tot += tmp * tmp; | ||
} | ||
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,58 @@ | ||
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() } | ||
|
||
const MOD: i64 = 998_244_353; | ||
|
||
fn triangle(x: i64) -> i64 { | ||
let x = x % MOD; | ||
x * (x - 1) / 2 % MOD | ||
} | ||
|
||
// Tags: quotient, sqrt-decomposition | ||
fn main() { | ||
let n: i64 = get(); | ||
let m: i64 = get(); | ||
let mut x = 1; | ||
while x * x <= m { | ||
x += 1; | ||
} | ||
x -= 1; | ||
let mut tot = (m % MOD) * (n % MOD) % MOD; | ||
for i in 1..x + 1 { | ||
if i <= n { | ||
let q = m / i; | ||
tot += MOD - (q * i) % MOD; | ||
} | ||
} | ||
for j in 1..x + 1 { | ||
let l = x.max(m / (j + 1)); | ||
let r = (m / j).min(n); | ||
if l < r { | ||
tot += MOD - ((r - l) % MOD) * j % MOD * ((l + 1) % MOD) % MOD; | ||
tot += MOD - triangle(r - l) * j % MOD; | ||
} | ||
} | ||
println!("{}", tot % MOD); | ||
} |