Submission #218757

# Submission time Handle Problem Language Result Execution time Memory
218757 2020-04-02T17:17:58 Z Vimmer Matching (COCI20_matching) C++14
58 / 110
1968 ms 524292 KB
#include <bits/stdc++.h>

//#pragma GCC optimize("unroll-loops")
//#pragma GCC optimize("-O3")
//#pragma GCC optimize("Ofast")
//#pragma GCC optimize("fast-math")
//#pragma GCC optimize("no-stack-protector")

#define F first
#define S second
#define sz(x) int(x.size())
#define pb push_back
#define N 100001

using namespace std;

int x[N], y[N], a[N][2], n, xr[N], yr[N];

set <int> tx[N * 4], ty[N * 4], alone;

set <pair <int, int> > tx_del[N * 4], ty_del[N * 4];

vector <pair <int, char> > psh[N * 4];

vector <pair <pair <int, int>, char>  > psh_del[N * 4];

bool mk[N], mkr[N][2];

vector <pair <int, int> > g, gr;

void Push(int v, int tl, int tr)
{
    while (sz(psh[v]) > 0)
    {
        pair <int, char> val = psh[v].back();

        psh[v].pop_back();

        if (val.S == 'a') tx[v].insert(val.F); else ty[v].insert(val.F);

        if (tl != tr) {psh[v + v].pb(val); psh[v + v + 1].pb(val);}
    }

}
void upd(int v, int tl, int tr, int l, int r, int val, bool f)
{
    if (r < tl || tr < l) return;

    if (l <= tl && tr <= r) {if (!f) psh[v].pb({val, 'a'}); else psh[v].pb({val, 'b'}); return;}

    int md = (tl + tr) >> 1;

    upd(v + v, tl, md, l, r, val, f);

    upd(v + v + 1, md + 1, tr, l, r, val, f);
}

void Push_del(int v, int tl, int tr)
{
    while (sz(psh_del[v]) > 0)
    {
        pair <pair <int, int>, char>  pt = psh_del[v].back();

        psh_del[v].pop_back();

        if (pt.S == 'a') tx_del[v].insert(pt.F); else if (pt.S == 'b') ty_del[v].insert(pt.F);
          else if (pt.S == 'c') tx_del[v].erase(pt.F); else ty_del[v].erase(pt.F);

        if (tl != tr) {psh_del[v + v].pb(pt); psh_del[v + v + 1].pb(pt); }
    }
}

void upd_del(int v, int tl, int tr, int l, int r, pair <int, int> val, bool f)
{
    if (tl > tr || l > r || r < tl || tr < l) return;

    if (l <= tl && tr <= r) {if (!f) psh_del[v].pb({val, 'a'}); else psh_del[v].pb({val, 'b'}); return;}

    int md = (tl + tr) >> 1;

    upd_del(v + v, tl, md, l, r, val, f);

    upd_del(v + v + 1, md + 1, tr, l, r, val, f);
}

void upd_remove(int v, int tl, int tr, int l, int r, pair <int, int> val, bool f)
{
    if (tl > tr || l > r || r < tl || tr < l) return;

    if (l <= tl && tr <= r) {if (!f) psh_del[v].pb({val, 'c'}); else psh_del[v].pb({val, 'd'}); return;}

    int md = (tl + tr) >> 1;

    upd_remove(v + v, tl, md, l, r, val, f);

    upd_remove(v + v + 1, md + 1, tr, l, r, val, f);
}

bool good(int v, int tl, int tr, int pos, int l, int r, bool f)
{
    Push(v, tl, tr);

    if (tl == tr)
    {
        set <int> :: iterator it;

        if (f)
        {
            it = ty[v].lower_bound(l);

            return (it == ty[v].end() ? 1 : *it > r);
        }
        else
        {
            it = tx[v].lower_bound(l);

            return (it == tx[v].end() ? 1 : *it > r);
        }
    }
    else
    {
        int md = (tl + tr) >> 1;

        if (pos <= md) return good(v + v, tl, md, pos, l, r, f);

        return good(v + v + 1, md + 1, tr, pos, l, r, f);
    }
}

void add_remove(int fr, int sc, int nm)
{
    if (!mk[fr]) alone.insert(fr);

    if (!mk[sc]) alone.insert(sc);

    if (x[fr] == x[sc])
    {
        if (y[fr] > y[sc]) swap(fr, sc);

        upd_remove(1, 1, N, y[fr], y[sc], {x[fr], nm }, 1);
    }
    else
    {
        if (x[fr] > x[sc]) swap(fr, sc);

        upd_remove(1, 1, N, x[fr], x[sc], {y[fr], nm }, 0);
    }
}

