Submission #1188121


Source Code Expand

#include <cstdio>
#include <cstdlib>
#include <cstdint>
#include <cstddef>
#include <cstring>
#include <cctype>
#include <numeric>
#include <vector>
#include <string>

template <size_t E, bool T=1>
class FastScanner {
    char e[E|1],*t,*a;
    const double A=strtod("NaN",nullptr);
    FILE*o;
    bool i(){size_t n=fread(e,1,E,o);e[n]=0;a=e+n;t=e;return n;}
    bool i(ptrdiff_t n){size_t s=fread(e,1,E,o);e[n+=s]=0;a=e+n;t=e;return s;}
public:
    FastScanner(FILE*o=stdin):e{},t(e),a(e+E),o(o)
    {i();}
    bool scan(double&n){if(!*t &&!i()){n=A;return 0;}char*s;n=strtod(t,&s);while(s==t)if(!i()){n=A;return 0;}if(s>=a){ptrdiff_t h=a-t;memcpy(e,t,h);if(i(h))n=strtod(e,&t);}return 1;}
    bool scan(char&n){n=*t++;if(n)return 1;if(!i())return 0;n=*t++;return 1;}
    bool scan(char*n){char*s=nullptr;for(;;++t){char h=*t;if(!h){if(s){ptrdiff_t r=t-s;memcpy(n,s,r);n+=r;}if(!i()){*n=0;return s;}h=*e;if(s)s=e;}if(!isspace(h)){if(!s){s=t;}}else if(s){ptrdiff_t r=t-s;memcpy(n,s,r);n[r]=0;++t;return 1;}}}
    template<class O,bool I=T>
    bool scan(O&n,typename std::enable_if<std::is_signed<O>::value>::type*_1=0,typename std::enable_if<I>::type*_2=0){bool s=0,h=0;n=0;for(;;++t){char r=*t;if(!r){if(!i())return s;r=*t;}if(isdigit(r)){s=1;n=n*10+r-'0';}else if(s){++t;break;}else if(r=='-'){h=1;}}if(h)n=-n;return 1;}
    template<class O,bool I=T>
    bool scan(O&n,typename std::enable_if<std::is_signed<O>::value>::type*_1=0,typename std::enable_if<!I>::type*_2=0){bool s=0,h=0;n=0;for(;;++t){char r=*t;if(!r){if(!i())return s;r=*t;}if(isdigit(r)){s=1;n=n*10+r-'0';}else if(s){break;}else if(r=='-'){h=1;}}if(h)n=-n;return 1;}
    template<class O,bool I=T>
    bool scan(O&n,typename std::enable_if<!std::is_signed<O>::value>::type*_1=0,typename std::enable_if<I>::type*_2=0){bool s=0;n=0;for(;;++t){char h=*t;if(!h){if(!i())return s;h=*t;}if(isdigit(h)){s=1;n=n*10+h-'0';}else if(s){++t;return 1;}}}
    template<class O,bool I=T>
    bool scan(O&n,typename std::enable_if<!std::is_signed<O>::value>::type*_1=0,typename std::enable_if<!I>::type*_2=0){bool s=0;n=0;for(;;++t){char h=*t;if(!h){if(!i())return s;h=*t;}if(isdigit(h)){s=1;n=n*10+h-'0';}else if(s){return 1;}}}
    template<class O,class...I>
    bool scan(O&&n,I&&...s){return scan(n)&&scan(s...);}
    bool scanln(char*n){char*s=t,*h=n;for(;;++t){char r=*t;if(!r){ptrdiff_t d=t-s;memcpy(h,s,d);h+=d;if(!i()){*h=0;return h-n;}s=e;r=*e;}if(r=='\n'){++t;ptrdiff_t d=t-s;memcpy(h,s,d);h[d]=0;return 1;}}}
    template<class O,class...I>
    bool scanln(O&&n,I&&...s){return scanln(n)&&scanln(s...);}
    char peek(){if(!*t)i();return*t;}
    bool ignore(char n){for(;;++t){if(!*t &&!i())return 0;if(*t-n)return 1;}}
    bool ignore(){for(;;++t){if(!*t &&!i())return 0;if(!isspace(*t))return 1;}}
    bool advance(){if(!*t&&!i())return 0;return*++t;}
    bool advance(ptrdiff_t n){if(!*t&&!i())return 0;for(ptrdiff_t s=a-t;s<=n;){n-=s;if(!i())return 0;s=a-t;}t+=n;return  *t;}
    template<class O>
    O next(){O n;scan(n);return n;}
    template<class O>
    FastScanner&operator>>(O&n){scan(n);return*this;}
};

