結果

問題 No.2499 Sum of Products of Sums
ユーザー tofu_dra2
提出日時 2023-10-07 04:29:56
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 151 ms / 2,000 ms
コード長 3,135 bytes
コンパイル時間 4,796 ms
コンパイル使用メモリ 264,260 KB
最終ジャッジ日時 2025-02-17 06:01:37
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 17
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>

typedef long long int ll;
typedef long double ld;

using namespace std;
using namespace atcoder;

#define inf 1010000000
#define llinf 1001000000000000000ll
#define pi 3.141592653589793238
#define rep(i, n) for(ll i = 0; i < (n); i++)
#define rep1(i, n) for(ll i = 1; i <= (n); i++)
#define rep2(i,l,r) for(ll i = (l); i < (r); i++)
#define per(i, n) for(ll i = (n)-1; i >= 0; i--)
#define each(x, v) for (auto&& x : v)
#define rng(a) a.begin(),a.end()
#define fi first
#define se second
#define pb push_back
#define eb emplace_back
#define pob pop_back
#define st string
#define pcnt __builtin_popcountll
#define bit(n) (1LL<<(n))

template <class T = ll>
inline T in(){ T x; cin >> x; return (x);}
#define vcin(x,n) {for(ll loop=0; loop<(n); loop++) cin>>x[loop];}

#define dame { puts("-1"); return 0;}
#define yes { puts("Yes"); return 0;}
#define no { puts("No"); return 0;}
#define ret(x) { cout<<(x)<<endl;}
#define rets(x) { cout<<(x)<< " ";}
#define Endl cout<<endl;
#define dump(x) { cout << #x << " = " << (x) << endl;}

template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false;}
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false;}

// 仮マクロ 便利だったら昇格
#define unique(v) v.erase( unique(v.begin(), v.end()), v.end())
// ここまで仮マクロ

// clock()/CLOCKS_PER_SEC 秒数を知りたいときに用いる

#define mod 998244353
using mint = modint998244353;

/*

#define mod 1000000007
using mint = modint1000000007;

*/

vector<ll> dx={1,0,-1,0};
vector<ll> dy={0,1,0,-1};

using pl = pair<ll,ll>;
using ppl = pair<pl,ll>;
// G.assign(n, vector<ll>()); グローバル変数にGを置く時に置く

// 関数を置くのはここ以下

const ll MAX = 200200;

vector<ll> fac,finv,inv;

void binom_init() {
  fac.resize(MAX);
  finv.resize(MAX);
  inv.resize(MAX);
  fac[0] = fac[1] = 1;
  inv[1] = 1;
  finv[0] = finv[1] = 1;
  for(int i=2; i<MAX; i++){
    fac[i] = fac[i-1] *i %mod;
    inv[i] = mod - mod /i *inv[mod%i] %mod;
    finv[i] = finv[i-1]*inv[i]%mod;
  }
}

ll binom(ll n, ll r){
  if(n<r || n<0 || r<0) return 0;
  return fac[n]*finv[r]%mod*finv[n-r]%mod;
}

int main() {
  cin.tie(nullptr);
  ios::sync_with_stdio(false);
  cout << fixed << setprecision(20);
  binom_init();
  ll h,w; cin >> h >> w;
  vector<vector<mint>> dp;
  rep(i,h){
    vector<mint> f(w+1);
    ll a,b; cin >> a >> b;
    mint t = 1;
    rep(j,w){
      t *= b+w-j;
      t *= inv[j+1];
    }
    f[0] = t;
    rep(j,w){
      t *= b-j;
      t *= inv[w+j+1];
      f[j+1] = t;
    }
    t = 1;
    rep(j,w){
      t *= a-1+w-j;
      t *= inv[j+1];
    }
    f[0] -= t;
    rep(j,w){
      t *= a-1-j;
      t *= inv[w+j+1];
      f[j+1] -= t;
    }
    rep(j,w+1){
      f[j] *= finv[j];
    }
    dp.eb(f);
  }
  ll now = 0;
  // rep(i,h){
  //   rep(j,w+1){
  //     rets(dp[i][j].val())
  //   }
  //   Endl
  // }
  per(i,h-1){
    dp[i] = convolution(dp[i],dp[i+1]);
    rep(j,w) dp[i].pop_back();
  }
  mint ans = dp[0][w];
  ans *= fac[w];
  ret(ans.val())
}
0