void good_del(int v, int tl, int tr, int pos, int l, int r, bool f)
{
    Push_del(v, tl, tr);

    if (tl == tr)
    {
        set <pair <int, int> > :: iterator it;

        if (f)
        {
            it = ty_del[v].lower_bound({l, -1e9});

            while (it != ty_del[v].end() && (*it).F <= r) {add_remove(gr[(*it).S].F, gr[(*it).S].S, (*it).S); it++;}
        }
        else
        {
            it = tx_del[v].lower_bound({l, -1e9});

            while (it != tx_del[v].end() && (*it).F <= r) {add_remove(gr[(*it).S].F, gr[(*it).S].S, (*it).S); it++;}
        }
    }
    else
    {
        int md = (tl + tr) >> 1;

        if (pos <= md) good_del(v + v, tl, md, pos, l, r, f);
          else  good_del(v + v + 1, md + 1, tr, pos, l, r, f);
    }
}

bool gd(int fr, int sc)
{
    if (x[fr] == x[sc])
    {
        if (y[fr] > y[sc]) swap(fr, sc);

        return good(1, 1, N - 1, x[fr], y[fr], y[sc], 0);
    }
    else
    {
        if (x[fr] > x[sc]) swap(fr, sc);

        return good(1, 1, N - 1, y[fr], x[fr], x[sc], 1);
    }
}

void seacrh(int fr, int sc)
{
    if (x[fr] == x[sc])
    {
        if (y[fr] > y[sc]) swap(fr, sc);

        good_del(1, 1, N, x[fr], y[fr], y[sc], 0);
    }
    else
    {
        if (x[fr] > x[sc]) swap(fr, sc);

        good_del(1, 1, N, y[fr], x[fr], x[sc], 1);
    }
}

void add(int fr, int sc)
{
    if (x[fr] == x[sc])
    {
        g.pb({fr, sc});

        if (y[fr] > y[sc]) swap(fr, sc);

        upd(1, 1, N - 1, y[fr], y[sc], x[fr], 1);

        seacrh(fr, sc);
    }
    else
    {
        g.pb({fr, sc});

        if (x[fr] > x[sc]) swap(fr, sc);

        upd(1, 1, N - 1, x[fr], x[sc], y[fr], 0);

        seacrh(fr, sc);
    }
}

void clr(int x)
{
    mk[x] = 1;

    if (a[x][1] != -1) {if (!mk[a[x][1]])  alone.insert(a[x][1]); a[x][1] = a[a[x][1]][1] = -1;}

    if (a[x][0] != -1) {if (!mk[a[x][0]])  alone.insert(a[x][0]); a[x][0] = a[a[x][0]][0] = -1;}
}


void fnd()
{
    while (sz(alone) > 0)
    {
        int v = *alone.begin();

        alone.erase(alone.begin());

        if (mk[v]) continue;

        if (a[v][1] != -1 && gd(v, a[v][1])) {add(v, a[v][1]); clr(a[v][1]); clr(v); continue;}

        if (a[v][0] != -1 && gd(v, a[v][0])) {add(v, a[v][0]); clr(a[v][0]); clr(v); continue;}

        cout << "NE" << endl;

        exit(0);
    }

    for (int i = 0; i < n; i++)
    {
        if (mk[i]) continue;

        g.pb({i, a[i][0]});

        clr(a[i][0]);

        clr(i);
    }
}

