結果
問題 | No.1696 Nonnil |
ユーザー | 👑 platinum |
提出日時 | 2020-11-20 11:37:45 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 2,125 bytes |
コンパイル時間 | 2,260 ms |
コンパイル使用メモリ | 84,988 KB |
実行使用メモリ | 134,272 KB |
最終ジャッジ日時 | 2023-09-26 15:34:44 |
合計ジャッジ時間 | 11,809 ms |
ジャッジサーバーID (参考情報) |
judge12 / judge11 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 3 ms
7,444 KB |
testcase_01 | AC | 2 ms
7,408 KB |
testcase_02 | AC | 3 ms
7,472 KB |
testcase_03 | AC | 116 ms
106,552 KB |
testcase_04 | AC | 2 ms
7,672 KB |
testcase_05 | AC | 2 ms
7,452 KB |
testcase_06 | AC | 2 ms
7,416 KB |
testcase_07 | AC | 2 ms
7,420 KB |
testcase_08 | AC | 82 ms
100,892 KB |
testcase_09 | AC | 41 ms
18,156 KB |
testcase_10 | WA | - |
testcase_11 | AC | 45 ms
15,748 KB |
testcase_12 | AC | 56 ms
22,040 KB |
testcase_13 | WA | - |
testcase_14 | AC | 363 ms
119,164 KB |
testcase_15 | AC | 117 ms
27,248 KB |
testcase_16 | AC | 434 ms
133,764 KB |
testcase_17 | AC | 282 ms
109,152 KB |
testcase_18 | AC | 221 ms
61,588 KB |
testcase_19 | AC | 3 ms
7,428 KB |
testcase_20 | AC | 3 ms
7,468 KB |
testcase_21 | WA | - |
testcase_22 | AC | 269 ms
84,960 KB |
testcase_23 | AC | 249 ms
77,304 KB |
testcase_24 | AC | 241 ms
73,108 KB |
testcase_25 | AC | 367 ms
106,104 KB |
testcase_26 | AC | 302 ms
108,880 KB |
testcase_27 | AC | 373 ms
130,844 KB |
testcase_28 | AC | 322 ms
79,640 KB |
testcase_29 | WA | - |
testcase_30 | WA | - |
testcase_31 | AC | 280 ms
115,468 KB |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | WA | - |
testcase_35 | AC | 278 ms
102,824 KB |
testcase_36 | AC | 547 ms
134,048 KB |
testcase_37 | AC | 515 ms
134,060 KB |
testcase_38 | WA | - |
testcase_39 | AC | 375 ms
116,860 KB |
testcase_40 | AC | 470 ms
120,684 KB |
testcase_41 | AC | 204 ms
35,512 KB |
testcase_42 | WA | - |
ソースコード
#include <iostream> #include <vector> #include <cassert> #include <algorithm> #define rep(i,n) for(int i=0; i<(int)(n); i++) using namespace std; using LL = long long; using P = pair<int,int>; const int Max_N = 1e9; const int Max_K = 1500; const int Max_M = 2e5; const LL mod = 998244353; LL modpow(LL x, LL n){ LL r = 1; while(n){ if(n & 1) r = r * x % mod; x = x * x % mod; n >>= 1; } return r; } LL dp[2000][2000][2]; LL sum1[2000][2000][2], sum2[4000][2000][2]; int main(){ int N, K, M; cin >> N >> K >> M; assert(1 <= N and N <= Max_N); assert(1 <= K and K <= Max_K); assert(1 <= M and M <= min(Max_M, K * (K+1) / 2)); vector<P> S(M); vector<int> L(1), R(1); vector<bool> erase(M); rep(i,M){ int l, r; cin >> l >> r; assert(1 <= l and l <= r and r <= K); S[i] = P(l, r); } sort(S.begin(), S.end()); rep(i,M-1) assert(S[i] != S[i+1]); rep(i,M-1) if(S[i+1].second <= S[i].second) erase[i] = true; rep(i,M-1){ if(erase[i]) continue; for(int j=i+1; j<M; j++){ if(S[j].second <= S[i].second){ erase[i] = true; break; } } } rep(i,M) if(!erase[i]){ L.push_back(S[i].first); R.push_back(S[i].second); } M = L.size(); sum1[0][0][0] = 1, sum2[Max_K][0][0] = 1; rep(i,M-1){ int l = L[i+1], r = R[i+1], d = r - l + 1; int pre_r = R[i]; int s = *(lower_bound(R.begin(), R.end(), l) - 1); rep(j,K+1){ rep(p,2){ if(j >= d) dp[j][r][p] += sum1[j-d][s][p^1]; dp[j][r][p] += sum2[j-r+Max_K][pre_r][p^1] - sum2[j-r+Max_K][s][p^1]; dp[j][r][p] %= mod; sum1[j][r][p] = (sum1[j][pre_r][p] + dp[j][r][p]) % mod; sum2[j-r+Max_K][r][p] += (sum2[j-r+Max_K][pre_r][p] + dp[j][r][p]) % mod; } } } vector<LL> power(K+1); rep(i,K+1) power[i] = modpow(i, N); LL res = 0, ans = 0; rep(j,K+1){ rep(k,K+1){ rep(p,2) (dp[j][k][p] *= power[K-j]) %= mod; } } rep(j,K+1){ rep(k,K+1) (res += dp[j][k][1] - dp[j][k][0]) %= mod; } ans = modpow(K, N) - res; while(ans < 0) ans += mod; cout << ans << endl; return 0; }