結果

問題 No.1164 GCD Products hard
ユーザー rlangevin
提出日時 2023-09-10 12:32:48
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 989 bytes
コンパイル時間 5,329 ms
コンパイル使用メモリ 307,800 KB
実行使用メモリ 62,120 KB
最終ジャッジ日時 2024-06-28 03:53:19
合計ジャッジ時間 13,207 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample -- * 2
other TLE * 2 -- * 25
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using P = pair<int, int>;
using mint = modint1000000007;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)

ll modpow(ll v, ll N, int mod){
    ll val = 1;
    ll now = v;
    rep(i, 30){
        if ((N >> i) & 1){
            val *= now;
            val %= mod;
        }
        now = now * now;
        now %= mod;
    }
    return val;
}

int main()
{
    int A, B, N;
    cin >> A >> B >> N;
    int mod = 1000000007;
    vector<ll> dp(B + 1);
    for (int i = B; i >= 1; i--){
        for (int j = 2 * i; j <= B; j += i){
            dp[i] -= dp[j];
            dp[i] = (mod - 1 + dp[i]) % (mod - 1); 
        }
        ll v = B/i - (A - 1)/i;
        dp[i] += modpow(v, N, mod - 1);
        dp[i] = (mod - 1 + dp[i]) % (mod - 1); 
    }

    mint ans = 1;
    for (int i = 1; i <= B; i++){
        ans *= mint(i).pow(dp[i]);
    }
    cout << ans.val() << endl;
}
0