結果

問題 No.1276 3枚のカード
ユーザー 🍮かんプリン🍮かんプリン
提出日時 2020-11-04 19:46:12
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,143 ms / 2,000 ms
コード長 2,935 bytes
コンパイル時間 1,618 ms
コンパイル使用メモリ 171,312 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-07-22 10:01:22
合計ジャッジ時間 35,782 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 61
権限があれば一括ダウンロードができます

ソースコード

diff # 

/**
 *   @FileName	a.cpp
 *   @Author	kanpurin
 *   @Created	2020.11.03 19:24:46
 **/

#include "bits/stdc++.h"
using namespace std;
typedef long long ll;

template < int MOD >
struct mint {
public:
    long long x;
    mint(long long x = 0) : x((x % MOD + MOD) % MOD) {}
    mint(std::string& s) {
        long long z = 0;
        for (int i = 0; i < s.size(); i++) {
            z *= 10;
            z += s[i] - '0';
            z %= MOD;
        }
        this->x = z;
    }
    mint& operator+=(const mint& a) {
        if ((x += a.x) >= MOD) x -= MOD;
        return *this;
    }
    mint& operator-=(const mint& a) {
        if ((x += MOD - a.x) >= MOD) x -= MOD;
        return *this;
    }
    mint& operator*=(const mint& a) {
        (x *= a.x) %= MOD;
        return *this;
    }
    mint& operator/=(const mint& a) {
        long long n = MOD - 2;
        mint u = 1, b = a;
        while (n > 0) {
            if (n & 1) {
                u *= b;
            }
            b *= b;
            n >>= 1;
        }
        return *this *= u;
    }
    mint operator+(const mint& a) const {
        mint res(*this);
        return res += a;
    }
    mint operator-() const {
        return mint() -= *this;
    }
    mint operator-(const mint& a) const {
        mint res(*this);
        return res -= a;
    }
    mint operator*(const mint& a) const {
        mint res(*this);
        return res *= a;
    }
    mint operator/(const mint& a) const {
        mint res(*this);
        return res /= a;
    }
    friend std::ostream& operator<<(std::ostream& os, const mint& n) {
        return os << n.x;
    }
    friend std::istream& operator>>(std::istream& is, mint& n) {
        long long x;
        is >> x;
        n = mint(x);
        return is;
    }
    bool operator==(const mint& a) const {
        return this->x == a.x;
    }
    bool operator!=(const mint& a) const {
        return this->x != a.x;
    }
    mint pow(long long k) const {
        mint ret = 1;
        mint p = this->x;
        while (k > 0) {
            if (k & 1) {
                ret *= p;
            }
            p *= p;
            k >>= 1;
        }
        return ret;
    }
};

constexpr int MOD = 1e9 + 7;

// Σ[i=1→N]f(N/i)
mint<MOD> floor_sum(ll N, function<mint<MOD>(ll)> f) {
    mint<MOD> ans = 0;ll i = 1;
    for (; i * i <= N; i++) ans += f(N/i);
    for (ll k = 1; k < N/(i-1); k++) ans += f(k) * (N/k - N/(k+1));
    return ans;
}

int main() {
    int n;
    cin >> n;
    mint< MOD > ans = 0;
    // B|C かつ A,B,Cは異なる
    ans += floor_sum(n,[](ll a) {return mint<MOD>(a) - 1;});
    ans *= n - 2;
    
    // B|A かつ B|C かつ A,B,Cは異なる
    ans -= floor_sum(n,[](ll a){return mint<MOD>(a - 1) * (a - 2);});

    // A|B かつ B|C かつ A,B,Cは異なる
    ans -= floor_sum(n,[](ll a){return floor_sum(a,[](ll b){return mint<MOD>(b)-1;})-a+1;});
    
    cout << ans << endl;
    return 0;
}
0