結果

問題 No.1696 Nonnil
ユーザー eSeFeSeF
提出日時 2021-09-15 15:47:31
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 542 ms / 3,500 ms
コード長 1,414 bytes
コンパイル時間 4,701 ms
コンパイル使用メモリ 266,268 KB
実行使用メモリ 249,880 KB
最終ジャッジ日時 2023-09-26 15:53:06
合計ジャッジ時間 18,378 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,500 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 447 ms
249,664 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 2 ms
4,380 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 444 ms
249,612 KB
testcase_09 AC 38 ms
17,932 KB
testcase_10 AC 59 ms
25,764 KB
testcase_11 AC 36 ms
14,192 KB
testcase_12 AC 53 ms
24,620 KB
testcase_13 AC 36 ms
14,596 KB
testcase_14 AC 457 ms
219,176 KB
testcase_15 AC 96 ms
32,876 KB
testcase_16 AC 523 ms
249,392 KB
testcase_17 AC 402 ms
198,928 KB
testcase_18 AC 234 ms
98,696 KB
testcase_19 AC 1 ms
4,376 KB
testcase_20 AC 1 ms
4,380 KB
testcase_21 AC 332 ms
156,164 KB
testcase_22 AC 320 ms
147,676 KB
testcase_23 AC 295 ms
132,264 KB
testcase_24 AC 276 ms
121,940 KB
testcase_25 AC 425 ms
191,596 KB
testcase_26 AC 413 ms
197,308 KB
testcase_27 AC 496 ms
244,256 KB
testcase_28 AC 327 ms
135,832 KB
testcase_29 AC 355 ms
174,120 KB
testcase_30 AC 251 ms
117,936 KB
testcase_31 AC 415 ms
212,192 KB
testcase_32 AC 458 ms
232,476 KB
testcase_33 AC 365 ms
158,356 KB
testcase_34 AC 333 ms
164,892 KB
testcase_35 AC 383 ms
185,168 KB
testcase_36 AC 539 ms
249,640 KB
testcase_37 AC 542 ms
249,880 KB
testcase_38 AC 537 ms
249,624 KB
testcase_39 AC 529 ms
248,248 KB
testcase_40 AC 527 ms
246,984 KB
testcase_41 AC 153 ms
47,176 KB
testcase_42 AC 388 ms
217,672 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
int main(){
  int N, K;
  cin >> N >> K;
  int M;
  cin >> M;
  vector<int>R(K + 1, -1);
  for(int i = 0; i < M; i++){
    int l, r;
    cin >> l >> r;
    R[r] = max(R[r], l);
  }

  for(int i = 0; i <= K; i++){
    if(R[i] == -1) continue;
    for(int j = i + 1; j <= K; j++){
      if(R[j] <= R[i]){
        R[j] = -1;
      }
    }
  }
  vector<vector<vector<mint>>>dp1(K + 1, vector<vector<mint>>(K + 1, vector<mint>(2, 0))), dp2(K + 1, vector<vector<mint>>(K + 1, vector<mint>(2, 0)));
  dp1[0][0][0] = dp2[0][0][0] = 1;
  for(int i = 1; i <= K; i++){
    for(int j = 0; j <= K; j++){
      vector<mint>v(2, 0);
      if(R[i] != -1 && j > 0){
        int L = R[i];
        for(int k = 0; k < 2; k++){
          v[k] += dp2[i - 1][j - 1][k ^ 1];
          if(j - (i - L + 1) >= 0){
            v[k] -= dp2[L - 1][j - (i - L + 1)][k ^ 1];
            v[k] += dp1[L - 1][j - (i - L + 1)][k ^ 1];
          }
        }
      }

      for(int k = 0; k < 2; k++){
        dp1[i][j][k] = v[k] + dp1[i - 1][j][k];

        dp2[i][j][k] = v[k];
        if(i - 1 >= 0 && j - 1 >= 0) dp2[i][j][k] += dp2[i - 1][j - 1][k];
      }
    }
  }
  mint ans = 0;
  for(int i = 0; i < K; i++){
    ans += (dp1[K][i][0] - dp1[K][i][1]) * mint(K - i).pow(N);
  }
  cout << ans.val() << endl;
  return 0;
}
0