結果

問題 No.2245 Second Smallest
ユーザー kotatsugamekotatsugame
提出日時 2023-03-10 23:24:04
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 1,655 bytes
コンパイル時間 2,302 ms
コンパイル使用メモリ 113,412 KB
実行使用メモリ 8,696 KB
最終ジャッジ日時 2023-10-18 09:11:23
合計ジャッジ時間 6,286 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge11
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,348 KB
testcase_02 AC 27 ms
4,860 KB
testcase_03 AC 2 ms
4,348 KB
testcase_04 AC 2 ms
4,348 KB
testcase_05 TLE -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
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 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<atcoder/modint>
#include<atcoder/convolution>
using namespace std;
#include<vector>
template<typename T>
struct combination{
	vector<T>fac,ifac;
	combination(size_t N=0):fac(1,1),ifac(1,1)
	{
		make_table(N);
	}
	void make_table(size_t N)
	{
		if(fac.size()>N)return;
		size_t now=fac.size();
		N=max(N,now*2);
		fac.resize(N+1);
		ifac.resize(N+1);
		for(size_t i=now;i<=N;i++)fac[i]=fac[i-1]*i;
		ifac[N]=1/fac[N];
		for(size_t i=N;i-->now;)ifac[i]=ifac[i+1]*(i+1);
	}
	T factorial(size_t n)
	{
		make_table(n);
		return fac[n];
	}
	T invfac(size_t n)
	{
		make_table(n);
		return ifac[n];
	}
	T P(size_t n,size_t k)
	{
		if(n<k)return 0;
		make_table(n);
		return fac[n]*ifac[n-k];
	}
	T C(size_t n,size_t k)
	{
		if(n<k)return 0;
		make_table(n);
		return fac[n]*ifac[n-k]*ifac[k];
	}
	T H(size_t n,size_t k)
	{
		if(n==0)return k==0?1:0;
		return C(n-1+k,k);
	}
};
using mint=atcoder::modint998244353;
combination<mint>C;
int N,M,K;
int main()
{
	cin>>N>>M>>K;
	int T=min(N,M);
	vector<mint>dp(T+1);
	for(int c=0;c<=T;c++)
	{
		const mint coef=C.C(N,c)*C.C(M,c);
		//x^c * (1-x)^(T-c)
		for(int i=0;i<=T-c;i++)
		{
			if(i%2==0)dp[i+c]-=C.C(T-c,i)*coef;
			else dp[i+c]+=C.C(T-c,i)*coef;
		}
	}
	vector<mint>E(1,mint::raw(1)),A(2);
	A[0]=mint::raw(1);A[1]=-1;
	{
		int K=N*M-T;
		while(K)
		{
			if(K&1)
			{
				E=atcoder::convolution(E,A);
			}
			K>>=1;
			if(K)
			{
				A=atcoder::convolution(A,A);
			}
		}
	}
	dp=atcoder::convolution(dp,E);
	for(int i=0;i+1<dp.size();i++)dp[i]=dp[i+1]*mint::raw(i+1);
	dp.pop_back();
	mint ans=0;
	for(int i=0;i<dp.size();i++)
	{
		ans+=dp[i]/(i+K+1);
	}
	cout<<ans.val()<<endl;
}
0