結果

問題 No.2114 01 Matching
ユーザー suisensuisen
提出日時 2023-01-25 20:22:58
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 806 ms / 5,000 ms
コード長 2,740 bytes
コンパイル時間 1,864 ms
コンパイル使用メモリ 120,520 KB
最終ジャッジ日時 2025-02-10 06:48:25
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 51
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <algorithm>
#include <iostream>
#include <iomanip>
#include <limits>
#include <map>
#include <vector>

#include <atcoder/lazysegtree>

constexpr long long inf = std::numeric_limits<long long>::max() / 2;

long long op(long long x, long long y) {
    return std::min(x, y);
}
long long e() {
    return inf;
}
long long mapping(long long f, long long x) {
    return f + x;
}
long long composition(long long f, long long g) {
    return f + g;
}
long long id() {
    return 0;
}

long long solve(std::vector<int> a, std::vector<int> b) {
    if (a.size() > b.size()) std::swap(a, b);
    std::sort(a.begin(), a.end());
    std::sort(b.begin(), b.end());

    const int n = a.size(), m = b.size();

    std::vector<std::pair<int, bool>> v;
    for (int i = 0, j = 0; i < n or j < m;) {
        if (i == n or (j < m and b[j] < a[i])) {
            v.emplace_back(b[j++], false);
        } else {
            v.emplace_back(a[i++], true);
        }
    }
    const int l = n + m + 1;
    int z = n;
    std::vector<long long> init(l, inf);
    init[z] = 0;
    atcoder::lazy_segtree<long long, op, e, long long, mapping, composition, id> seg(init);
    for (auto [x, c] : v) {
        if (c) {
            seg.apply(z, l, -x);
            seg.apply(0, z, +x);
            --z;
        } else {
            long long t = seg.get(z);
            seg.apply(0, z + 1, -x);
            seg.apply(z + 1, l, +x);
            ++z;
            seg.set(z, std::min(t, seg.get(z)));
        }
        // for (int i = 0; i < l; ++i) {
        //     int j = i - z;
        //     long long t = seg.get(i);
        //     std::cerr << std::setw(2) << j << ":";
        //     if (t > inf / 2) std::cerr << "inf";
        //     else std::cerr << std::setw(3) << t;
        //     if (i == l - 1) {
        //         std::cerr << '\n';
        //     } else {
        //         std::cerr << ", ";
        //     }
        // }
    }
    return seg.get(z);
}

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);

    int n, m, k;
    std::cin >> n >> m >> k;

    std::map<int, std::array<std::vector<int>, 2>> mp;
    for (int i = 0; i < n; ++i) {
        int e;
        std::cin >> e;
        int q = e / k, r = e % k;
        mp[r][0].push_back(q);
    }
    for (int i = 0; i < m; ++i) {
        int e;
        std::cin >> e;
        int q = e / k, r = e % k;
        mp[r][1].push_back(q);
    }
    int num = 0;
    long long ans = 0;
    for (auto [_, qs] : mp) {
        auto [b, r] = qs;
        num += std::min(b.size(), r.size());
        ans += solve(b, r);
    }
    if (num != std::min(n, m)) {
        std::cout << -1 << std::endl;
    } else {
        std::cout << ans << std::endl;
    }
    return 0;
}
0