結果

問題 No.2388 At Least K-Characters
ユーザー Astral__Astral__
提出日時 2023-07-21 22:43:13
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 8,038 bytes
コンパイル時間 3,049 ms
コンパイル使用メモリ 220,212 KB
実行使用メモリ 281,052 KB
最終ジャッジ日時 2024-07-05 03:53:13
合計ジャッジ時間 19,536 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 WA -
testcase_03 AC 2 ms
5,376 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 2 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 2 ms
5,376 KB
testcase_11 WA -
testcase_12 AC 2 ms
5,376 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#define PPque priority_queue<tuple<ll, ll, ll>, vector<tuple<ll, ll, ll>>, greater<tuple<ll, ll, ll>>>
#define Pque  priority_queue<pair<ll, ll>, vector<pair<ll, ll>>, greater<pair<ll, ll>>>
#define pque priority_queue<int, vector<int>, greater<int>>
#define umap unordered_map
#define uset unordered_set
#define rep(i, s, f) for(ll i = s; i <= f; i++)
#define per(i, s, f) for(ll i = s; i >= f; i--)
#define all0(x) (x).begin() ,(x).end()
#define all(x) (x).begin() + 1, (x).end()
#define vvvi vector<vector<vector<int>>>
#define vvvl vector<vector<vector<ll>>>
#define vvi vector<vector<int>>
#define vvl vector<vector<ll>>
#define vvs vector<vector<string>>
#define vvc vector<vector<char>>
#define vvp vector<vector<pair<ll, ll>>>
#define vv(a) vector<vector<a>>
#define vp vector<pair<ll, ll>>
#define vi vector<int>
#define vl vector<ll>
#define vs vector<string>
#define vc vector<char>
#define vb vector<bool>
#define P pair<ll, ll>
#define TU tuple<ll, ll, ll>
#define ENDL '\n'
#define ull unsigned long long
#define debug(a, s) rep(i, s, a.size()-1) {cout << a.at(i) << " ";}cout << endl;
#define Debug(a, s) rep(i, s, a.size()-1) {rep(j, s, a.at(i).size()-1) {cout << a.at(i).at(j) << " ";}cout << endl;}
typedef long long ll;
using namespace std;

////////////////////////////////////////////////////////////////////////////////////////////////////////////
//これが本当の組み込み関数ってね（笑）

template <typename T>
T or_less(vector<T> &A, T x) { //x以下で最大要素の添字 前提: sort済み 存在しない: -1
  return distance(A.begin(), upper_bound(A.begin(), A.end(), x)-1);
}
template <typename T>
T under(vector<T> &A, T x) { //x未満の最大要素の添字　前提: sort済み 存在しない: -1
  return distance(A.begin(), lower_bound(A.begin(), A.end(), x)-1);
}
template <typename T>
T or_more(vector<T> &A, T x) { //x以上で最小要素の添字　　前提: sort済み 存在しない: N .   //distanceのA.beginは添字を出すために常にA.begin() NG: A.begin() + 1
  return distance(A.begin(), lower_bound(A.begin(), A.end(), x));
}
template <typename T>
T over(vector<T> &A, T x) { //xより大きい最小要素の添字前提: sort済み 存在しない: N
  return distance(A.begin(), upper_bound(A.begin(), A.end(), x));
}
void compress(vector<ll> &A) {//小さい順に順位、大きい順にしたいならreverseはNG最後に変換
    vector<ll> temp = A;
    sort(temp.begin()+1, temp.end());
    for (int i = 1; i <= int(A.size()-1); i++) {
        A.at(i) = distance(temp.begin(), lower_bound(temp.begin()+1, temp.end(), A.at(i)));
    }
}
ll LIS1(vl &A) {//at(0)は番兵、広義単調増加
  ll N = A.size()-1;
  vl L(N+1, 1001001001001001001LL);
  L.at(0) = -1 * 1001001001001001001LL;
  ll ans = 0;
  rep(i, 1, N) {
    ll idx = over<ll>(L, A.at(i));
    L.at(idx) = A.at(i);
    ans = max(ans, idx);
  }
  return ans;
}
ll LIS2(vl &A) {//狭義単調増加
  ll N = A.size() - 1;
  vl L(N+1, 1001001001001001001LL);
  L.at(0) = -1 * 1001001001001001001LL;
  ll ans = 0;
  rep(i, 1, N) {
    ll idx = or_more<ll>(L, A.at(i));
    L.at(idx) = A.at(i);
    ans = max(ans, idx);
  }
  return ans;
}
//////////////////////////////////////////////////////////////////////
//数学系
///////////////////////////////////////////////////////////////////////
ll POWER(ll a, ll b, ll mod) {
    a %= mod;
    vector<ll> pow (61);
    pow.at(0) = a;
    bitset<60> bina(b);
    ll answer = 1;
    for (int i = 1; i <= 60; i++) {
      pow.at(i) = pow.at(i-1) * pow.at(i-1) % mod;
        if (bina.test(i-1)) {
            answer = (answer*pow.at(i-1)) % mod;
        }
    }
    return answer;
}
ll Div(ll a, ll b, ll mod) {
    return a * POWER(b, mod-2, mod) % mod;
}

