結果

問題 No.2975 単調増加部分積
ユーザー GOTKAKOGOTKAKO
提出日時 2024-11-29 21:58:49
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 4,323 ms / 10,000 ms
コード長 2,757 bytes
コンパイル時間 2,489 ms
コンパイル使用メモリ 206,876 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-11-29 21:59:11
合計ジャッジ時間 21,524 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,816 KB
testcase_03 AC 2 ms
6,816 KB
testcase_04 AC 3 ms
6,816 KB
testcase_05 AC 2 ms
6,816 KB
testcase_06 AC 2 ms
6,820 KB
testcase_07 AC 2 ms
6,816 KB
testcase_08 AC 2 ms
6,820 KB
testcase_09 AC 2 ms
6,820 KB
testcase_10 AC 2 ms
6,824 KB
testcase_11 AC 3 ms
6,820 KB
testcase_12 AC 3 ms
6,816 KB
testcase_13 AC 29 ms
6,816 KB
testcase_14 AC 10 ms
6,816 KB
testcase_15 AC 49 ms
6,816 KB
testcase_16 AC 3 ms
6,820 KB
testcase_17 AC 11 ms
6,824 KB
testcase_18 AC 88 ms
6,820 KB
testcase_19 AC 823 ms
6,820 KB
testcase_20 AC 4,317 ms
6,816 KB
testcase_21 AC 4,323 ms
6,816 KB
testcase_22 AC 4,307 ms
6,824 KB
testcase_23 AC 4,317 ms
6,816 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#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;
}
0