結果
問題 | No.2846 Birthday Cake |
ユーザー | GOTKAKO |
提出日時 | 2024-08-23 23:05:37 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 5,033 bytes |
コンパイル時間 | 2,565 ms |
コンパイル使用メモリ | 219,388 KB |
実行使用メモリ | 27,724 KB |
最終ジャッジ日時 | 2024-08-23 23:05:58 |
合計ジャッジ時間 | 18,868 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,944 KB |
testcase_02 | AC | 538 ms
16,532 KB |
testcase_03 | AC | 2 ms
6,940 KB |
testcase_04 | AC | 2 ms
6,940 KB |
testcase_05 | AC | 663 ms
19,264 KB |
testcase_06 | AC | 835 ms
21,732 KB |
testcase_07 | AC | 1,028 ms
24,144 KB |
testcase_08 | AC | 1,177 ms
25,676 KB |
testcase_09 | AC | 1,286 ms
26,796 KB |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | AC | 516 ms
17,884 KB |
testcase_13 | AC | 805 ms
24,424 KB |
testcase_14 | AC | 7 ms
6,940 KB |
testcase_15 | AC | 57 ms
6,940 KB |
testcase_16 | AC | 155 ms
10,624 KB |
testcase_17 | WA | - |
testcase_18 | WA | - |
testcase_19 | AC | 3 ms
6,940 KB |
testcase_20 | AC | 4 ms
6,944 KB |
testcase_21 | AC | 2 ms
6,944 KB |
testcase_22 | AC | 14 ms
6,940 KB |
testcase_23 | AC | 9 ms
6,940 KB |
testcase_24 | AC | 880 ms
26,280 KB |
testcase_25 | AC | 2 ms
6,944 KB |
testcase_26 | AC | 16 ms
6,944 KB |
testcase_27 | AC | 27 ms
6,940 KB |
testcase_28 | AC | 2 ms
6,940 KB |
testcase_29 | AC | 57 ms
6,940 KB |
testcase_30 | AC | 2 ms
6,944 KB |
testcase_31 | AC | 4 ms
6,948 KB |
testcase_32 | AC | 503 ms
14,160 KB |
testcase_33 | AC | 846 ms
26,152 KB |
testcase_34 | AC | 155 ms
10,220 KB |
testcase_35 | AC | 182 ms
10,752 KB |
testcase_36 | AC | 488 ms
18,108 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; struct frac{ //最終的に分子分母64bitに収まる計算のみ. public: long long n,d; frac() : n(0),d(1){} frac(long long v) : n(v),d(1) {} frac(long long a,long long b,bool redu = true){ assert(b != 0); if(redu) reduce(a,b); n = a,d = b; } private: long long gcd(long long a,long long b){ if(a%b == 0) return b; return gcd(b,a%b); } long long gcd128(long long a,long long b){ //絶対値gcd128. if(b == 0) return abs(a); return gcd(abs(a),abs(b)); } void reduce(long long &a,long long &b){ //約分. if(b < 0) a = -a,b = -b; long long div = gcd128(a,b); a /= div; b /= div; } public: //計算量 O(logmax(d,b.d)). friend frac operator+(const frac &b){return b;} friend frac operator-(const frac &b){return frac(-b.n,b.d,false);} friend frac operator+(const frac &a,const frac &b){ return frac((long long)a.n*b.d+(long long)b.n*a.d,(long long)a.d*b.d); } friend frac operator-(const frac &a,const frac &b){ return frac((long long)a.n*b.d-(long long)b.n*a.d,(long long)a.d*b.d); } friend frac operator*(const frac &a,const frac &b){ long long g1 = std::gcd(a.n,b.d),g2 = std::gcd(a.d,b.n); return frac((a.n/g1)*(b.n/g2),(a.d/g2)*(b.d/g1),false); } friend frac operator/(const frac &a,const frac &b){ assert(b.n != 0); long long g1 = std::gcd(a.n,b.n),g2 = std::gcd(a.d,b.d); if(b.n < 0) return frac((-a.n/g1)*(b.d/g2),(a.d/g2)*(-b.n/g1)); else return frac((a.n/g1)*(b.d/g2),(a.d/g2)*(b.n/g1)); } friend bool operator==(const frac &a,const frac &b){return a.n==b.n && a.d==b.d;} friend bool operator!=(const frac &a,const frac &b){return a.n!=b.n || a.d!=b.d;} friend bool operator>(const frac &a,const frac &b){return (long long)a.n*b.d > (long long)b.n*a.d;} friend bool operator>=(const frac &a,const frac &b){return (long long)a.n*b.d >= (long long)b.n*a.d;} friend bool operator<(const frac &a,const frac &b){return (long long)a.n*b.d < (long long)b.n*a.d;} friend bool operator<=(const frac &a,const frac &b){return (long long)a.n*b.d <= (long long)b.n*a.d;} frac &operator=(const frac &b) = default; frac operator+=(const frac &b){return *this=*this+b;} frac operator-=(const frac &b){return *this=*this-b;} frac operator*=(const frac &b){return *this=*this*b;} frac operator/=(const frac &b){return *this=*this/b;} frac operator++(int){*this += frac(1); return *this;} frac operator--(int){*this -= frac(1); return *this;} double decimal(){return (n+0.0)/d;} long double decimall(){return ((long double)n)/d;} long long num(){return n;} long long den(){return d;} long long floor(){return n<0?(n+1)/d-1:n/d;} long long ceil(){return n>0?(n-1)/d+1:n/d;} frac inv(){return frac(n>=0?d:-d,n>=0?n:-n,false);} }; int main() { ios_base::sync_with_stdio(false); cin.tie(nullptr); int K,N; cin >> K >> N; vector<__int128_t> fac(K+1); fac.at(0) = 1; for(int i=1; i<=K; i++) fac.at(i) = fac.at(i-1)*i; vector<frac> mindec(K+1); for(int i=1; i<=K; i++) mindec.at(i) = frac(i,N); vector<long long> lcm(N+1); long long lc = 1; for(int i=N; i>=1; i--) lc = lc*i/gcd(lc,i),lcm.at(i) = lc; long long inf = 1000000000; int left = N/2,right = (N-left); vector<unordered_map<long long,long long>> dp1(K+1),dp2(K+1); dp1.at(0)[inf+1] += fac.at(K); dp2.at(0)[inf+1] += fac.at(K); for(int i=1; i<=left; i++){ frac dec(1,i); for(int k=K-1; k>=0; k--){ for(auto &[ke,v] : dp1.at(k)){ frac now(ke/inf,ke%inf); for(int l=1; l<=K-k; l++){ now -= dec; if(now < 0 || now.d > 20000) break; dp1.at(k+l)[now.n*inf+now.d] += v/fac.at(l); } } } } for(int i=left+1; i<=N; i++){ frac dec(1,i); for(int k=K-1; k>=0; k--){ for(auto &[ke,v] : dp2.at(k)){ frac now(ke/inf,ke%inf); for(int l=1; l<=K-k; l++){ now -= dec; if(now < 0 || now.d > 20000) break; dp2.at(k+l)[now.n*inf+now.d] += v/fac.at(l); } } } } long long answer = 0; for(int i=0; i<=K; i++){ for(auto &[ke,v] : dp1.at(i)){ frac now(ke/inf,ke%inf); now = frac(1)-now; auto itr = dp2.at(K-i).find(now.n*inf+now.d); if(itr != dp2.at(K-i).end()){ __int128_t v2 = itr->second; for(int k=1; k<=K; k++){ int div = k; int g = gcd(div,v); div /= g; v /= g; v2 /= div; } answer += v*v2; } } } cout << answer << endl; }