結果
問題 | No.1696 Nonnil |
ユーザー | ぷら |
提出日時 | 2021-10-02 00:10:17 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 1,464 ms / 3,500 ms |
コード長 | 2,415 bytes |
コンパイル時間 | 2,269 ms |
コンパイル使用メモリ | 206,364 KB |
実行使用メモリ | 29,096 KB |
最終ジャッジ日時 | 2023-09-27 00:01:24 |
合計ジャッジ時間 | 28,662 ms |
ジャッジサーバーID (参考情報) |
judge14 / judge15 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,380 KB |
testcase_01 | AC | 2 ms
4,384 KB |
testcase_02 | AC | 1 ms
4,384 KB |
testcase_03 | AC | 1,310 ms
29,096 KB |
testcase_04 | AC | 1 ms
4,380 KB |
testcase_05 | AC | 2 ms
4,384 KB |
testcase_06 | AC | 2 ms
4,384 KB |
testcase_07 | AC | 2 ms
4,384 KB |
testcase_08 | AC | 1,387 ms
28,832 KB |
testcase_09 | AC | 31 ms
9,328 KB |
testcase_10 | AC | 52 ms
10,060 KB |
testcase_11 | AC | 30 ms
6,636 KB |
testcase_12 | AC | 46 ms
9,932 KB |
testcase_13 | AC | 28 ms
6,808 KB |
testcase_14 | AC | 975 ms
26,748 KB |
testcase_15 | AC | 90 ms
10,696 KB |
testcase_16 | AC | 1,169 ms
28,744 KB |
testcase_17 | AC | 809 ms
25,392 KB |
testcase_18 | AC | 320 ms
17,556 KB |
testcase_19 | AC | 2 ms
4,380 KB |
testcase_20 | AC | 1 ms
4,384 KB |
testcase_21 | AC | 569 ms
22,948 KB |
testcase_22 | AC | 549 ms
22,464 KB |
testcase_23 | AC | 472 ms
21,600 KB |
testcase_24 | AC | 425 ms
20,888 KB |
testcase_25 | AC | 813 ms
24,972 KB |
testcase_26 | AC | 809 ms
25,300 KB |
testcase_27 | AC | 1,095 ms
28,500 KB |
testcase_28 | AC | 517 ms
21,732 KB |
testcase_29 | AC | 675 ms
24,120 KB |
testcase_30 | AC | 392 ms
18,596 KB |
testcase_31 | AC | 884 ms
26,120 KB |
testcase_32 | AC | 1,015 ms
27,540 KB |
testcase_33 | AC | 630 ms
23,080 KB |
testcase_34 | AC | 612 ms
23,392 KB |
testcase_35 | AC | 738 ms
24,556 KB |
testcase_36 | AC | 1,172 ms
28,812 KB |
testcase_37 | AC | 1,169 ms
28,764 KB |
testcase_38 | AC | 1,170 ms
28,820 KB |
testcase_39 | AC | 1,419 ms
28,752 KB |
testcase_40 | AC | 1,464 ms
28,692 KB |
testcase_41 | AC | 161 ms
11,928 KB |
testcase_42 | AC | 1,018 ms
26,492 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; constexpr int mod = 998244353; int dp[2][1501][1501]; long long modpow(long long a,long long b) { long long ans = 1; while(b) { if(b & 1) { (ans *= a) %= mod; } (a *= a) %= mod; b /= 2; } return ans; } long long fac[1505], finv[1505], inv[1505]; void COMinit() { fac[0] = fac[1] = finv[0] = finv[1] = inv[1] = 1; for (int i = 2; i < 1505; i++) { fac[i] = fac[i - 1] * i % mod; inv[i] = mod - inv[mod % i] * (mod / i) % mod; finv[i] = finv[i - 1] * inv[i] % mod; } } long long COM(int n, int k){ if (n < k) return 0; if (n < 0 || k < 0) return 0; return fac[n] * (finv[k] * finv[n - k] % mod) % mod; } int main() { int N,K,M; cin >> N >> K >> M; vector<int>C(K+1,K+1); for(int i = 0; i < M; i++) { int L,R; cin >> L >> R; C[L] = min(C[L],R); } vector<vector<int>>F(K+1,vector<int>(K+1,K+1)); for(int i = 0; i <= K; i++) { int mi = K+1; for(int j = i; j <= K; j++) { mi = min(mi,C[j]); F[i][j] = mi; } } dp[0][0][0] = 1; for(int i = 1; i <= K; i++) { for(int j = 0; j < i; j++) { for(int k = 0; k <= j; k++) { if(F[j+1][i] > i) { dp[1][j][k] += dp[0][j][k]; if(dp[1][j][k] >= mod) dp[1][j][k] -= mod; } dp[1][i][k+1] += dp[0][j][k]; if(dp[1][i][k+1] >= mod) dp[1][i][k+1] -= mod; } } for(int j = 0; j <= i; j++) { for(int k = 0; k <= j; k++) { dp[0][j][k] = dp[1][j][k]; dp[1][j][k] = 0; } } } vector<long long>Pow(K+1); for(int i = 0; i <= K; i++) { Pow[i] = modpow(i,N); } COMinit(); vector<long long>tmp(K+1); for(int i = 0; i <= K; i++) { for(int j = 0; j <= i; j++) { if((i-j)%2 == 0) { tmp[i] += Pow[j]*COM(i,j)%mod; } else { tmp[i] += mod-Pow[j]*COM(i,j)%mod; } } tmp[i] %= mod; } long long ans = 0; for(int i = 0; i <= K; i++) { for(int j = 0; j <= K; j++) { ans += dp[0][i][j]*tmp[j]%mod; } } ans %= mod; cout << ans << endl; }