結果

問題 No.2365 Present of good number
ユーザー deuteridayodeuteridayo
提出日時 2023-06-30 22:02:43
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 205 ms / 2,000 ms
コード長 3,907 bytes
コンパイル時間 4,026 ms
コンパイル使用メモリ 283,400 KB
実行使用メモリ 29,860 KB
最終ジャッジ日時 2024-07-07 09:49:45
合計ジャッジ時間 11,356 ms
ジャッジサーバーID
(参考情報)
judge5 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 128 ms
6,812 KB
testcase_01 AC 129 ms
6,940 KB
testcase_02 AC 205 ms
29,732 KB
testcase_03 AC 182 ms
24,908 KB
testcase_04 AC 198 ms
29,732 KB
testcase_05 AC 198 ms
29,860 KB
testcase_06 AC 159 ms
15,436 KB
testcase_07 AC 163 ms
18,504 KB
testcase_08 AC 153 ms
14,408 KB
testcase_09 AC 151 ms
13,128 KB
testcase_10 AC 189 ms
26,700 KB
testcase_11 AC 134 ms
6,940 KB
testcase_12 AC 161 ms
16,328 KB
testcase_13 AC 181 ms
24,776 KB
testcase_14 AC 173 ms
20,808 KB
testcase_15 AC 143 ms
10,184 KB
testcase_16 AC 127 ms
6,944 KB
testcase_17 AC 127 ms
6,944 KB
testcase_18 AC 129 ms
6,940 KB
testcase_19 AC 125 ms
6,944 KB
testcase_20 AC 126 ms
6,944 KB
testcase_21 AC 129 ms
6,940 KB
testcase_22 AC 145 ms
9,804 KB
testcase_23 AC 170 ms
20,940 KB
testcase_24 AC 129 ms
6,940 KB
testcase_25 AC 154 ms
13,640 KB
testcase_26 AC 167 ms
19,408 KB
testcase_27 AC 157 ms
16,076 KB
testcase_28 AC 136 ms
7,756 KB
testcase_29 AC 176 ms
22,856 KB
testcase_30 AC 139 ms
8,652 KB
testcase_31 AC 129 ms
6,944 KB
testcase_32 AC 127 ms
6,940 KB
testcase_33 AC 126 ms
6,944 KB
testcase_34 AC 126 ms
6,940 KB
testcase_35 AC 127 ms
6,940 KB
testcase_36 AC 174 ms
22,224 KB
testcase_37 AC 193 ms
28,452 KB
testcase_38 AC 165 ms
19,148 KB
testcase_39 AC 164 ms
19,020 KB
testcase_40 AC 190 ms
27,140 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
#include<atcoder/all>
using namespace std;
using namespace atcoder;
using lint = long long;
using ulint = unsigned long long;
#define endl '\n'
int const INF = 1<<30;
lint const INF64 = 1LL<<61;
lint const mod = 1e9+7;
using mint = modint1000000007;

lint ceilDiv(lint x, lint y){if(x >= 0){return (x+y-1)/y;}else{return x/y;}}
lint floorDiv(lint x, lint y){if(x >= 0){return x/y;}else{return (x-y+1)/y;}}
lint Sqrt(lint x){lint upper = 1e9;lint lower = 0;while(upper - lower > 0){lint mid = (1+upper + lower)/2;if(mid * mid > x){upper = mid-1;}else{lower = mid;}}return upper;}
lint gcd(lint a,lint b){if(a<b)swap(a,b);if(a%b==0)return b;else return gcd(b,a%b);}
lint lcm(lint a,lint b){return (a / gcd(a,b)) * b;}
lint chmin(vector<lint>&v){lint ans = INF64;for(lint i:v){ans = min(ans, i);}return ans;}
lint chmax(vector<lint>&v){lint ans = -INF64;for(lint i:v){ans = max(ans, i);}return ans;}
double dist(double x1, double y1, double x2, double y2){return sqrt(pow(x1-x2, 2) + pow(y1-y2,2));}
string toString(lint n){string ans = "";if(n == 0){ans += "0";}else{while(n > 0){int a = n%10;char b = '0' + a;string c = "";c += b;n /= 10;ans = c + ans;}}return ans;}
string toString(lint n, lint k){string ans = toString(n);string tmp = "";while(ans.length() + tmp.length() < k){tmp += "0";}return tmp + ans;}
vector<lint>prime;void makePrime(lint n){prime.push_back(2);for(lint i=3;i<=n;i+=2){bool chk = true;for(lint j=0;j<prime.size() && prime[j]*prime[j] <= i;j++){if(i % prime[j]==0){chk=false;break;}}if(chk)prime.push_back(i);}}
lint Kai[20000001]; bool firstCallnCr = true; 
lint ncrmodp(lint n,lint r,lint p){ if(firstCallnCr){ Kai[0] = 1; for(int i=1;i<=20000000;i++){ Kai[i] = Kai[i-1] * i; Kai[i] %= mod;} firstCallnCr = false;} if(n<0)return 0;
if(n < r)return 0;if(n==0)return 1;lint ans = Kai[n];lint tmp = (Kai[r] * Kai[n-r]) % p;for(lint i=1;i<=p-2;i*=2){if(i & p-2){ans *= tmp;ans %= p;}tmp *= tmp;tmp %= p;}return ans;}
#define rep(i, n) for(int i = 0; i < n; i++)
#define repp(i, x, y) for(int i = x; i < y; i++)
#define vec vector
#define pb push_back
#define se second
#define fi first
#define all(x) x.begin(),x.end()

struct edge{
    int to;
};
using graph = vector<vector<edge>>;

unordered_map<lint, map<lint, lint>> mp;
unordered_map<lint, bool> went;



int main(){
    makePrime(1000000);
    lint n,k;
    cin >> n >> k;
    for(int i = 1; i <= n+20; i++) {
        lint N = i;
        for(auto p: prime) {
            if(p*p > N)break;
            while(N % p == 0) {
                mp[i][p]++;
                N /= p;
            }
        }
        if(N != 1) {
            mp[i][N]++;
        }
    }
    map<lint, lint>cnt;
    cnt = mp[n];
    cerr << "SMILE";
    rep(i, k) {
        cerr << i << " ";
        map<lint, lint>ncnt;
        for(auto p: cnt) {
            for(auto q: mp[p.first + 1]) {
                ncnt[q.first] += (q.second * p.second);
            }
        }
        cnt = ncnt;
        if((ncnt.size() == 1 && ncnt[2] != 0)) {
            cnt.clear();
            lint rest = k - i - 1;
            int t = 2;
            if(rest % 2 == 1) t++;
            
            cnt[t] = (ncnt[2] * pow_mod(2, rest/2, mod-1)) % (mod-1);
            break;
        } else if(ncnt.size() == 2 && ncnt[2] != 0 && ncnt[3] != 0) {
            cnt.clear();
            lint rest = k - i - 1;
            if(rest % 2 == 1) {
                cnt[3] = (ncnt[2] * pow_mod(2, rest/2, mod-1)) % (mod-1);
                cnt[2] = (ncnt[3] * pow_mod(2, rest/2 + 1, mod-1))  % (mod-1);
            } else {
                cnt[2] = (ncnt[2] * pow_mod(2, rest/2, mod-1))  % (mod-1);
                cnt[3] = (ncnt[3] * pow_mod(2, rest/2, mod-1)) % (mod-1);
            }
            
            break;
        }
    }
    mint ans = 1;
    for(auto p: cnt){
        ans *= pow_mod(p.first, p.second, mod);
    }
    cout << ans.val() << endl;
}

0