template <size_t E>
class FastPrinter {
    char e[E|1],*t,*a;
    const char T[6]="%.16f";
    const size_t A=20,O=330;
    FILE*o;
    void i(){fwrite(e,1,t-e,o);t=e;}
public:
    FastPrinter(FILE*o):e{},t(e),a(t+E),o(o)
    {}
    void print(double n){char s[O];size_t h=sprintf(s,T,n);char*r=t+h;if(r>=a){i();r=e+h;}memcpy(t,s,h);t=r;}
    void print(char n){if(t+1>=a)i();*t++=n;}
    void print(char*n){size_t s=strlen(n);char*h=t+s;if(h>=a){i();h=e+s;}if(s>=E){fwrite(n,1,s,o);return;}memcpy(t,n,s);t=h;}
    void print(const char*n){size_t s=strlen(n);char*h=t+s;if(h>=a){i();h=e+s;}if(s>=E){fwrite(n,1,s,o);return;}memcpy(t,n,s);t=h;}
    template<size_t I>
    void print(const char(&n)[I]){size_t s=I-1;char*h=t+s;if(h>=a){i();h=e+s;}if(s>=E){fwrite(n,1,s,o);return;}memcpy(t,n,s);t=h;}
    template<class I>
    void print(I n,typename std::enable_if<std::is_signed<I>::value>::type*_=0){if(t+A>=a)i();if(!n){*t++='0';return;}char s[A],*h=s+A,*r=h;if(n<0){*t++='-';n=-n;}while(n){*--h=n%10+'0';n/=10;}memcpy(t,h,r-h);t+=r-h;}
    template<class I>
    void print(I n,typename std::enable_if<!std::is_signed<I>::value>::type*_=0){if(t+A>=a)i();if(!n){*t++='0';return;}char s[A],*h=s+A,*r=h;while(n){*--h=n%10+'0';n/=10;}memcpy(t,h,r-h);t+=r-h;}
    template<class I,class...N>
    void print(I n,N&&...s){print(n),print(s...);}
    template<class I>
    void println(I n){print(n,'\n');}
    template<class I,class...N>
    void println(I n,N&&...s){print(n,' '),println(s...);}
    template<class I>
    void printlns(I n){print(n,'\n');}
    template<class I,class...N>
    void printlns(I n,N&&...s){print(n,'\n'),printlns(s...);}
    void flush(){fwrite(e,1,t-e,o);fflush(o);t=e;}
    template<class I>
    FastPrinter&operator<<(I n){print(n);return*this;}
    ~FastPrinter(){flush();}
};

constexpr size_t BUF_SIZE=(1<<17);
FastScanner<BUF_SIZE> cin(stdin);
FastPrinter<BUF_SIZE> cout(stdout);

class ModChoose {
    std::vector<int64_t> modfact_table;
    int64_t mod;
    int64_t moddiv(int64_t a, int64_t b) {
        int64_t n=a, k=b%mod, p=mod-2;
        while (p) {
            if (p & 1)
                (n *= k) %= mod;

            (k *= k) %= mod;
            p >>= 1;
        }

        return n;
    }
    int64_t modfact(int64_t n, int64_t &e) {
        // a p**e == n!
        int64_t a=1;
        while (n) {
            int64_t m=n/mod;
            if (m & 1) {
                (a *= mod - modfact_table[n%mod]) %= mod;
            } else {
                (a *= modfact_table[n%mod]) %= mod;
            }

            e += (n = m);
        }

        return a;
    }
public:
    ModChoose(size_t n, int64_t mod): modfact_table(n, 1), mod(mod) {
        size_t m=std::min<size_t>(n, mod);
        for (size_t i=1; i<m; ++i)
            modfact_table[i] = (modfact_table[i-1]*i) % mod;
    }
    int64_t get(int64_t n, int64_t k) {
        if (n < 0 || k < 0 || n < k) return 0;

        int64_t e1, e2, e3;
        int64_t a1, a2, a3;
        a1 = modfact(n, e1);
        a2 = modfact(k, e2);
        a3 = modfact(n-k, e3);

        if (e1 > e2+e3) return 0;
        return moddiv(a1, a2*a3);
    }
};

