結果
| 問題 | 
                            No.644 G L C C D M
                             | 
                    
| コンテスト | |
| ユーザー | 
                             vjudge1
                         | 
                    
| 提出日時 | 2025-09-20 17:18:01 | 
| 言語 | C++11(廃止可能性あり)  (gcc 13.3.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 20 ms / 2,000 ms | 
| コード長 | 1,177 bytes | 
| コンパイル時間 | 1,332 ms | 
| コンパイル使用メモリ | 158,728 KB | 
| 実行使用メモリ | 15,752 KB | 
| 最終ジャッジ日時 | 2025-09-20 17:18:05 | 
| 合計ジャッジ時間 | 2,874 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 27 | 
ソースコード
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define int ll
const int mod = 1e9 + 7;
const int N = 5e5 + 7;
bool vis[N];
int fac[N], pr[N], tot = 0, mu[N];
signed main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    fac[0] = 1;
    for (int i = 1; i < N; i++)
        fac[i] = fac[i - 1] * i % mod;
    vis[1] = 1;
    mu[1] = 1;
    for (int i = 2; i < N; i++)
    {
        if (!vis[i])
            pr[++tot] = i, mu[i] = -1;
        for (int j = 1; j <= tot && i * pr[j] < N; j++)
        {
            vis[i * pr[j]] = 1;
            if (i % pr[j] == 0)
                break;
            mu[i * pr[j]] = -mu[i];
        }
    }
    for (int i = 2; i < N; i++)
        (mu[i] += mu[i - 1]) %= mod;
    for (int i = 1; i < N; i++)
        mu[i] = (mu[i] % mod + mod) % mod;
    int n, m;
    cin >> n >> m;
    if (m >= n)
    {
        cout << 0;
        return 0;
    }
    int res = mod - 1;
    for (int L = 1, R; L <= n / m; L = R + 1)
    {
        R = n / m / (n / m / L);
        (res += ((mu[R] - mu[L - 1]) % mod + mod) % mod * (n / m / L) % mod * (n / m / L) % mod) %= mod;
    }
    cout << res * fac[n - 2] % mod;
}
            
            
            
        
            
vjudge1