結果

問題 No.2952 Invision of Multiples
ユーザー pockyny
提出日時 2025-09-18 18:08:09
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,469 ms / 4,000 ms
コード長 1,901 bytes
コンパイル時間 1,324 ms
コンパイル使用メモリ 121,524 KB
実行使用メモリ 7,716 KB
最終ジャッジ日時 2025-09-18 18:08:30
合計ジャッジ時間 19,138 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 41
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <atcoder/modint>
#include <atcoder/math>
#include <atcoder/segtree>
#include <atcoder/fenwicktree>

using namespace std;
using namespace atcoder;
using ll = long long;
using mint = modint998244353;
const int MX = 100010;
mint f[MX],inv[MX],fi[MX];
constexpr ll mod = 998244353;
void solve(){
    inv[1] = 1;
    for(int i=2;i<MX;i++){
        inv[i] = mod - (mod/i)*inv[mod%i];
    }
    f[0] = fi[0] = 1;
    for(int i=1;i<MX;i++){
        f[i] = f[i-1]*i;
        fi[i] = fi[i-1]*inv[i];
    }
}

mint nck(ll n, ll k){
    if(n<0 || k<0 || n<k) return 0;
    return f[n]*fi[k]*fi[n-k];
}

mint pw(mint a,ll x){
    mint ret = 1;
    while(x){
        if(x&1) (ret *= a);
        (a *= a); x /= 2;
    }
    return ret;
}

mint op(mint a,mint b){return a + b;}
mint e(){return 0;}

const int B = 50;
ll N[50010],d[50010],cnt[50010];
ll di[50010];
int main(){
    solve();
    ll i,j,n,m; cin >> n >> m;
    for(i=0;i<n;i++) cin >> d[i];
    for(i=1;i<=m;i++) di[i] = m/i;
    for(i=0;i<n;i++) N[i] = di[d[i]];
    mint ans = 0;
    // (?,小)
    for(i=n - 1;i>=0;i--){
        for(j=1;j<=B;j++){
            ans += inv[N[i]]*inv[di[j]]*cnt[j]*floor_sum(N[i],j,d[i],d[i] - 1);
        }
        cnt[d[i]]++;
    }
    // (小,大)
    for(j=1;j<=m;j++) cnt[j] = 0;
    for(i=0;i<n;i++){
        if(d[i]>B){
            for(j=1;j<=B;j++){
                ans += inv[N[i]]*inv[di[j]]*cnt[j]*(di[j]*N[i] - floor_sum(N[i],j,d[i],d[i]));
            }
        }
        cnt[d[i]]++;
    }
    // (大,大)
    fenwick_tree<mint> fw(m + 1);
    auto upd = [&](int pos,mint val){
        fw.add(pos,val);
    };
    for(i=n - 1;i>=0;i--){
        if(d[i]<=B) continue;
        for(j=d[i];j<=m;j+=d[i]){
            ans += fw.sum(0,j)*inv[N[i]];
        }
        for(j=d[i];j<=m;j+=d[i]) upd(j,inv[N[i]]);
    }
    for(i=0;i<n;i++) ans *= N[i];
    cout << ans.val() << "\n";
}
0