結果
| 問題 | 
                            No.1917 LCMST
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2023-02-11 02:40:31 | 
| 言語 | C++14  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 3,060 bytes | 
| コンパイル時間 | 1,647 ms | 
| コンパイル使用メモリ | 178,372 KB | 
| 実行使用メモリ | 140,928 KB | 
| 最終ジャッジ日時 | 2024-07-07 19:31:15 | 
| 合計ジャッジ時間 | 21,894 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 9 WA * 33 | 
ソースコード
#include <bits/stdc++.h>
#define endl '\n'
using namespace std;
const int maxn = 1e5 + 3;
const long long inf = 1e18;
const int bucket = 300; 
int n;
bool is[maxn];
long long ans;
deque <int> taken[maxn], not_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) {
    vector <int> d = get_divisors(x); 
    for (auto i: d)
        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) {
    auto d = get_divisors(x);
    for (auto i: d)
        if (i > bucket)
            for (auto j: not_taken[i])
                if (is[j])
                    pq.push(edge(x, j, (long long)x * j / i));
}
edge get_best_edge(priority_queue <edge> &pq) { 
    while (!pq.empty()) {
        auto e = pq.top();
        if (!is[e.from] && !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].front()]) {
        taken[idx].push_back(not_taken[idx].front());
        not_taken[idx].pop_front();
    }
    if (not_taken[idx].empty() || taken[idx].empty())
        return edge(-1, -1, inf);
    return edge(not_taken[idx].front(), taken[idx].front(), (long long)not_taken[idx].front() * taken[idx].front() / 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 = 1; i < maxn; 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--;
            for (auto j: get_divisors(i)) {
                taken[j].push_back(i);
                not_taken[j].pop_front();
            }
            while (left) {
                auto e = get_best_edge(pq);
                e = max(e, get_multiple());
                ans += e.w;
                is[e.to] = is[e.from] = false;
                left--;
            }
            break;
        }
    cout << ans << endl;
}
int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    read();
    solve();
}