結果

問題 No.2326 Factorial to the Power of Factorial to the...
コンテスト
ユーザー ryota2357
提出日時 2023-05-28 14:46:04
言語 C++17(clang)
(17.0.6 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 5,655 bytes
コンパイル時間 1,704 ms
コンパイル使用メモリ 139,504 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-12-27 02:53:22
合計ジャッジ時間 2,678 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 11 WA * 9
権限があれば一括ダウンロードができます

ソースコード

diff # 

/*{{{ author: ryota2357 */
#include <algorithm>
#include <cassert>
#include <cmath>
#include <iostream>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <stack>
#include <string>
#include <tuple>
#include <utility>
#include <vector>
namespace ryota2357
{
template <class T1, class T2>
inline std::istream& operator>>(std::istream& is, std::pair<T1, T2>& P) noexcept {
    return is >> P.first >> P.second;
}
template <class T>
inline std::istream& operator>>(std::istream& is, std::vector<T>& V) noexcept {
    for (auto& v : V) is >> v;
    return is;
}
template <class T>
inline std::ostream& operator<<(std::ostream& os, const std::vector<T>& V) noexcept {
    const auto n = V.size() - 1;
    for (int i = 0; i < n; ++i) os << V[i] << ' ';
    return os << V.back();
}

inline void IN(void) noexcept { return; }
template <class T, class... U>
inline void IN(T& t, U&... u) noexcept {
    std::cin >> t;
    IN(u...);
}

template <class T>
inline void OUT(const T& x) noexcept { std::cout << x << '\n'; }

template <class T>
inline bool chmax(T& a, const T& b) noexcept { return a < b ? a = b, true : false; }

template <class T>
inline bool chmin(T& a, const T& b) noexcept { return a > b ? a = b, true : false; }

template <class T = int>
inline T read(void) {
    T ret = 0;
    char c = getchar();
    while ((c < '0' || '9' < c) && c != '-') c = getchar();
    const bool f = (c == '-') && (c = getchar());
    while ('0' <= c && c <= '9') {
        ret = 10 * ret + c - '0';
        c = getchar();
    }
    return f ? -ret : ret;
}

template <class T>
inline T ceil_div(const T& a, const T& b) {
    assert(b != 0);
    return (a + (b - 1)) / b;
}

template <class T>
inline T max(const std::vector<T>& v) { return *max_element(v.begin(), v.end()); }

template <class T>
inline T min(const std::vector<T>& v) { return *min_element(v.begin(), v.end()); }
}  // namespace ryota2357

using ll = long long;
using pint = std::pair<int, int>;
#define rep(i, a, b) for (ll i = (a); i < ll(b); ++i)
#define repr(i, a, b) for (ll i = (a); i >= ll(b); --i)
#define each(x, v) for (auto& x : v)
#define All(x) (x).begin(), (x).end()
#define AllR(x) (x).rbegin(), (x).rend()
#define Sort(x) (sort((x).begin(), (x).end()))
#define SortR(x) (sort((x).rbegin(), (x).rend()))
#define Unique(x) (x.erase(unique((x).begin(), (x).end()), (x).end()))
#define Fill(v, n) (fill((v), (v) + sizeof(v) / sizeof(*(v)), (v)))
#define INF (1073741823)
#define INFL (2305843009213693951ll)
using namespace std;
using namespace ryota2357;
/*}}}*/

template <ll Modulus>
struct ModInt
{
    ll value;
    constexpr ModInt(const ll value = 0) noexcept : value((value % Modulus + Modulus) % Modulus) {}
    inline ModInt& operator+=(const ModInt& rhs) noexcept {
        if (value += rhs.value, value >= Modulus) value -= Modulus;
        return *this;
    }
    inline ModInt& operator-=(const ModInt& rhs) noexcept {
        if (value -= rhs.value, value < 0) value += Modulus;
        return *this;
    }
    inline ModInt& operator*=(const ModInt& rhs) noexcept {
        value = value * rhs.value % Modulus;
        return *this;
    }
    inline ModInt& operator/=(const ModInt& rhs) noexcept {
        value = value * inv(rhs.value).value % Modulus;
        return *this;
    }
    inline ModInt& operator++() noexcept {
        if (++value >= Modulus) value -= Modulus;
        return *this;
    }
    inline ModInt operator++(int) noexcept {
        ModInt t = value;
        if (++value >= Modulus) value -= Modulus;
        return t;
    }
    inline ModInt& operator--() noexcept {
        if (--value < 0) value += Modulus;
        return *this;
    }
    inline ModInt operator--(int) noexcept {
        ModInt t = value;
        if (--value < 0) value += Modulus;
        return t;
    }
    inline ModInt operator-() const noexcept { return (-value + Modulus) % Modulus; }
    inline ModInt inv(void) const { return inv(value); }
    ModInt inv(const ll& n) const {
        ll a = n, b = Modulus, u = 1, v = 0;
        while (b) {
            ll t = a / b;
            a -= t * b;
            swap(a, b);
            u -= t * v;
            swap(u, v);
        }
        if (u %= Modulus, u < 0) u += Modulus;
        return u;
    }
    ModInt pow(ll n) const {
        assert(0 <= n);
        if (!n) return 1;
        ModInt t = pow(n >> 1);
        t *= t;
        if (n & 1) t *= (*this);
        return t;
    }
    friend inline ModInt operator+(const ModInt& lhs, const ModInt& rhs) noexcept { return ModInt(lhs) += rhs; }
    friend inline ModInt operator-(const ModInt& lhs, const ModInt& rhs) noexcept { return ModInt(lhs) -= rhs; }
    friend inline ModInt operator*(const ModInt& lhs, const ModInt& rhs) noexcept { return ModInt(lhs) *= rhs; }
    friend inline ModInt operator/(const ModInt& lhs, const ModInt& rhs) noexcept { return ModInt(lhs) /= rhs; }
    friend inline bool operator==(const ModInt& lhs, const ModInt& rhs) noexcept { return lhs.value == rhs.value; }
    friend inline bool operator!=(const ModInt& lhs, const ModInt& rhs) noexcept { return lhs.value != rhs.value; }
    friend inline istream& operator>>(istream& is, ModInt& x) noexcept {
        ll val;
        is >> val;
        x = val;
        return is;
    }
    friend inline ostream& operator<<(ostream& os, const ModInt& x) noexcept { return os << x.value; }
};
using mint = ModInt<ll(1e9 + 7)>;

int main() {
    ll n, p; IN(n, p);
    mint nnn = 1;
    mint cnt = 0;
    rep(i, 1, n + 1) {
        nnn *= i;
        if (i % p == 0) {
            cnt += 1;
        }
    }
    nnn = nnn.pow(nnn.value);
    OUT(cnt * nnn);
    return 0;
}
0