Submission #681324

# Submission time Handle Problem Language Result Execution time Memory
681324 2023-01-12T18:25:50 Z nutella Collapse (JOI18_collapse) C++17
0 / 100
10126 ms 524288 KB
#include <bits/stdc++.h>
#include "collapse.h"

using namespace std;
using ll = long long;

constexpr int inf = 1e9 + 7;

struct DSU {
    vector<int> p, sz;
    vector<pair<int, int>> rb;

    DSU(int n) : p(n), sz(n, 1) {
        iota(p.begin(), p.end(), 0);
    }

    DSU() = default;

    int get(int x) {
        return p[x] == x ? x : p[x] = get(p[x]);
    }

    bool unite(int a, int b) {
        a = get(a), b = get(b);
        if (a == b) return false;
        if (sz[a] < sz[b]) swap(a, b);
        p[b] = a;
        rb.emplace_back(a, b);
        sz[a] += sz[b];
        return true;
    }

    void undo() {
        auto [a, b] = rb.back();
        p[b] = b;
        sz[a] -= sz[b];
        rb.pop_back();
    }

    void rollback(int siz) {
        while (rb.size() > siz) {
            undo();
        }
    }
};

void my_assert(bool f) {
    while (!f) {
        cout << "here" << endl;
    }
}

std::vector<int> simulateCollapse(int n, std::vector<int> T, std::vector<int> X, std::vector<int> Y, std::vector<int> W,
                                  std::vector<int> P) {
    const int q = P.size(), c = T.size();


    map<pair<int, int>, int> last;

    vector<array<int, 4>> e;

    for (int i = 0; i < c; ++i) {
        if (X[i] > Y[i]) {
            swap(X[i], Y[i]);
        }
        if (T[i] == 0) {
            last[{X[i], Y[i]}] = i;
        } else {
            e.push_back({last[{X[i], Y[i]}], i, X[i], Y[i]});
            last.erase({X[i], Y[i]});
        }
    }

    for (auto [x, y] : last) {
        e.push_back({y, c, x.first, x.second});
    }

    const int sze = e.size();

    vector<array<int, 3>> events;
    for (int i = 0; i < sze; ++i) {
        events.push_back({e[i][0], 0, i});
        events.push_back({e[i][1], -1, i});
    }

    for (int i = 0; i < q; ++i) {
        events.push_back({W[i], 1, i});
    }

    sort(events.begin(), events.end());


    vector<array<int, 3>> a;
    for (int i = 0; i < sze; ++i) {
        a.push_back({e[i][2], -1, i});
        a.push_back({e[i][3], -2, i});
    }
    for (int i = 0; i < q; ++i) {
        a.push_back({P[i], 0, i});
    }
    sort(a.begin(), a.end());

    constexpr int B = 1;

    const int siz = (a.size() + B - 1) / B, sza = a.size();

    vector<DSU> data(siz);
    for (int i = 0; i < siz; ++i) {
        data[i] = DSU(n);
    }
    vector<int> alive(sza);

    vector<int> ans(q);
    int cntt = 0;
    for (auto [tx, type, i] : events) {
        if (type == -1) {
//            my_assert(cntt == q);
            break;
        } else if (type == 0) {
            int x = e[i][2], y = e[i][3];
            int fi = lower_bound(a.begin(), a.end(), array{x, -1, i}) - a.begin();
            int se = lower_bound(a.begin(), a.end(), array{y, -2, i}) - a.begin();
            auto aa = array{x, -1, i};
            my_assert(a[fi] == aa);
            aa = array{y, -2, i};
            my_assert(a[se] == aa);
            int block1 = fi / B, block2 = se / B;
            for (int j = 0; j < block1; ++j) {
//                if (j == 8) {
//                    cout << x << " " << y << endl;
//                }
                data[j].unite(x, y);
            }
            for (int j = block2 + 1; j < siz; ++j) {

//                if (j == 8) {
//                    cout << x << " " << y << endl;
//                }
                data[j].unite(x, y);
            }
            alive[fi] = 1, alive[se] = 2;
//            cout << "added: " << x << " " << y << endl;
//            cout << fi << ": 1\n" << se << ": 2\n";
        } else {
            cntt += 1;
            int pos = lower_bound(a.begin(), a.end(), array{P[i], 0, i}) - a.begin();
//            cout << pos << endl;
            int block = pos / B;
            int save = data[block].rb.size();
            int lim = block * B;
            int limr = min(sza, lim + B);
            for (int j = lim; j < limr; ++j) {
                if (alive[j]) {
                    int jj = a[j][2];
                    if (e[jj][2] > P[i] || e[jj][3] <= P[i]) {
                        data[block].unite(e[jj][2], e[jj][3]);
                    }
                }
            }
            ans[i] = n - data[block].rb.size();
            data[block].rollback(save);
        }
    }

    return ans;
}

Compilation message

collapse.cpp: In member function 'void DSU::rollback(int)':
collapse.cpp:41:26: warning: comparison of integer expressions of different signedness: 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   41 |         while (rb.size() > siz) {
      |                ~~~~~~~~~~^~~~~
# Verdict Execution time Memory Grader output
1 Incorrect 6 ms 2204 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 63 ms 18616 KB Output is correct
2 Incorrect 79 ms 18696 KB Output isn't correct
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 66 ms 18480 KB Output is correct
2 Correct 99 ms 22640 KB Output is correct
3 Correct 124 ms 29756 KB Output is correct
4 Correct 144 ms 29612 KB Output is correct
5 Correct 1408 ms 198180 KB Output is correct
6 Correct 10126 ms 215824 KB Output is correct
7 Runtime error 347 ms 524288 KB Execution killed with signal 9
8 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 6 ms 2204 KB Output isn't correct
2 Halted 0 ms 0 KB -