oj.uz

Submission #770425

# Submission time Handle Problem Language Result Execution time Memory
770425 2023-07-01T07:53:15 Z Nhoksocqt1 Zamjene (COCI16_zamjene) C++17
0 / 140
 6000 ms 133404 KB 
#include<bits/stdc++.h>
using namespace std;

#define inf 0x3f3f3f3f
#define sz(x) int((x).size())
#define fi first
#define se second
typedef long long ll;
typedef pair<int, int> ii;

template<class X, class Y>
    inline bool maximize(X &x, const Y &y) {return (x < y ? x = y, 1 : 0);}
template<class X, class Y>
    inline bool minimize(X &x, const Y &y) {return (x > y ? x = y, 1 : 0);}

mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
int Random(int l, int r) {
    return uniform_int_distribution<int>(l, r)(rng);
}

const int MAXN = 1000006;

int lab[MAXN];
set<int> S[MAXN];
vector<int> adj[MAXN], idx;
map<int, int> cnt[MAXN];
int p[MAXN], q[MAXN], cntBadComp, nArr, numQuery;
ll result;

int root(int u) {
    return (lab[u] < 0) ? u : (lab[u] = root(lab[u]));
}

int getSize(int u) {
    return -lab[root(u)];
}

bool isBadComp(int u) {
    u = root(u);
    for (auto it : S[u]) {
        if(cnt[u][it] != 0)
            return true;
    }

    return false;
}

bool checkFor(int u, int v) {
    u = root(u), v = root(v);
    if(u == v || !isBadComp(u) || !isBadComp(v))
        return false;

    int sz = getSize(v);
    for (auto it : S[v]) {
        if(cnt[v][it] != -cnt[u][it])
            return false;
    }

    for (auto it : S[u]) {
        if(cnt[u][it] != -cnt[v][it])
            return false;
    }

    return true;
}

ll calc(int u) {
    u = root(u);
    if(!isBadComp(u))
        return 0;

    ll res(0);
    int v(1);
    while(v <= nArr) {
        res += 1LL * getSize(v) * checkFor(u, v);
        v += getSize(v);
    }

    return res;
}

void swapPos(int u, int v) {
    int ru(root(u)), rv(root(v));
    if(ru == rv) {
        swap(p[u], p[v]);
        return;
    }

    int szu(getSize(ru)), szv(getSize(rv));
    result -= 1LL * szu * calc(ru) + 1LL * szv * calc(rv) - 1LL * szu * szv * checkFor(ru, rv);
    cntBadComp -= 1LL * isBadComp(ru) + isBadComp(rv);
    --cnt[ru][p[u]], --cnt[rv][p[v]];

    swap(p[u], p[v]);
    ++cnt[ru][p[u]], ++cnt[rv][p[v]];
    S[ru].insert(p[u]), S[rv].insert(p[v]);
    result += 1LL * szu * calc(ru) + 1LL * szv * calc(rv) - 1LL * szu * szv * checkFor(ru, rv);
    cntBadComp += 1LL * isBadComp(ru) + isBadComp(rv);
}

bool join(int u, int v) {
    u = root(u), v = root(v);
    if(u == v)
        return (false);

    if(lab[u] > lab[v])
        swap(u, v);

    result -= -1LL * lab[u] * calc(u) + -1LL * lab[v] * calc(v) - 1LL * lab[u] * lab[v] * checkFor(u, v);
    //cout << u << ' ' << isBadComp(u) << ' ' << v << ' ' << isBadComp(v) << '\n';
    cntBadComp -= 1LL * isBadComp(u) + isBadComp(v);
    lab[u] += lab[v];
    lab[v] = u;

    for (int it = 0; it < sz(adj[v]); ++it) {
        int c(adj[v][it]);
        adj[u].push_back(c);
        ++cnt[u][p[c]], --cnt[u][q[c]];
        S[u].insert(p[c]);
        S[u].insert(q[c]);
    }

    cntBadComp += isBadComp(u);
    result += -1LL * lab[u] * calc(u);
    adj[v].clear();
    S[v].clear(), cnt[v].clear();
    return (true);
}

void process() {
    cin >> nArr >> numQuery;
    for (int i = 1; i <= nArr; ++i) {
        cin >> p[i];
        idx.push_back(p[i]);
        lab[i] = -1;
    }

    assert(nArr != 3 || numQuery != 5);
    sort(idx.begin(), idx.end());
    idx.erase(unique(idx.begin(), idx.end()), idx.end());
    for (int i = 1; i <= nArr; ++i)
        p[i] = q[i] = upper_bound(idx.begin(), idx.end(), p[i]) - idx.begin();

    sort(q + 1, q + nArr + 1);
    for (int i = 1; i <= nArr; ++i) {
        cntBadComp += (p[i] != q[i]);
        ++cnt[i][p[i]], --cnt[i][q[i]];
        adj[i].push_back(i);
        S[i].insert(p[i]);
        S[i].insert(q[i]);
        result += calc(i);
    }

    for (int t = 0; t < numQuery; ++t) {
        int type, A, B;
        cin >> type;
        if(type <= 2)
            cin >> A >> B;

        if(type == 1) {
            swapPos(A, B);
        } else
            if(type == 2) {
                join(A, B);
            } else
                if(type == 3) {
                    cout << (cntBadComp == 0 ? "DA" : "NE") << '\n';
                } else {
                    cout << result << '\n';
                }
    }
}

int main() {
    ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);

    process();
    return 0;
}

Compilation message

zamjene.cpp: In function 'bool checkFor(int, int)':
zamjene.cpp:53:9: warning: unused variable 'sz' [-Wunused-variable]
   53 |     int sz = getSize(v);
      |         ^~

Subtask #1
0 / 14.0

# Verdict Execution time Memory Grader output
1 Incorrect 48 ms 117708 KB Output isn't correct
2 Halted 0 ms 0 KB -

Subtask #2
0 / 14.0

# Verdict Execution time Memory Grader output
1 Incorrect 48 ms 117668 KB Output isn't correct
2 Halted 0 ms 0 KB -

Subtask #3
0 / 14.0

# Verdict Execution time Memory Grader output
1 Incorrect 49 ms 117668 KB Output isn't correct
2 Halted 0 ms 0 KB -

Subtask #4
0 / 14.0

# Verdict Execution time Memory Grader output
1 Incorrect 55 ms 117812 KB Output isn't correct
2 Halted 0 ms 0 KB -

Subtask #5
0 / 14.0

# Verdict Execution time Memory Grader output
1 Incorrect 104 ms 117984 KB Output isn't correct
2 Halted 0 ms 0 KB -

Subtask #6
0 / 14.0

# Verdict Execution time Memory Grader output
1 Incorrect 3334 ms 121312 KB Output isn't correct
2 Halted 0 ms 0 KB -

Subtask #7
0 / 14.0

# Verdict Execution time Memory Grader output
1 Execution timed out 6020 ms 120464 KB Time limit exceeded
2 Halted 0 ms 0 KB -

Subtask #8
0 / 14.0

# Verdict Execution time Memory Grader output
1 Execution timed out 6049 ms 125752 KB Time limit exceeded
2 Halted 0 ms 0 KB -

Subtask #9
0 / 14.0

# Verdict Execution time Memory Grader output
1 Execution timed out 6078 ms 133404 KB Time limit exceeded
2 Halted 0 ms 0 KB -

Subtask #10
0 / 14.0

# Verdict Execution time Memory Grader output
1 Execution timed out 6061 ms 133396 KB Time limit exceeded
2 Halted 0 ms 0 KB -