結果

問題 No.1696 Nonnil
ユーザー eSeFeSeF
提出日時 2021-09-15 15:47:31
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 561 ms / 3,500 ms
コード長 1,414 bytes
コンパイル時間 4,531 ms
コンパイル使用メモリ 268,488 KB
実行使用メモリ 249,984 KB
最終ジャッジ日時 2024-07-19 09:57:51
合計ジャッジ時間 18,636 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 445 ms
249,856 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 454 ms
249,984 KB
testcase_09 AC 42 ms
18,176 KB
testcase_10 AC 64 ms
25,984 KB
testcase_11 AC 40 ms
14,208 KB
testcase_12 AC 56 ms
24,704 KB
testcase_13 AC 38 ms
14,720 KB
testcase_14 AC 474 ms
219,264 KB
testcase_15 AC 101 ms
32,768 KB
testcase_16 AC 544 ms
249,600 KB
testcase_17 AC 413 ms
199,168 KB
testcase_18 AC 242 ms
98,944 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 2 ms
5,376 KB
testcase_21 AC 319 ms
156,544 KB
testcase_22 AC 331 ms
147,968 KB
testcase_23 AC 300 ms
132,352 KB
testcase_24 AC 279 ms
122,112 KB
testcase_25 AC 441 ms
191,616 KB
testcase_26 AC 419 ms
197,504 KB
testcase_27 AC 509 ms
244,224 KB
testcase_28 AC 338 ms
136,064 KB
testcase_29 AC 364 ms
174,336 KB
testcase_30 AC 254 ms
118,016 KB
testcase_31 AC 427 ms
212,480 KB
testcase_32 AC 471 ms
232,704 KB
testcase_33 AC 378 ms
158,464 KB
testcase_34 AC 343 ms
165,248 KB
testcase_35 AC 396 ms
185,344 KB
testcase_36 AC 561 ms
249,856 KB
testcase_37 AC 557 ms
249,856 KB
testcase_38 AC 560 ms
249,984 KB
testcase_39 AC 552 ms
248,576 KB
testcase_40 AC 553 ms
247,168 KB
testcase_41 AC 161 ms
47,232 KB
testcase_42 AC 394 ms
217,856 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