結果

問題 No.1044 正直者大学
ユーザー momoyuumomoyuu
提出日時 2023-03-16 01:10:43
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 52 ms / 2,000 ms
コード長 2,392 bytes
コンパイル時間 2,938 ms
コンパイル使用メモリ 248,432 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-09-18 09:06:36
合計ジャッジ時間 3,698 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,816 KB
testcase_01 AC 1 ms
6,940 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 3 ms
6,940 KB
testcase_06 AC 52 ms
6,940 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 1 ms
6,944 KB
testcase_09 AC 1 ms
6,944 KB
testcase_10 AC 1 ms
6,940 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 5 ms
6,940 KB
testcase_13 AC 30 ms
6,940 KB
testcase_14 AC 4 ms
6,944 KB
testcase_15 AC 8 ms
6,944 KB
testcase_16 AC 31 ms
6,940 KB
testcase_17 AC 11 ms
6,944 KB
testcase_18 AC 20 ms
6,944 KB
testcase_19 AC 5 ms
6,940 KB
testcase_20 AC 2 ms
6,940 KB
testcase_21 AC 5 ms
6,940 KB
testcase_22 AC 2 ms
6,944 KB
testcase_23 AC 3 ms
6,944 KB
testcase_24 AC 2 ms
6,944 KB
testcase_25 AC 2 ms
6,944 KB
testcase_26 AC 2 ms
6,944 KB
testcase_27 AC 1 ms
6,940 KB
testcase_28 AC 2 ms
6,940 KB
testcase_29 AC 2 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
using ll = long long;
//const ll mod = 998'244'353;
const ll mod = 1'000'000'007;
//const ll mod = 67'280'421'310'721;
struct mint{
    long long x;
    mint(long long x=0):x((x%mod+mod)%mod){}
    mint operator-() const{
        return mint(-x);
    }
    mint& operator+=(const mint& a){
        if((x+=a.x)>=mod)x-=mod;
        return *this;
    }
    mint& operator-=(const mint& a){
        if((x+=mod-a.x)>=mod)x-=mod;
        return *this;
    }
    mint& operator*=(const  mint& a){
        (x *= a.x) %= mod;
        return *this;
    }
    mint operator+(const mint& a) const{
        mint res(*this);
        return res+=a;
    }
    mint operator-(const mint& a) const{
        mint res(*this);
        return res-=a;
    }
    mint operator*(const mint& a) const{
        mint res(*this);
        return res*=a;
    }
    mint pow(long long n) const {
        assert(0 <= n);
        mint a = *this, r = 1;
        while (n) {
            if (n & 1) r *= a;
            a *= a;
            n >>= 1;
        }
        return r;
    }
    mint inv() const{
        return pow(mod-2);
    }
    mint& operator/=(const mint& a){
        return (*this)*=a.inv();
    }
    mint operator/(const mint& a) const {
        mint res(*this);
        return res/=a;
    }
    friend ostream& operator<<(ostream& os, const mint& m){
        os << m.x;
        return os;
    }
    bool operator==(const mint& a) const {
        return x == a.x;
    }
    bool operator<(const mint& a) const{
        return x < a.x;
    }
};

    //豁｣逶ｴN莠ｺ
    //蝌倥▽縺庚莠ｺ
    //豁｣逶ｴ->豁｣逶ｴ x莠ｺ
    //蝌・>豁｣逶ｴ N - x莠ｺ
    //蝌・>蝌・M - (N - x)莠ｺ
    //豁｣逶ｴ->蝌・M - (M-(N-x))莠ｺ

int main(){
    int n,m,k;
    cin>>n>>m>>k;
    mint ans = 0;
    vector<mint> fac(n+m+1,1);
    for(int i = 1;i<=n+m;i++) fac[i] = fac[i-1] * mint(i);
    for(int i = 0;i<n;i++){
        int x = i;
        int y = n - x;
        int z = m - y;
        if(z<0) continue;
        int w = m - z;
        if(w<=0) continue;
        if(x+z<k) continue;
        mint tmp = fac[n-1];
        tmp *= fac[m];
        tmp *= fac[n] * ((fac[w].inv())*(fac[n-w].inv()));
        int l = m - w;
        if(w!=1) tmp *= fac[l+w-1]*((fac[w-1].inv())*(fac[l].inv()));
        ans += tmp;
    }
    cout<<ans<<endl;
}
0