結果
問題 | No.2485 Add to Variables (Another) |
ユーザー | SSRS |
提出日時 | 2023-09-22 22:08:32 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 111 ms / 2,000 ms |
コード長 | 1,876 bytes |
コンパイル時間 | 3,651 ms |
コンパイル使用メモリ | 244,572 KB |
実行使用メモリ | 11,380 KB |
最終ジャッジ日時 | 2023-09-22 22:08:46 |
合計ジャッジ時間 | 6,783 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
4,380 KB |
testcase_01 | AC | 2 ms
4,380 KB |
testcase_02 | AC | 2 ms
4,376 KB |
testcase_03 | AC | 2 ms
4,376 KB |
testcase_04 | AC | 2 ms
4,380 KB |
testcase_05 | AC | 2 ms
4,380 KB |
testcase_06 | AC | 2 ms
4,380 KB |
testcase_07 | AC | 2 ms
4,376 KB |
testcase_08 | AC | 2 ms
4,380 KB |
testcase_09 | AC | 1 ms
4,380 KB |
testcase_10 | AC | 2 ms
4,376 KB |
testcase_11 | AC | 1 ms
4,376 KB |
testcase_12 | AC | 12 ms
4,376 KB |
testcase_13 | AC | 1 ms
4,380 KB |
testcase_14 | AC | 3 ms
4,376 KB |
testcase_15 | AC | 2 ms
4,380 KB |
testcase_16 | AC | 2 ms
4,376 KB |
testcase_17 | AC | 2 ms
4,376 KB |
testcase_18 | AC | 4 ms
4,376 KB |
testcase_19 | AC | 1 ms
4,380 KB |
testcase_20 | AC | 1 ms
4,376 KB |
testcase_21 | AC | 2 ms
4,380 KB |
testcase_22 | AC | 2 ms
4,380 KB |
testcase_23 | AC | 2 ms
4,380 KB |
testcase_24 | AC | 2 ms
4,380 KB |
testcase_25 | AC | 104 ms
10,904 KB |
testcase_26 | AC | 65 ms
7,320 KB |
testcase_27 | AC | 9 ms
4,380 KB |
testcase_28 | AC | 28 ms
5,300 KB |
testcase_29 | AC | 64 ms
6,424 KB |
testcase_30 | AC | 104 ms
11,380 KB |
testcase_31 | AC | 104 ms
11,360 KB |
testcase_32 | AC | 103 ms
11,156 KB |
testcase_33 | AC | 104 ms
11,140 KB |
testcase_34 | AC | 104 ms
11,168 KB |
testcase_35 | AC | 104 ms
10,952 KB |
testcase_36 | AC | 111 ms
11,032 KB |
testcase_37 | AC | 103 ms
11,080 KB |
testcase_38 | AC | 103 ms
11,028 KB |
testcase_39 | AC | 104 ms
11,036 KB |
testcase_40 | AC | 103 ms
11,040 KB |
testcase_41 | AC | 103 ms
11,156 KB |
testcase_42 | AC | 1 ms
4,380 KB |
testcase_43 | AC | 2 ms
4,376 KB |
ソースコード
#include <bits/stdc++.h> #include <atcoder/convolution> using namespace std; const long long MOD = 998244353; int main(){ int N, M; cin >> N >> M; vector<int> B(N); for (int i = 0; i < N; i++){ cin >> B[i]; } vector<int> imos(N + 1, 0); int D = 0; for (int i = 0; i < N - 1; i++){ if (B[i] < B[i + 1]){ D += B[i + 1] - B[i]; imos[i + 1] += B[i + 1] - B[i]; imos[N] -= B[i + 1] - B[i]; } else { D += B[i] - B[i + 1]; imos[0] += B[i] - B[i + 1]; imos[i + 1] -= B[i] - B[i - 1]; } } for (int i = 0; i < N; i++){ imos[i + 1] += imos[i]; } if (D > M || imos[0] > B[0]){ cout << 0 << endl; } else { int a = M - D; int b = B[0] - imos[0]; if (b > a){ cout << 0 << endl; } else { vector<long long> inv(M + 1); inv[1] = 1; for (int i = 2; i <= M; i++){ inv[i] = MOD - inv[MOD % i] * (MOD / i) % MOD; } vector<long long> fact(M + 1); vector<long long> finv(M + 1); fact[0] = 1; finv[0] = 1; for (int i = 1; i <= M; i++){ fact[i] = fact[i - 1] * i % MOD; finv[i] = finv[i - 1] * inv[i] % MOD; } vector<vector<long long>> f(N - 1, vector<long long>(M + 1, 0)); for (int i = 0; i < N - 1; i++){ int d = abs(B[i] - B[i + 1]); for (int j = 0; j <= M - d; j++){ f[i][j] = finv[j] * finv[d + j] % MOD; } } vector<long long> P(M + 1, 0); P[0] = 1; for (int i = 0; i < N - 1; i++){ P = atcoder::convolution(P, f[i]); P.resize(M + 1); } long long ans = 0; for (int i = 0; i <= M; i++){ if (a >= i * 2 && b >= i && a - i * 2 >= b - i){ ans += P[i] * finv[b - i] % MOD * finv[a - b - i] % MOD * fact[M] % MOD; } } ans %= MOD; cout << ans << endl; } } }