結果
問題 | No.2975 単調増加部分積 |
ユーザー |
|
提出日時 | 2024-11-29 21:58:49 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 4,306 ms / 10,000 ms |
コード長 | 2,757 bytes |
コンパイル時間 | 2,115 ms |
コンパイル使用メモリ | 198,216 KB |
最終ジャッジ日時 | 2025-02-26 09:17:20 |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 24 |
ソースコード
#include <bits/stdc++.h>using namespace std;long long mod = 998244353;//入力が必ず-mod<a<modの時.struct mint{long long v = 0;mint(){} mint(int a){v = a<0?a+mod:a;} mint(long long a){v = a<0?a+mod:a;}mint(unsigned long long a){v = a;}long long val(){return v;}void modu(){v %= mod;}mint repeat2mint(const long long a,long long b){mint ret = 1,p = a;while(b){if(b&1) ret *= p;p *= p; b >>= 1;}return ret;};mint &operator=(const mint &b) = default;mint operator-() const {return mint(0)-(*this);}mint operator+(const mint b){return mint(v)+=b;}mint operator-(const mint b){return mint(v)-=b;}mint operator*(const mint b){return mint(v)*=b;}mint operator/(const mint b){return mint(v)/=b;}mint operator+=(const mint b){v += b.v; if(v >= mod) v -= mod;return *this;}mint operator-=(const mint b){v -= b.v; if(v < 0) v += mod;return *this;}mint operator*=(const mint b){v = v*b.v%mod; return *this;}mint operator/=(mint b){if(b == 0) assert(false);int left = mod-2;while(left){if(left&1) *this *= b; b *= b; left >>= 1;}return *this;}mint operator++(int){*this += 1; return *this;}mint operator--(int){*this -= 1; return *this;}bool operator==(const mint b){return v == b.v;}bool operator!=(const mint b){return v != b.v;}bool operator>(const mint b){return v > b.v;}bool operator>=(const mint b){return v >= b.v;}bool operator<(const mint b){return v < b.v;}bool operator<=(const mint b){return v <= b.v;}mint pow(const long long x){return repeat2mint(v,x);}mint inv(){return mint(1)/v;}};int main(){ios_base::sync_with_stdio(false);cin.tie(nullptr);int N,M; cin >> N >> M >> mod;int Limit = N;vector<mint> fac(Limit+1,1),inv(Limit+1,1),facinv(Limit+1,1);for(int i=1; i<=Limit; i++) fac.at(i).v = fac.at(i-1).v*i %mod;for(int i=2; i<=Limit; i++) inv.at(i).v = mod-(mod/i*inv.at(mod%i).v %mod);for(int i=2; i<=Limit; i++) facinv.at(i).v = facinv.at(i-1).v*inv.at(i).v %mod;auto nCr = [&](int n, int r) -> mint {if(n < r || r < 0 || n < 0) return mint(0);return fac.at(n)*facinv.at(r)*facinv.at(n-r);};mint answer = 0;vector<mint> dp(M+1);dp.at(0) = 1;for(int i=1; i<=N; i++){for(int k=M; k>0; k--){if(dp.at(k-1) == 0) continue;mint add = dp.at(k-1)*i;dp.at(k) += add;answer += add*nCr(N-k,M-k)*fac.at(M)*facinv.at(k);}}answer /= nCr(N,M)*fac.at(M);cout << answer.v << endl;}