結果

問題 No.2485 Add to Variables (Another)
ユーザー 沙耶花沙耶花
提出日時 2023-09-22 22:33:44
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 211 ms / 2,000 ms
コード長 2,079 bytes
コンパイル時間 4,336 ms
コンパイル使用メモリ 280,584 KB
実行使用メモリ 40,924 KB
最終ジャッジ日時 2024-07-08 13:18:08
合計ジャッジ時間 9,715 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 75 ms
36,864 KB
testcase_01 AC 75 ms
36,736 KB
testcase_02 AC 79 ms
36,900 KB
testcase_03 AC 77 ms
36,900 KB
testcase_04 AC 78 ms
36,904 KB
testcase_05 AC 77 ms
36,900 KB
testcase_06 AC 74 ms
36,904 KB
testcase_07 AC 71 ms
36,900 KB
testcase_08 AC 76 ms
36,772 KB
testcase_09 AC 79 ms
36,776 KB
testcase_10 AC 77 ms
36,900 KB
testcase_11 AC 78 ms
36,736 KB
testcase_12 AC 84 ms
37,156 KB
testcase_13 AC 82 ms
36,864 KB
testcase_14 AC 80 ms
36,900 KB
testcase_15 AC 78 ms
36,900 KB
testcase_16 AC 79 ms
36,796 KB
testcase_17 AC 77 ms
36,864 KB
testcase_18 AC 80 ms
37,032 KB
testcase_19 AC 76 ms
36,776 KB
testcase_20 AC 76 ms
36,900 KB
testcase_21 AC 73 ms
36,900 KB
testcase_22 AC 72 ms
36,772 KB
testcase_23 AC 73 ms
37,028 KB
testcase_24 AC 73 ms
36,900 KB
testcase_25 AC 196 ms
40,524 KB
testcase_26 AC 147 ms
39,380 KB
testcase_27 AC 92 ms
37,416 KB
testcase_28 AC 102 ms
37,872 KB
testcase_29 AC 114 ms
38,692 KB
testcase_30 AC 203 ms
40,512 KB
testcase_31 AC 199 ms
40,904 KB
testcase_32 AC 211 ms
40,732 KB
testcase_33 AC 200 ms
40,924 KB
testcase_34 AC 197 ms
40,596 KB
testcase_35 AC 77 ms
37,032 KB
testcase_36 AC 86 ms
37,156 KB
testcase_37 AC 75 ms
37,028 KB
testcase_38 AC 77 ms
36,864 KB
testcase_39 AC 75 ms
37,028 KB
testcase_40 AC 72 ms
37,028 KB
testcase_41 AC 72 ms
36,992 KB
testcase_42 AC 75 ms
36,772 KB
testcase_43 AC 73 ms
36,864 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 4000000000000000001
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(4100000);

int main(){
	
	long long n,m;
	cin>>n>>m;
	int M = m;
	vector<long long> b(n);
	rep(i,n)cin>>b[i];
	vector<long long> a(n);
	vector<long long> pre(n),suf(n);
	long long c = 0;
	rep(i,n-1){
		if(b[i+1]-b[i]>0){
			c += b[i+1]-b[i];
			suf[i+1] += b[i+1]-b[i];
			for(int j=i+1;j<n;j++){
				a[j] += b[i+1]-b[i];
			}
		}
		if(b[i+1]-b[i]<0){
			c += b[i]-b[i+1];
			pre[i] += b[i]-b[i+1];
			rep(j,i+1){
				a[j] += b[i]-b[i+1];
			}
		}
	}
	if(a[0]>b[0]||c>m){
		cout<<0<<endl;
		return 0;
	}
	m -= c;
	long long need = b[0]-a[0];
	
		
	queue<vector<mint>> Q;
	Q.push({1});
	rep(i,n-1){
		vector<mint> t(need+2);
		rep(j,t.size()){
			t[j] = C.kaijou_[pre[i]+j] * C.kaijou_[suf[i+1]+j];
		}
		Q.push(t);
	}
	
	while(Q.size()>1){
		auto x = Q.front();
		Q.pop();
		auto y=  Q.front();
		Q.pop();
		Q.push(convolution(x,y));
	}
	auto t =  Q.front();
	mint ans = 0;
	//cout<<need<<' '<<m<<endl;
	rep(i,t.size()){
		if(need<i)break;
		int nn = need - i;
		mint v  = t[i];
		//cout<<i<<' '<<v.val()<<endl;
		int mm = m - i*2;
		if(mm<nn)continue;
		v *= C.kaijou_[nn] * C.kaijou_[mm-nn];
		//cout<<i<<' '<<v.val()<<endl;
		//cout<<mm<<' '<<nn<<endl;
		ans += v;
	}
	ans *= C.kaijou[M];
	cout<<ans.val()<<endl;
	return 0;
}
0