結果

問題 No.1696 Nonnil
ユーザー 👑 platinumplatinum
提出日時 2020-11-20 12:31:52
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,128 bytes
コンパイル時間 901 ms
コンパイル使用メモリ 85,712 KB
実行使用メモリ 134,212 KB
最終ジャッジ日時 2023-09-26 15:34:24
合計ジャッジ時間 11,051 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
7,464 KB
testcase_01 AC 3 ms
7,496 KB
testcase_02 AC 2 ms
7,692 KB
testcase_03 AC 112 ms
97,060 KB
testcase_04 AC 2 ms
7,664 KB
testcase_05 AC 2 ms
7,584 KB
testcase_06 AC 2 ms
7,556 KB
testcase_07 AC 2 ms
7,564 KB
testcase_08 AC 73 ms
59,924 KB
testcase_09 AC 40 ms
18,248 KB
testcase_10 WA -
testcase_11 AC 43 ms
15,780 KB
testcase_12 AC 53 ms
22,124 KB
testcase_13 WA -
testcase_14 AC 345 ms
119,368 KB
testcase_15 AC 111 ms
27,468 KB
testcase_16 AC 408 ms
133,696 KB
testcase_17 AC 264 ms
109,280 KB
testcase_18 AC 205 ms
61,616 KB
testcase_19 AC 2 ms
7,496 KB
testcase_20 AC 3 ms
7,492 KB
testcase_21 WA -
testcase_22 AC 245 ms
85,228 KB
testcase_23 AC 233 ms
77,412 KB
testcase_24 AC 224 ms
73,256 KB
testcase_25 AC 343 ms
106,060 KB
testcase_26 AC 282 ms
108,956 KB
testcase_27 AC 345 ms
131,068 KB
testcase_28 AC 301 ms
79,704 KB
testcase_29 WA -
testcase_30 WA -
testcase_31 AC 256 ms
115,480 KB
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 AC 261 ms
102,836 KB
testcase_36 AC 515 ms
134,128 KB
testcase_37 AC 491 ms
134,068 KB
testcase_38 WA -
testcase_39 AC 367 ms
97,736 KB
testcase_40 AC 454 ms
115,364 KB
testcase_41 AC 197 ms
35,408 KB
testcase_42 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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;
}
0