void add_del(int fr, int sc)
{
    if (x[fr] == x[sc])
    {
        if (mkr[fr][0]) return;

        mkr[fr][0] = 1;

        mkr[sc][0] = 1;

        if (y[fr] > y[sc]) swap(fr, sc);

        upd_del(1, 1, N, y[fr], y[sc], {x[fr], sz(gr) }, 1);

        gr.pb({fr, sc});
    }
    else
    {
        if (mkr[fr][1]) return;

        mkr[fr][1] = 1;

        mkr[sc][1] = 1;

        if (x[fr] > x[sc]) swap(fr, sc);

        upd_del(1, 1, N, x[fr], x[sc], {y[fr], sz(gr) }, 0);

        gr.pb({fr, sc});
    }
}
int main()
{
    ios_base::sync_with_stdio(0); istream::sync_with_stdio(0); cin.tie(0); cout.tie(0);

    cin >> n;

    for (int i = 1; i < N; i++) xr[i] = yr[i] = -1;

    for (int i = 0; i < n; i++) {cin >> x[i] >> y[i]; a[i][0] = a[i][1] = -1;}

    for (int i = 0; i < n; i++)
        {
            int X = x[i], Y = y[i];

            if (xr[X] == -1) xr[X] = i; else {a[i][0] = xr[X]; a[xr[X]][0] = i;}

            if (yr[Y] == -1) yr[Y] = i; else {a[i][1] = yr[Y]; a[yr[Y]][1] = i;}
        }

    for (int i = 0; i < n; i++)
    {
        if (a[i][0] == a[i][1] && a[i][1] == -1) {cout << "NE" << endl; exit(0);}

        if (a[i][0] == -1 || a[i][1] == -1) alone.insert(i); else {add_del(i, a[i][0]); add_del(i, a[i][1]);}
    }

    fnd();

    if (sz(g) != n / 2) {cout << "NE" << endl; exit(0);}

    cout << "DA" << endl;

    for (auto it : g) cout << it.F + 1 << " " << it.S + 1 << endl;
}
# Verdict Execution time Memory Grader output
1 Correct 59 ms 95096 KB Output is correct
2 Correct 59 ms 95100 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 59 ms 95096 KB Output is correct
2 Correct 59 ms 95100 KB Output is correct
3 Correct 59 ms 95096 KB Output is correct
4 Correct 60 ms 95072 KB Output is correct
5 Correct 58 ms 95096 KB Output is correct
6 Correct 58 ms 95020 KB Output is correct
7 Correct 58 ms 95096 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 59 ms 95096 KB Output is correct
2 Correct 59 ms 95100 KB Output is correct
3 Correct 59 ms 95096 KB Output is correct
4 Correct 60 ms 95072 KB Output is correct
5 Correct 58 ms 95096 KB Output is correct
6 Correct 58 ms 95020 KB Output is correct
7 Correct 58 ms 95096 KB Output is correct
8 Correct 60 ms 95224 KB Output is correct
9 Correct 61 ms 95096 KB Output is correct
10 Correct 59 ms 95096 KB Output is correct
11 Correct 59 ms 95096 KB Output is correct
12 Correct 58 ms 95096 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 59 ms 95096 KB Output is correct
2 Correct 59 ms 95100 KB Output is correct
3 Correct 59 ms 95096 KB Output is correct
4 Correct 60 ms 95072 KB Output is correct
5 Correct 58 ms 95096 KB Output is correct
6 Correct 58 ms 95020 KB Output is correct
7 Correct 58 ms 95096 KB Output is correct
8 Correct 60 ms 95224 KB Output is correct
9 Correct 61 ms 95096 KB Output is correct
10 Correct 59 ms 95096 KB Output is correct
11 Correct 59 ms 95096 KB Output is correct
12 Correct 58 ms 95096 KB Output is correct
13 Correct 66 ms 96120 KB Output is correct
14 Correct 71 ms 96552 KB Output is correct
15 Correct 68 ms 96632 KB Output is correct
16 Correct 70 ms 96888 KB Output is correct
17 Correct 73 ms 97316 KB Output is correct
18 Correct 67 ms 96120 KB Output is correct
19 Correct 68 ms 96504 KB Output is correct
20 Correct 66 ms 95864 KB Output is correct
21 Correct 64 ms 95608 KB Output is correct
22 Correct 62 ms 95480 KB Output is correct
23 Correct 187 ms 133112 KB Output is correct
24 Correct 183 ms 130552 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 59 ms 95096 KB Output is correct
2 Correct 59 ms 95100 KB Output is correct
3 Correct 59 ms 95096 KB Output is correct
4 Correct 60 ms 95072 KB Output is correct
5 Correct 58 ms 95096 KB Output is correct
6 Correct 58 ms 95020 KB Output is correct
7 Correct 58 ms 95096 KB Output is correct
8 Correct 60 ms 95224 KB Output is correct
9 Correct 61 ms 95096 KB Output is correct
10 Correct 59 ms 95096 KB Output is correct
11 Correct 59 ms 95096 KB Output is correct
12 Correct 58 ms 95096 KB Output is correct
13 Correct 66 ms 96120 KB Output is correct
14 Correct 71 ms 96552 KB Output is correct
15 Correct 68 ms 96632 KB Output is correct
16 Correct 70 ms 96888 KB Output is correct
17 Correct 73 ms 97316 KB Output is correct
18 Correct 67 ms 96120 KB Output is correct
19 Correct 68 ms 96504 KB Output is correct
20 Correct 66 ms 95864 KB Output is correct
21 Correct 64 ms 95608 KB Output is correct
22 Correct 62 ms 95480 KB Output is correct
23 Correct 187 ms 133112 KB Output is correct
24 Correct 183 ms 130552 KB Output is correct
25 Correct 1347 ms 339628 KB Output is correct
26 Correct 1968 ms 477804 KB Output is correct
27 Correct 1164 ms 293736 KB Output is correct
28 Correct 1353 ms 340984 KB Output is correct
29 Correct 839 ms 243560 KB Output is correct
30 Correct 832 ms 242828 KB Output is correct
31 Correct 1500 ms 382212 KB Output is correct
32 Correct 1193 ms 313664 KB Output is correct
33 Correct 342 ms 132644 KB Output is correct
34 Correct 357 ms 139240 KB Output is correct
35 Correct 183 ms 104540 KB Output is correct
36 Correct 406 ms 124224 KB Output is correct
37 Runtime error 1594 ms 524292 KB Execution killed with signal 9 (could be triggered by violating memory limits)
38 Halted 0 ms 0 KB -