結果
| 問題 | 
                            No.2164 Equal Balls
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2022-12-15 05:44:22 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 2,047 ms / 5,000 ms | 
| コード長 | 1,966 bytes | 
| コンパイル時間 | 7,202 ms | 
| コンパイル使用メモリ | 262,500 KB | 
| 最終ジャッジ日時 | 2025-02-09 13:42:39 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge5 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 51 | 
ソースコード
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define rep(i, n) for (int i=0; i<n; i++)
#define pb push_back
typedef long long ll;
const int MAX = 310;
const ll MOD = 998244353;
ll fact[MAX], finv[MAX], inv[MAX];
void Cinit() {
    fact[0] = fact[1] = 1;
    finv[0] = finv[1] = 1;
    inv[1] = 1;
    for (int i=2; i<MAX; i++) {
        fact[i] = fact[i-1]*i%MOD;
        inv[i] = MOD-inv[MOD%i]*(MOD/i)%MOD;
        finv[i] = finv[i-1]*inv[i]%MOD;
    }
}
ll C(int n, int k) {
    if (n<k) return 0;
    if (n<0 || k<0) return 0;
    return fact[n]*(finv[k]*finv[n-k]%MOD)%MOD;
}
vector<ll> coef[310];
vector<ll> rec(int l, int r) {
    if (l==r) return coef[l];
    int m = (l+r)/2;
    vector<ll> res1 = rec(l, m);
    vector<ll> res2 = rec(m+1, r);
    vector<ll> res = convolution(res1, res2);
    return res;
}
int main() {
    cin.tie(0); ios::sync_with_stdio(false);
    
    int N, M; cin >> N >> M;
    int A[N], B[N];
    rep(i, N) cin >> A[i];
    rep(i, N) cin >> B[i];
    Cinit();
    
    int offset = 300;
    rep(i, M) {
        coef[i].resize(601);
        rep(j, 601) coef[i][j] = 1ll;
    }
    
    vector<ll> memo[301][301];
    
    rep(i, M) {
        for (int j=i; j<N; j+=M) {
            vector<ll> conv;
            if (memo[A[j]][B[j]].size()==0) {
                vector<ll> a(A[j]+1, 0), b(B[j]+1, 0);
                rep(k, A[j]+1) a[k] = C(A[j], k)%MOD;
                rep(k, B[j]+1) b[k] = C(B[j], B[j]-k)%MOD;
                conv = convolution(a, b);
                memo[A[j]][B[j]] = conv;
            } else conv = memo[A[j]][B[j]];
            for (int k=0; k<601; k++) {
                if (-B[j]<=k-offset && k-offset<=A[j]) {
                    coef[i][k] *= conv[k-offset+B[j]];
                    coef[i][k] %= MOD;
                } else coef[i][k] = 0ll;
            }
        }
    }
    
    vector<ll> res = rec(0, M-1);
    cout << res[M*offset] << endl;
}