constexpr int64_t MOD=1e9+7;

int main() {
    int N, K;
    cin.scan(N, K);

    ModChoose modc(N+K, MOD);

    if (N > K) {
        cout.println(modc.get(N+K-1, K));
        return 0;
    }

    cout.println(modc.get(N, K%N));
    return 0;
}

Submission Info

Submission Time
Task B - 高橋幼稚園
User rsk0315
Language C++14 (GCC 5.4.1)
Score 100
Code Size 6467 Byte
Status AC
Exec Time 1 ms
Memory 512 KB

Judge Result

Set Name Sample Subtask1 Subtask2
Score / Max Score 0 / 0 80 / 80 20 / 20
Status
AC × 3
AC × 21
AC × 33
Set Name Test Cases
Sample subtask0_sample_01.txt, subtask0_sample_02.txt, subtask0_sample_03.txt
Subtask1 subtask0_sample_01.txt, subtask0_sample_02.txt, subtask1_01.txt, subtask1_02.txt, subtask1_03.txt, subtask1_04.txt, subtask1_05.txt, subtask1_06.txt, subtask1_07.txt, subtask1_08.txt, subtask1_09.txt, subtask1_10.txt, subtask1_11.txt, subtask1_12.txt, subtask1_13.txt, subtask1_14.txt, subtask1_15.txt, subtask1_16.txt, subtask1_17.txt, subtask1_18.txt, subtask1_19.txt
Subtask2 subtask0_sample_01.txt, subtask0_sample_02.txt, subtask0_sample_03.txt, subtask1_01.txt, subtask1_02.txt, subtask1_03.txt, subtask1_04.txt, subtask1_05.txt, subtask1_06.txt, subtask1_07.txt, subtask1_08.txt, subtask1_09.txt, subtask1_10.txt, subtask1_11.txt, subtask1_12.txt, subtask1_13.txt, subtask1_14.txt, subtask1_15.txt, subtask1_16.txt, subtask1_17.txt, subtask1_18.txt, subtask1_19.txt, subtask2_01.txt, subtask2_02.txt, subtask2_03.txt, subtask2_04.txt, subtask2_05.txt, subtask2_06.txt, subtask2_07.txt, subtask2_08.txt, subtask2_09.txt, subtask2_10.txt, subtask2_11.txt
Case Name Status Exec Time Memory
subtask0_sample_01.txt AC 1 ms 512 KB
subtask0_sample_02.txt AC 1 ms 512 KB
subtask0_sample_03.txt AC 1 ms 512 KB
subtask1_01.txt AC 1 ms 512 KB
subtask1_02.txt AC 1 ms 512 KB
subtask1_03.txt AC 1 ms 512 KB
subtask1_04.txt AC 1 ms 512 KB
subtask1_05.txt AC 1 ms 512 KB
subtask1_06.txt AC 1 ms 512 KB
subtask1_07.txt AC 1 ms 512 KB
subtask1_08.txt AC 1 ms 512 KB
subtask1_09.txt AC 1 ms 512 KB
subtask1_10.txt AC 1 ms 512 KB
subtask1_11.txt AC 1 ms 512 KB
subtask1_12.txt AC 1 ms 512 KB
subtask1_13.txt AC 1 ms 512 KB
subtask1_14.txt AC 1 ms 512 KB
subtask1_15.txt AC 1 ms 512 KB
subtask1_16.txt AC 1 ms 512 KB
subtask1_17.txt AC 1 ms 512 KB
subtask1_18.txt AC 1 ms 512 KB
subtask1_19.txt AC 1 ms 512 KB
subtask2_01.txt AC 1 ms 512 KB
subtask2_02.txt AC 1 ms 512 KB
subtask2_03.txt AC 1 ms 512 KB
subtask2_04.txt AC 1 ms 512 KB
subtask2_05.txt AC 1 ms 512 KB
subtask2_06.txt AC 1 ms 512 KB
subtask2_07.txt AC 1 ms 512 KB
subtask2_08.txt AC 1 ms 512 KB
subtask2_09.txt AC 1 ms 512 KB
subtask2_10.txt AC 1 ms 512 KB
subtask2_11.txt AC 1 ms 512 KB