結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
11,988 KB
testcase_01 AC 3 ms
7,492 KB
testcase_02 AC 2 ms
7,696 KB
testcase_03 AC 110 ms
106,692 KB
testcase_04 AC 3 ms
7,524 KB
testcase_05 AC 2 ms
7,536 KB
testcase_06 AC 2 ms
7,488 KB
testcase_07 AC 2 ms
7,500 KB
testcase_08 AC 78 ms
115,184 KB
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 TLE -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
権限があれば一括ダウンロードができます

ソースコード

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){
    for(int j=i+1; j<M; j++){
      if(S[j].second < S[i].second) erase[i] = true;
    }
  }
  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