結果

問題 No.1233 割り切れない気持ち
ユーザー hiro71687khiro71687k
提出日時 2023-03-01 02:26:50
言語 C++17(gcc12)
(gcc 12.3.0 + boost 1.87.0)
結果
AC  
実行時間 353 ms / 3,153 ms
コード長 3,127 bytes
コンパイル時間 3,987 ms
コンパイル使用メモリ 268,596 KB
実行使用メモリ 32,256 KB
最終ジャッジ日時 2024-09-16 03:24:45
合計ジャッジ時間 14,388 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 39
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using namespace std;
using ll=long long;
using ld=double;
ld pie=3.14159265359;
ll mod=998244353;
long long inf=100000000000000001;
struct Eratosthenes {
    // テーブル
    vector<bool> isprime;

    // 整数 i を割り切る最小の素数
    vector<ll> minfactor;

    vector<ll>mobius;

    // コンストラクタで篩を回す
    Eratosthenes(ll N) : isprime(N+1, true),
                          minfactor(N+1, -1),
                          mobius(N+1,1) {
        // 1 は予めふるい落としておく
        isprime[1] = false;
        minfactor[1] = 1;

        // 篩
        for (ll p = 2; p <= N; ++p) {
            // すでに合成数であるものはスキップする
            if (!isprime[p]) continue;

            // p についての情報更新
            minfactor[p] = p;
            mobius[p]=-1;

            // p 以外の p の倍数から素数ラベルを剥奪
            for (ll q = p * 2; q <= N; q += p) {
                // q は合成数なのでふるい落とす
                isprime[q] = false;

                // q は p で割り切れる旨を更新
                if (minfactor[q] == -1) minfactor[q] = p;
                if ((q / p) % p == 0) mobius[q] = 0;
                else mobius[q] = -mobius[q];
            }
        }
    }

    // 高速素因数分解
    // pair (素因子, 指数) の vector を返す
    vector<pair<ll,ll>> factorize(ll n) {
        vector<pair<ll,ll>> res;
        while (n > 1) {
            ll p = minfactor[n];
            ll exp = 0;

            // n で割り切れる限り割る
            while (minfactor[n] == p) {
                n /= p;
                ++exp;
            }
            res.emplace_back(p, exp);
        }
        return res;
    }
    vector<ll>divisors(ll n){
        vector<ll>res({1});
        auto pf=factorize(n);
        for (auto p : pf)
        {
            ll s=(ll)res.size();
            for (ll i = 0; i < s; i++)
            {
                ll v=1;
                for (ll j = 0; j < p.second; j++)
                {
                    v*=p.first;
                    res.push_back(res[i]*v);
                }
                
            }
            
        }
        return res;
    }  
};
ll op(ll a,ll b){
    return a+b;
}
ll e(){
    return 0;
}
int main(){
    ll n;
    cin >> n;
    vector<ll>a(n);
    vector<ll>memo(300000,0);
    for (ll i = 0; i < n; i++)
    {
        cin >> a[i];
        memo[a[i]]+=1;
    }
    sort(a.begin(),a.end());
    Eratosthenes er(300000);
    vector<ll>b(500001,0);
    segtree<ll,op,e>seg1(b),seg2(b);//seg1:個数 seg2:数
    ll saigo=200001;
    ll ans=0;
    for (ll i = 0; i < n; i++)
    {
        seg1.set(a[i],seg1.get(a[i])+1);
        seg2.set(a[i],seg2.get(a[i])+a[i]);
    }
    for (ll i = a[0]; i <=a[n-1]; i++)
    {
        for (ll j = 0; j*i <=a[n-1] ; j++)
        {
            ll ko=seg1.prod(i*j+1,i*(j+1));
            ll x=seg2.prod(i*j+1,i*(j+1));
            ans+=(x-ko*j*i)*memo[i];
        }
    }
    cout << ans << endl;
}
0