結果
| 問題 | 
                            No.1917 LCMST
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2023-02-11 04:53:37 | 
| 言語 | C++14  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 3,257 ms / 4,000 ms | 
| コード長 | 2,968 bytes | 
| コンパイル時間 | 2,157 ms | 
| コンパイル使用メモリ | 175,124 KB | 
| 実行使用メモリ | 145,540 KB | 
| 最終ジャッジ日時 | 2024-07-07 21:06:25 | 
| 合計ジャッジ時間 | 46,606 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 42 | 
ソースコード
#include <bits/stdc++.h>
#pragma GCC optimize("O3")
#define endl '\n'
using namespace std;
const int maxn = 1e5 + 3;
const long long inf = 1e18;
const int bucket = 700; 
int n;
bool is[maxn];
long long ans;
vector <int> not_taken[maxn];
int taken[maxn];
vector <int> get_divisors(int x) {
    vector <int> ans;
    for (int i = 1; i * i <= x; i++)
        if (x % i == 0) {
            ans.push_back(i);
            if (i * i != x)
                ans.push_back(x / i);
        }
    return ans;
}
void add_num(int x) {
    for (auto i: get_divisors(x))
        not_taken[i].push_back(x);
}
void read() {
    cin >> n;
    for (int i = 1; i <= n; i++) {
        int x;
        cin >> x;
        if (is[x]) {
            ans += x;
            continue;
        }  
        is[x] = true;
    } 
}
struct edge {
    int from, to;
    long long w;
    edge(int _from, int _to, long long _w) {from = _from, to = _to, w = _w;}
    bool operator < (const edge &other) const {
        return w > other.w;
    }
};
ostream &operator << (ostream &out, const edge &e) {
    out << "edge from " << e.from << " to " << e.to << " with weight " << e.w << endl;
    return out;
}
void add_edges(int x, priority_queue <edge> &pq) {
    for (auto i: get_divisors(x)) {
        if (i > bucket) {
            for (auto j: not_taken[i])
                if (is[j])
                    pq.push(edge(x, j, (long long)x * j / i));         
        }
        else {
            if (!taken[i] || x < taken[i])
                taken[i] = x;
        }
    }
}
edge get_best_edge(priority_queue <edge> &pq) { 
    while (!pq.empty()) {
        auto e = pq.top();
        if (!is[e.to]) {
            pq.pop();
            continue;
        }
        return e;
    } 
    return edge(-1, -1, inf);
}
edge get_single(int idx) {
    while (!not_taken[idx].empty() && !is[not_taken[idx].back()])
        not_taken[idx].pop_back();
    if (not_taken[idx].empty() || !taken[idx])
        return edge(-1, -1, inf);
    int a = taken[idx], b = not_taken[idx].back();
    return edge(a, b, (long long)a * b / idx);
}
edge get_multiple() {
    edge ans = {-1, -1, inf};
    for (int i = 1; i <= bucket; i++)
        ans = max(ans, get_single(i));
    return ans;
}
void solve() {
    int left = 0;
    for (int i = maxn-1; i >= 1; i--)
        if (is[i])
            add_num(i), left++;
    for (int i = 1; i < maxn; i++)
        if (is[i]) {
            is[i] = false;
            priority_queue <edge> pq;
            add_edges(i, pq);
            left--;
            while (left) {
                auto e = get_best_edge(pq);
                e = max(e, get_multiple());
                ans += e.w;
                is[e.to] = is[e.from] = false;
                add_edges(e.to, pq);
                left--;
            }
            break;
        }
    cout << ans << endl;
}
int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    read();
    solve();
}