結果

問題 No.1887 K Consecutive Ks (Easy)
ユーザー mkawa2mkawa2
提出日時 2022-03-25 23:23:37
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 1,251 ms / 2,000 ms
コード長 2,605 bytes
コンパイル時間 3,193 ms
コンパイル使用メモリ 204,948 KB
実行使用メモリ 73,452 KB
最終ジャッジ日時 2023-08-04 10:40:39
合計ジャッジ時間 11,996 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 1,251 ms
73,452 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 1 ms
4,376 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 2 ms
4,380 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,380 KB
testcase_09 AC 2 ms
4,380 KB
testcase_10 AC 2 ms
4,376 KB
testcase_11 AC 147 ms
16,224 KB
testcase_12 AC 35 ms
7,752 KB
testcase_13 AC 1,129 ms
70,272 KB
testcase_14 AC 1,251 ms
72,988 KB
testcase_15 AC 1,229 ms
72,896 KB
testcase_16 AC 893 ms
51,052 KB
testcase_17 AC 797 ms
51,312 KB
testcase_18 AC 1,228 ms
73,340 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// #include <atcoder/all>
// using namespace atcoder;
#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (n); i++)
#define all(x) (x).begin(), (x).end()
#define popcnt(x) __builtin_popcount(x)
using ll = long long;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
using vi = vector<int>;
using vll = vector<ll>;
using vvi = vector<vector<int>>;
using vvll = vector<vector<ll>>;
const int inf = 1e9;
const ll lim = 1e18;
int dx[] = {1, 1, 0, -1, -1, -1, 0, 1};
int dy[] = {0, 1, 1, 1, 0, -1, -1, -1};

// const int mod = 1000000007;
const int mod = 998244353;
struct mint {
  ll x;  // typedef long long ll;
  mint(ll x = 0) : x((x % mod + mod) % mod) {}
  mint operator-() const { return mint(-x); }
  mint& operator+=(const mint a) {
    if ((x += a.x) >= mod) x -= mod;
    return *this;
  }
  mint& operator-=(const mint a) {
    if ((x += mod - a.x) >= mod) x -= mod;
    return *this;
  }
  mint& operator*=(const mint a) {
    (x *= a.x) %= mod;
    return *this;
  }
  mint operator+(const mint a) const { return mint(*this) += a; }
  mint operator-(const mint a) const { return mint(*this) -= a; }
  mint operator*(const mint a) const { return mint(*this) *= a; }
  mint pow(ll t) const {
    if (!t) return 1;
    mint a = pow(t >> 1);
    a *= a;
    if (t & 1) a *= *this;
    return a;
  }

  // for prime mod
  mint inv() const { return pow(mod - 2); }
  mint& operator/=(const mint a) { return *this *= a.inv(); }
  mint operator/(const mint a) const { return mint(*this) /= a; }
};
istream& operator>>(istream& is, mint& a) { return is >> a.x; }
ostream& operator<<(ostream& os, const mint& a) { return os << a.x; }

template <typename T>
struct BinaryIndexedTree {
  vector<T> data;

  BinaryIndexedTree(int sz) { data.assign(++sz, 0); }

  T sum(int i) {
    T ret = 0;
    for (++i; i > 0; i -= i & -i) ret += data[i];
    return (ret);
  }

  void add(int i, T x) {
    for (++i; i < data.size(); i += i & -i) data[i] += x;
  }
};

mint modpow(mint b, int e) {
  mint res = 1;
  while (e) {
    if (e & 1) res *= b;
    b = b * b;
    e >>= 1;
  }
  return res;
}

int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);

  int n, m;
  cin>>n>>m;
  vector bits(m + 1, BinaryIndexedTree<mint>(n + 1));
  BinaryIndexedTree<mint> dp(n + 1);

  dp.add(0, 1);
  rep(i, n) for (int a = 1; a <= m; a++) {
    mint val =
        dp.sum(i) - dp.sum(i + 1 - a) - bits[a].sum(i) + bits[a].sum(i + 1 - a);
    bits[a].add(i + 1, val);
    dp.add(i + 1, val);
  }

  mint ans = modpow(mint(m), n) - dp.sum(n) + dp.sum(n - 1);
  cout<<ans<<endl;

  return 0;
}
0