結果
| 問題 |
No.895 MESE
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2023-01-05 01:21:48 |
| 言語 | Rust (1.83.0 + proconio) |
| 結果 |
AC
|
| 実行時間 | 14 ms / 2,000 ms |
| コード長 | 1,372 bytes |
| コンパイル時間 | 14,290 ms |
| コンパイル使用メモリ | 377,656 KB |
| 実行使用メモリ | 9,028 KB |
| 最終ジャッジ日時 | 2024-11-28 10:04:27 |
| 合計ジャッジ時間 | 14,545 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 26 |
ソースコード
const MOD: usize = 1e9 as usize + 7;
fn fact_inv(size: usize) -> (Vec<usize>, Vec<usize>) {
let mut facts = vec![0usize; size+1];
let mut fact_invs = vec![0usize; size+1];
let mut invs = vec![0usize; size+1];
facts[0] = 1;
facts[1] = 1;
fact_invs[0] = 1;
fact_invs[1] = 1;
invs[1] = 1;
for i in 2..=size {
facts[i] = facts[i-1] * i % MOD;
invs[i] = MOD - invs[MOD % i] * (MOD / i) % MOD;
fact_invs[i] = fact_invs[i - 1] * invs[i] % MOD;
}
(facts, fact_invs)
}
fn comb(n: usize, r: usize, facts: &Vec<usize>, fact_invs: &Vec<usize>) -> usize {
facts[n] * fact_invs[r] % MOD * fact_invs[n-r] % MOD
}
fn main() {
let mut abc = String::new();
std::io::stdin().read_line(&mut abc).ok();
let abc: Vec<usize> = abc.trim().split_whitespace().map(|s| s.parse().unwrap()).collect();
let summary = abc.iter().sum::<usize>();
let a = abc[0];
let b = abc[1];
let c = abc[2];
let (facts, fact_invs) = fact_inv(summary+10);
let mut p2s = vec![1usize; summary+1];
for i in 0..summary {
p2s[i+1] = p2s[i] * 2 % MOD;
}
let mut result = 0usize;
for i in 1..=a {
result += (p2s[a+b+c-i-1] - 1) * comb(a+b+c-i-2, a-i, &facts, &fact_invs) % MOD * comb(b+c-2, b-1, &facts, &fact_invs) % MOD;
result %= MOD;
}
println!("{}", result);
}