結果
| 問題 | 
                            No.2388 At Least K-Characters
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2024-04-14 17:40:29 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 3,043 ms / 4,000 ms | 
| コード長 | 2,602 bytes | 
| コンパイル時間 | 334 ms | 
| コンパイル使用メモリ | 82,432 KB | 
| 実行使用メモリ | 360,820 KB | 
| 最終ジャッジ日時 | 2024-10-03 18:34:47 | 
| 合計ジャッジ時間 | 36,622 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 34 | 
ソースコード
# https://yukicoder.me/problems/no/2388
MOD = 998244353
def main():
    N, M, K = map(int, input().split())
    S = input()
    dp = [[[0] * (K + 1) for _ in range(M + 1)] for _ in range(2)]
    dp[0][0][0] = 1
    used = [False] * 26
    for i in range(N):
        s = ord(S[i]) - ord("a")
        for k in range(min(i, K) + 1):
            # state == 1
            dp[1][i + 1][k] += (k * dp[1][i][k]) % MOD
            dp[1][i + 1][k] %= MOD
            if k < K:
                dp[1][i + 1][k + 1] += ((26 - k) * dp[1][i][k]) % MOD
                dp[1][i + 1][k + 1] %= MOD
            else:
                dp[1][i + 1][k] += ((26 - k) * dp[1][i][k]) % MOD
                dp[1][i + 1][k] %= MOD
        
            # state = 0の場合
            # s > tを引き当てて 1に昇格する場合c
            cnt = 0
            for j in range(s):
                if used[j]:
                    cnt += 1
            ## 種類数が変わらないケース
            dp[1][i + 1][k] += (cnt * dp[0][i][k]) % MOD
            dp[1][i + 1][k] %= MOD
            ## 種類数が変わるケース
            if s - cnt > 0:
                if k < K:
                    dp[1][i + 1][k + 1] += ((s - cnt) * dp[0][i][k]) % MOD
                    dp[1][i + 1][k + 1] %= MOD
                else:
                    dp[1][i + 1][k] += ((s - cnt) * dp[0][i][k]) % MOD
                    dp[1][i + 1][k] %= MOD
            
            ## s = tでいまだに0のまま
            if used[s]:
                dp[0][i + 1][k] += dp[0][i][k]
                dp[0][i + 1][k] %= MOD
            else:
                if k < K:
                    dp[0][i + 1][k + 1] += dp[0][i][k]
                    dp[0][i + 1][k + 1] %= MOD
                else:
                    dp[0][i + 1][k] += dp[0][i][k]
                    dp[0][i + 1][k] %= MOD
        used[s] = True
    answer = 0
    for i in range(1, N):
        answer += dp[0][i][K]
        answer %= MOD
        answer += dp[1][i][K]
        answer %= MOD
    for i in range(N, M):
        for k in range(K + 1):
            # state == 1
            dp[1][i + 1][k] += (k * dp[1][i][k]) % MOD
            dp[1][i + 1][k] %= MOD
            if k < K:
                dp[1][i + 1][k + 1] += ((26 - k) * dp[1][i][k]) % MOD
                dp[1][i + 1][k + 1] %= MOD
            else:
                dp[1][i + 1][k] += ((26 - k) * dp[1][i][k]) % MOD
                dp[1][i + 1][k] %= MOD
    for i in range(N, M + 1):
        answer += dp[1][i][K]
        answer %= MOD
    print(answer)
if __name__ == "__main__":
    main()