結果
問題 | No.181 A↑↑N mod M |
ユーザー | leeh18 |
提出日時 | 2022-12-02 16:50:56 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 2 ms / 5,000 ms |
コード長 | 3,468 bytes |
コンパイル時間 | 2,681 ms |
コンパイル使用メモリ | 212,776 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-10-09 18:28:38 |
合計ジャッジ時間 | 4,143 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,816 KB |
testcase_02 | AC | 2 ms
6,816 KB |
testcase_03 | AC | 2 ms
6,816 KB |
testcase_04 | AC | 2 ms
6,820 KB |
testcase_05 | AC | 2 ms
6,816 KB |
testcase_06 | AC | 2 ms
6,820 KB |
testcase_07 | AC | 2 ms
6,820 KB |
testcase_08 | AC | 2 ms
6,816 KB |
testcase_09 | AC | 2 ms
6,816 KB |
testcase_10 | AC | 2 ms
6,816 KB |
testcase_11 | AC | 2 ms
6,816 KB |
testcase_12 | AC | 2 ms
6,816 KB |
testcase_13 | AC | 2 ms
6,816 KB |
testcase_14 | AC | 2 ms
6,816 KB |
testcase_15 | AC | 2 ms
6,820 KB |
testcase_16 | AC | 2 ms
6,820 KB |
testcase_17 | AC | 2 ms
6,816 KB |
testcase_18 | AC | 2 ms
6,816 KB |
testcase_19 | AC | 2 ms
6,816 KB |
testcase_20 | AC | 2 ms
6,816 KB |
testcase_21 | AC | 2 ms
6,816 KB |
testcase_22 | AC | 2 ms
6,816 KB |
testcase_23 | AC | 2 ms
6,820 KB |
testcase_24 | AC | 2 ms
6,820 KB |
testcase_25 | AC | 2 ms
6,816 KB |
testcase_26 | AC | 2 ms
6,816 KB |
testcase_27 | AC | 2 ms
6,820 KB |
testcase_28 | AC | 2 ms
6,816 KB |
testcase_29 | AC | 2 ms
6,816 KB |
testcase_30 | AC | 2 ms
6,820 KB |
testcase_31 | AC | 2 ms
6,816 KB |
testcase_32 | AC | 2 ms
6,820 KB |
testcase_33 | AC | 2 ms
6,820 KB |
testcase_34 | AC | 2 ms
6,816 KB |
testcase_35 | AC | 2 ms
6,816 KB |
testcase_36 | AC | 2 ms
6,816 KB |
testcase_37 | AC | 2 ms
6,816 KB |
testcase_38 | AC | 2 ms
6,816 KB |
testcase_39 | AC | 2 ms
6,816 KB |
testcase_40 | AC | 2 ms
6,820 KB |
testcase_41 | AC | 2 ms
6,820 KB |
testcase_42 | AC | 2 ms
6,816 KB |
ソースコード
#include <bits/stdc++.h> unsigned long long modmul(unsigned long long a, unsigned long long b, unsigned long long M) { long long ret = a * b - M * static_cast<unsigned long long>(1.L / M * a * b); return ret + M * (ret < 0) - M * (ret >= static_cast<long long>(M)); } unsigned long long modpow(unsigned long long b, unsigned long long e, unsigned long long mod) { unsigned long long ans = 1; for (; e; b = modmul(b, b, mod), e /= 2) { if (e & 1) { ans = modmul(ans, b, mod); } } return ans; } bool is_prime(unsigned long long n) { if (n < 2 || n % 6 % 4 != 1) { return (n | 1) == 3; } unsigned long long A[] = {2, 325, 9375, 28178, 450775, 9780504, 1795265022}, s = __builtin_ctzll(n - 1), d = n >> s; for (unsigned long long a : A) { unsigned long long p = modpow(a % n, d, n), i = s; while (p != 1 && p != n - 1 && a % n && i--) { p = modmul(p, p, n); } if (p != n - 1 && i != s) { return 0; } } return 1; } unsigned long long pollard(unsigned long long n) { auto f = [n](unsigned long long x) { return modmul(x, x, n) + 1; }; unsigned long long x = 0, y = 0, t = 30, prd = 2, i = 1, q; while (t++ % 40 || std::gcd(prd, n) == 1) { if (x == y) { x = ++i, y = f(x); } if ((q = modmul(prd, std::max(x, y) - std::min(x, y), n))) { prd = q; } x = f(x), y = f(f(y)); } return std::gcd(prd, n); } std::vector<unsigned long long> factor(unsigned long long n) { if (n == 1) { return {}; } if (is_prime(n)) { return {n}; } unsigned long long x = pollard(n); auto l = factor(x), r = factor(n / x); l.insert(l.end(), r.begin(), r.end()); return l; } unsigned long long euler_phi(unsigned long long n) { auto f = factor(n); std::sort(f.begin(), f.end()); f.erase(std::unique(f.begin(), f.end()), f.end()); for (auto p : f) { n -= n / p; } return n; } template <typename T, typename Promote = unsigned long long> T power_tower(const std::vector<T> &a, T m) { static_assert(std::is_integral_v<T>); assert(m > 0); std::vector<unsigned long long> mod_chain{ static_cast<unsigned long long>(m)}; while (mod_chain.back() > 1) { const auto phi = euler_phi(mod_chain.back()); mod_chain.push_back(phi); } const auto f = [](Promote x, Promote n, Promote mod) { Promote r = 1; if (x > mod) { x = x % mod + mod; } while (n) { if (n & 1) { r *= x; if (r > mod) { r = r % mod + mod; } } x *= x; if (x > mod) { x = x % mod + mod; } n >>= 1; } return r; }; Promote r = 1; const auto k = static_cast<int>(std::min(a.size(), mod_chain.size())); for (auto i = k - 1; i >= 0; --i) { assert(a[i] > 0); r = f(static_cast<Promote>(a[i]), r, mod_chain[i]); } return static_cast<T>(r % static_cast<Promote>(m)); } int main() { std::cin.tie(0)->sync_with_stdio(0); int A, N, M; std::cin >> A >> N >> M; std::vector<int> a(std::min(N, 24), A); std::cout << power_tower(a, M); }