結果

問題 No.2499 Sum of Products of Sums
ユーザー 沙耶花沙耶花
提出日時 2023-10-06 22:58:15
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 700 ms / 2,000 ms
コード長 1,668 bytes
コンパイル時間 4,964 ms
コンパイル使用メモリ 277,872 KB
実行使用メモリ 8,140 KB
最終ジャッジ日時 2023-10-06 22:58:25
合計ジャッジ時間 9,541 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
4,380 KB
testcase_01 AC 4 ms
4,376 KB
testcase_02 AC 10 ms
4,376 KB
testcase_03 AC 4 ms
4,380 KB
testcase_04 AC 4 ms
4,380 KB
testcase_05 AC 3 ms
4,380 KB
testcase_06 AC 4 ms
4,376 KB
testcase_07 AC 7 ms
4,376 KB
testcase_08 AC 7 ms
4,376 KB
testcase_09 AC 7 ms
4,380 KB
testcase_10 AC 6 ms
4,380 KB
testcase_11 AC 10 ms
4,376 KB
testcase_12 AC 7 ms
4,380 KB
testcase_13 AC 381 ms
6,544 KB
testcase_14 AC 329 ms
6,004 KB
testcase_15 AC 257 ms
5,420 KB
testcase_16 AC 418 ms
6,512 KB
testcase_17 AC 685 ms
8,140 KB
testcase_18 AC 700 ms
7,992 KB
testcase_19 AC 684 ms
8,012 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 1000000000000000001
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(100000);
int main(){
	
	int H,W;
	cin>>H>>W;
	
	queue<vector<mint>> Q;
	rep(i,H){
		int a,b;
		cin>>a>>b;
		vector<mint> t(W+1);
		{
			mint v = 1;
			rep(j,W){
				v *= W + b - j;
				v /= j+1;
			}
			t[0] += v;
			rep(j,W){
				v /= W+j+1;
				v *= b-j;
				t[j+1] += v;
			}
		}
		if(a!=0){
			a--;
			mint v = 1;
			rep(j,W){
				v *= W + a - j;
				v /= j+1;
			}
			t[0] -= v;
			rep(j,W){
				v /= W+j+1;
				v *= a-j;
				t[j+1] -= v;
			}
		}
		/*rep(j,W+1){
			cout<<t[j].val()<<',';
		}
		cout<<endl;
		*/
		rep(j,W+1)t[j] *= C.kaijou_[j];
		Q.push(t);
	}
	
	while(Q.size()>1){
		auto a = Q.front();
		Q.pop();
		auto b = Q.front();
		Q.pop();
		a = convolution(a,b);
		while(a.size()>W+1)a.pop_back();
		Q.push(a);
	}
	mint ans = Q.front()[W];
	ans *= C.kaijou[W];
	cout<<ans.val()<<endl;
	
	return 0;
}
0