結果

問題 No.2951 Similar to Mex
ユーザー 沙耶花沙耶花
提出日時 2024-10-25 22:07:46
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 107 ms / 2,000 ms
コード長 1,618 bytes
コンパイル時間 4,596 ms
コンパイル使用メモリ 271,204 KB
実行使用メモリ 12,544 KB
最終ジャッジ日時 2024-10-25 22:07:54
合計ジャッジ時間 8,266 ms
ジャッジサーバーID
(参考情報)
judge3 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 22 ms
11,648 KB
testcase_01 AC 22 ms
11,648 KB
testcase_02 AC 22 ms
11,648 KB
testcase_03 AC 22 ms
11,648 KB
testcase_04 AC 21 ms
11,648 KB
testcase_05 AC 23 ms
11,776 KB
testcase_06 AC 22 ms
11,648 KB
testcase_07 AC 21 ms
11,648 KB
testcase_08 AC 22 ms
11,648 KB
testcase_09 AC 21 ms
11,648 KB
testcase_10 AC 22 ms
11,776 KB
testcase_11 AC 42 ms
11,900 KB
testcase_12 AC 22 ms
11,640 KB
testcase_13 AC 23 ms
11,640 KB
testcase_14 AC 55 ms
12,032 KB
testcase_15 AC 67 ms
12,160 KB
testcase_16 AC 45 ms
12,160 KB
testcase_17 AC 44 ms
11,904 KB
testcase_18 AC 55 ms
12,032 KB
testcase_19 AC 42 ms
11,904 KB
testcase_20 AC 57 ms
12,024 KB
testcase_21 AC 66 ms
12,160 KB
testcase_22 AC 57 ms
12,160 KB
testcase_23 AC 96 ms
12,416 KB
testcase_24 AC 80 ms
12,288 KB
testcase_25 AC 90 ms
12,288 KB
testcase_26 AC 79 ms
12,288 KB
testcase_27 AC 107 ms
12,416 KB
testcase_28 AC 99 ms
12,416 KB
testcase_29 AC 104 ms
12,544 KB
testcase_30 AC 104 ms
12,416 KB
testcase_31 AC 99 ms
12,416 KB
testcase_32 AC 99 ms
12,416 KB
testcase_33 AC 101 ms
12,416 KB
testcase_34 AC 104 ms
12,416 KB
testcase_35 AC 101 ms
12,416 KB
testcase_36 AC 21 ms
11,648 KB
testcase_37 AC 21 ms
11,648 KB
testcase_38 AC 22 ms
11,648 KB
testcase_39 AC 22 ms
11,776 KB
testcase_40 AC 73 ms
12,416 KB
testcase_41 AC 21 ms
11,648 KB
testcase_42 AC 72 ms
12,416 KB
testcase_43 AC 22 ms
11,648 KB
testcase_44 AC 103 ms
12,544 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 1000000000000000000LL

struct combi{
	deque<mint> kaijou;
	deque<mint> kaijou_;
	
	combi(int n){
		kaijou.push_back(1);
		for(int i=1;i<=n;i++){
			kaijou.push_back(kaijou[i-1]*i);
		}
		
		mint b=kaijou[n].inv();
		
		kaijou_.push_front(b);
		for(int i=1;i<=n;i++){
			int k=n+1-i;
			kaijou_.push_front(kaijou_[0]*k);
		}
	}
	
	mint combination(int n,int r){
		if(r>n)return 0;
		mint a = kaijou[n]*kaijou_[r];
		a *= kaijou_[n-r];
		return a;
	}
	
	mint junretsu(int a,int b){
		mint x = kaijou_[a]*kaijou_[b];
		x *= kaijou[a+b];
		return x;
	}
	
	mint catalan(int n){
		return combination(2*n,n)/(n+1);
	}
	
};
combi C(1000000);
int main(){
	int N,M,K;
	cin>>N>>M>>K;
	
	vector pows(M+2,vector<mint>(M+2,0));
	
	rep(i,M+2){
		pows[i][0] = 1;
		rep(j,M+1){
			pows[i][j+1] = pows[i][j]*i;
		}
	}
	vector dp(M+2,vector<mint>(M+2,0));
	dp[0][0] = 1;
	rep(i,M+2){
		rep(j,M+2){
			for(int k=j+1;k<=M+1;k++){
				int tm = min(K,k);
				tm = tm - j;
				tm = max(tm,0);
				if(i!=M+1){
					dp[i+1][k] += dp[i][j] * pows[k][tm];
				}
			}
		}
	}
	
	vector<mint> ddp(M+1,0);
	for(int i=1;i<=M;i++){
		ddp[i] = mint(i).pow(N);
		for(int j=1;j<i;j++){
			ddp[i] -= C.combination(i,j)*ddp[j];
		}
	}
	mint ans = 0;
	rep(i,M+2){
		rep(j,M+2){
			if(j!=M+1)continue;
			mint X = ddp[M+1-i] * dp[i][j];
			for(int k=M+2;k<=K;k++)X *= k;
			ans += X;
		}
	}
	cout<<ans.val()<<endl;
	
	return 0;
}
0