ll round(ll x, ll i) {
    return ll(x + 5 * pow(10, i-1))/ll(pow(10, i)) * ll(pow(10, i));
}
template <typename T> //約分
void normalize(T &mol, T &deno) {
    T mol_temp = abs(mol);
    T deno_temp = abs(deno);
    T GCD = gcd(mol_temp, deno_temp);
    mol /= GCD;
    deno /= GCD;
}
vvl mat_mul(vvl &a, vvl &b, ll mod) {//0-indexed && 正方行列
  ll n = a.size();
  vvl res(n , vl(n, 0));
 
  rep(i, 0, n-1) {
    rep(j, 0, n-1) {
      rep(k, 0, n-1) {
        res.at(i).at(j) += a.at(i).at(k) * b.at(k).at(j);
        res.at(i).at(j) %= mod;
      }
    }
  }
  return res;
}
vvl mat_pow(vvl &a, ll b, ll mod) {//0-indexed && 正方行列
  bitset<60> bina(b);
  vvl power = a;
  int N = a.size();
  vvl res(N, vl(N, 0));
  rep(i, 0, N-1) {
    res.at(i).at(i) = 1;
  }
  rep(i, 1, 60) {
    if (bina.test(i-1)) {
      res = mat_mul(res, power, mod);
    }
    power = mat_mul(power, power, mod);
  }
  return res;
}

vvl comb(ll n, ll mod) {//計算にO(N^2)　読み取りにO(1)
  vvl v(n+1, vl(n+1, 0));
  rep(i, 0, v.size() - 1) {
    v.at(i).at(0) = 1;
    v.at(i).at(i) = 1;
  }

  rep(i, 1, v.size()-1) {
    rep(j, 1, i) {
      v.at(i).at(j) = v.at(i-1).at(j-1) + v.at(i-1).at(j);
      v.at(i).at(j) %= mod;
    }
  }
  return v;
}

ll nCk(int n, int k, ll mod) {//毎回O(max(分子、　分母))
  ll ue = 1;
  ll sita = 1;
  for (int i = 1; i <= k; i++) {
      sita *= i;
      sita %= mod;
  }
  for (int i = 1; i <= k; i++) {
    ue *= (n-i+1);
    ue %= mod;
  }

  return Div(ue, sita, mod);
}
ll cross(P a, P b) {
  return a.first * b.second - a.second * b.first;
}
//////////////////////////////////////////////////////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
//グローバル変数を置くところ（情報工学意識高め）
ll int_max = 1001001001;
ll ll_max = 1001001001001001001;
const double pi = 3.141592653589793;
vl dx{0, 1, 0, -1, 0, 1, 1, -1, -1};
vl dy{0, 0, -1, 0, 1, 1, -1, -1, 1};
//cout << fixed << setprecision(10);
//#pragma GCC optimize ("-O3")
//ll mod = 1000000007;
ll mod = 998244353;
  ll N, M, K;
  string S;

//////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

ll solve1() {
  vvvl dp(M+1, vvl(2, vl(28, 0)));
  dp.at(0).at(1).at(0) = 1;

  vl used(27, false);
  ll kind = 0;
  ll cnt = 0;

  rep(i, 1, N) {
    cnt = 0;
    ll kind_small = 0;

    ll now = S.at(i-1) - 'a' + 1;
    rep(j, 1, now-1) {
      if(used.at(j) == false) cnt++;//使ったことないやつ
      else kind_small++;
    }
    
    dp.at(i).at(0).at(kind) += kind_small * dp.at(i-1).at(1).at(kind);//使ったことある本家より小さいやつを末尾につける
    dp.at(i).at(0).at(kind) %= mod;
    dp.at(i).at(0).at(kind+1) += cnt * dp.at(i-1).at(1).at(kind);//使ったことない本家より小さいやつを末尾につける
    dp.at(i).at(0).at(kind + 1) %= mod;

    if(used.at(now)) dp.at(i).at(1).at(kind) = 1;
    else { dp.at(i).at(1).at(kind+1) = 1; kind++;}
    used.at(now) = true;


    rep(j, 0, 26) {
      dp.at(i).at(0).at(j) += dp.at(i-1).at(0).at(j) * j;//末尾に使用済みをつける　
      dp.at(i).at(0).at(j) %= mod;
      if(j == 0) continue;
      dp.at(i).at(0).at(j) += dp.at(i-1).at(0).at(j-1) * (26 - (j-1)); //末尾に使ったことないやつをつける
      dp.at(i).at(0).at(j) %= mod;
    }
  }
  


  rep(i, N+1, M) {
    rep(j, 0, 26) {
      dp.at(i).at(0).at(j) += dp.at(i-1).at(0).at(j) * j;//末尾に使用済みをつける　
      dp.at(i).at(0).at(j) %= mod;
      if(j == 0) continue;
      dp.at(i).at(0).at(j) += dp.at(i-1).at(0).at(j-1) * (26 - (j-1)); //末尾に使ったことないやつをつける
      dp.at(i).at(0).at(j) %= mod;
    }
  }
   

  ll ans = 0;
   rep(i, 0, M) {
    rep(j, K, 26) {
      ans += dp.at(i).at(0).at(j);
      ans %= mod;
    }
   }

   return ans;

}


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

  cin >> N >> M >> K;

  cin >> S;
  cout << solve1() << endl;




}
//if(S.at(i) == 1　← 笑）
// modは取りましたか...?(´・ω・｀)
0