Submission #565264

# Submission time Handle Problem Language Result Execution time Memory
565264 2022-05-20T14:38:48 Z shrimb Building Skyscrapers (CEOI19_skyscrapers) C++17
51 / 100
3500 ms 45668 KB
#pragma GCC optimize ("Ofast")
#pragma GCC target ("avx,avx2,fma")

#include"bits/stdc++.h"
using namespace std;

#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;

template<class x>
using ordered_set = tree<x, null_type,less<x>, rb_tree_tag,tree_order_statistics_node_update>;

#define int long long
#define endl '\n'
#define mod 1000000007
//\
#define mod 1686876991

const int maxn = 150001;
const int dx[] = {-1, 1, 0, 0, 1, 1, -1, -1};
const int dy[] = {0, 0, 1, -1, -1, 1, -1, 1};
//
const int roundx[] = {1, 1, 0, -1, -1, -1, 0, 1, 1};
const int roundy[] = {0, 1, 1, 1, 0, -1, -1, -1, 0};

struct cell {int x, y, id;};
int n, t, ID = 0, buf;
int x[maxn], y[maxn];
cell cells[maxn];
int dsu[4 * maxn];
vector<pair<int,int>> vec[4 * maxn];
bool out[4 * maxn];

map<int,map<int,int>> Empty, Full; // maps cell to dsu
set<cell> active, expendable;

bool operator < (const cell& a, const cell& b) {
    return a.id > b.id;
}

int Find (int x) {
    return dsu[x] == x ? x : dsu[x] = Find(dsu[x]);
}

void check (const cell &c) {
    auto [u, v, id] = c;
    int prev = -1;
    bool artic = 0, sep = 0;
    map<int,pair<int,int>> mp;
    for (int w = 0 ; w < 9 ; w++) {
        int d = w%8;
        int u2 = u + roundx[d];
        int v2 = v + roundy[d];
        if (Full[u2].count(v2)) sep = 1;
        else {
            if (d & 1) {
                continue;
            }
            int cmp = Find(Empty[u2][v2]);
            if (mp.count(cmp) and sep == 1) {
                auto [pu, pv] = mp[cmp];
                bool bad = 0;
                for (int ww = w ; ; ww++) {
                    int d2 = ww % 8;
                    int u3 = u + roundx[d2];
                    int v3 = v + roundy[d2];
                    if (u3 == pu and v3 == pv) {
                        break;
                    }
                    else {
                        if (Full[u3].count(v3)) {
                            bad = 1;
                            break;
                        }
                    }
                }
                if (bad) artic = 1;
            }
            mp[cmp] = {u2, v2};
            sep = 0;
            prev = cmp;
        }
    }
    bool isout = 0;
    if (!artic) {
        for (int d = 0 ; d < 4 ; d++) {
            int u2 = u + dx[d];
            int v2 = v + dy[d];
            if (Empty[u2].count(v2)) {
                int cmp = Find(Empty[u2][v2]);
                if (out[cmp]) isout = 1;
            }
        }
    }
    if (isout and !artic) expendable.insert(c);
    else expendable.erase(c);
}


void Union (int a, int b) {
    int x = Find(a), y = Find(b);
    if (x == y) return;
    if (vec[x].size() < vec[y].size()) {
        out[y] |= out[x];
        dsu[x] = y;
        for (auto [u, v] : vec[x]) {
            vec[y].push_back({u, v});
            for (int d = 0 ; d < 8 ; d++) {
                if (Full[u + dx[d]].count(v + dy[d])) check(cells[Full[u + dx[d]][v + dy[d]]]);
            }
        }
        vec[x].clear();
    } else {
        out[x] |= out[y];
        dsu[y] = x;
        for (auto [u, v] : vec[y]) {
            vec[x].push_back({u, v});
            for (int d = 0 ; d < 8 ; d++) {
                if (Full[u + dx[d]].count(v + dy[d])) check(cells[Full[u + dx[d]][v + dy[d]]]);
            }
        }
        vec[y].clear();
    }
}

signed main () {
    cin.tie(0)->sync_with_stdio(0);
    cin >> n >> t;

    for (int i = 0 ; i < n ; i++) {
        cin >> x[i] >> y[i];
        cells[i] = {x[i], y[i], i};
        Full[x[i]][y[i]] = i;
        active.insert(cells[i]);
    }

    if (n > 1) {
        for (int i = 0 ; i < n ; i++) {
            bool good = 0;
            for (int d = 0 ; d < 8 ; d++) {
                int u = x[i] + dx[d];
                int v = y[i] + dy[d];
                good |= Full[u].count(v);
            }
            if (!good) {
                cout << "NO\n";
                return 0;
            }
        }
    }

    /* set at leat one node as out (for reference) */ {
        pair<int,int> mn = {x[0], y[0]};

        for (int i = 0 ; i < n ; i++) {
            mn = min(mn, {x[i], y[i]});
        }
        auto [u, v] = mn; u--;
        int id = Empty[u][v] = ID++;
        dsu[id] = id;
        vec[id].push_back({u, v});
        out[id] = 1;
    }

    for (int i = 0 ; i < n ; i++) {
        for (int d = 0 ; d < 8 ; d++) {
            int u = x[i] + dx[d];
            int v = y[i] + dy[d];
            if (!Full[u].count(v) and !Empty[u].count(v)) {
                int id = Empty[u][v] = ID++;
                dsu[id] = id;
                vec[id].push_back({u, v});
            }
        }
    }

    for (int i = 0 ; i < n ; i++) {
        for (int d = 0 ; d < 8 ; d++) {
            int u = x[i] + dx[d];
            int v = y[i] + dy[d];
            if (!Full[u].count(v)) {
                for (int d2 = 0 ; d2 < 4 ; d2++) {
                    int u2 = u + dx[d2];
                    int v2 = v + dy[d2];
                    if (Empty[u2].count(v2)) {
                        Union(Empty[u][v], Empty[u2][v2]);
                    }
                }
            }
        }
    }

    for (int i = 0 ; i < n ; i++) check(cells[i]);

    cout << "YES\n";

    vector<int> ans;

    while (expendable.size()) {
        auto [a, b, c] = *expendable.begin();
        expendable.erase(expendable.begin());
        ans.push_back(c + 1);
        Full[a].erase(b);
        int id = Empty[a][b] = ID++;
        dsu[id] = id;
        vec[id].push_back({a, b});
        for (int d = 0 ; d < 4 ; d++) {
            int u = a + dx[d];
            int v = b + dy[d];
            if (!Full[u].count(v) and !Empty[u].count(v)) {
                assert(0);
                int id = Empty[u][v] = ID++;
                dsu[id] = id;
                vec[id].push_back({u, v});
            }
            if (Empty[u].count(v)) {
                Union(Empty[u][v], id);
            }
        }
        for (int d = 0 ; d < 8 ; d++) {
            int u = a + dx[d];
            int v = b + dy[d];
            if (Full[u].count(v)) check(cells[Full[u][v]]);
        }
    }

    reverse(ans.begin(), ans.end());

    for (int i : ans) cout << i << "\n";
}

Compilation message

skyscrapers.cpp:17:1: warning: multi-line comment [-Wcomment]
   17 | //\
      | ^
skyscrapers.cpp: In function 'void check(const cell&)':
skyscrapers.cpp:48:9: warning: variable 'prev' set but not used [-Wunused-but-set-variable]
   48 |     int prev = -1;
      |         ^~~~
# Verdict Execution time Memory Grader output
1 Correct 9 ms 14416 KB ans=YES N=1
2 Correct 9 ms 14420 KB ans=YES N=4
3 Correct 9 ms 14420 KB ans=NO N=4
4 Correct 12 ms 14424 KB ans=YES N=5
5 Correct 10 ms 14360 KB ans=YES N=9
6 Correct 11 ms 14408 KB ans=YES N=5
7 Correct 9 ms 14428 KB ans=NO N=9
8 Correct 9 ms 14428 KB ans=NO N=10
9 Correct 9 ms 14436 KB ans=YES N=10
10 Correct 10 ms 14420 KB ans=YES N=10
11 Correct 9 ms 14424 KB ans=YES N=10
12 Correct 10 ms 14432 KB ans=YES N=9
13 Correct 9 ms 14428 KB ans=YES N=9
14 Correct 9 ms 14368 KB ans=YES N=8
15 Correct 9 ms 14424 KB ans=YES N=8
16 Correct 9 ms 14428 KB ans=NO N=2
# Verdict Execution time Memory Grader output
1 Correct 9 ms 14416 KB ans=YES N=1
2 Correct 9 ms 14420 KB ans=YES N=4
3 Correct 9 ms 14420 KB ans=NO N=4
4 Correct 12 ms 14424 KB ans=YES N=5
5 Correct 10 ms 14360 KB ans=YES N=9
6 Correct 11 ms 14408 KB ans=YES N=5
7 Correct 9 ms 14428 KB ans=NO N=9
8 Correct 9 ms 14428 KB ans=NO N=10
9 Correct 9 ms 14436 KB ans=YES N=10
10 Correct 10 ms 14420 KB ans=YES N=10
11 Correct 9 ms 14424 KB ans=YES N=10
12 Correct 10 ms 14432 KB ans=YES N=9
13 Correct 9 ms 14428 KB ans=YES N=9
14 Correct 9 ms 14368 KB ans=YES N=8
15 Correct 9 ms 14424 KB ans=YES N=8
16 Correct 9 ms 14428 KB ans=NO N=2
17 Correct 8 ms 14420 KB ans=YES N=17
18 Correct 9 ms 14420 KB ans=YES N=25
19 Correct 11 ms 14420 KB ans=YES N=100
20 Correct 12 ms 14420 KB ans=YES N=185
21 Correct 9 ms 14432 KB ans=NO N=174
22 Correct 11 ms 14464 KB ans=YES N=90
23 Correct 10 ms 14420 KB ans=YES N=63
24 Correct 10 ms 14420 KB ans=YES N=87
25 Correct 11 ms 14420 KB ans=YES N=183
26 Correct 11 ms 14420 KB ans=YES N=188
27 Correct 12 ms 14536 KB ans=YES N=183
28 Correct 12 ms 14436 KB ans=YES N=189
29 Correct 13 ms 14424 KB ans=YES N=200
30 Correct 13 ms 14548 KB ans=YES N=190
31 Correct 11 ms 14432 KB ans=YES N=187
32 Correct 13 ms 14468 KB ans=YES N=187
33 Correct 14 ms 14548 KB ans=YES N=182
34 Correct 15 ms 14560 KB ans=YES N=184
35 Correct 17 ms 14604 KB ans=YES N=188
36 Correct 14 ms 14544 KB ans=YES N=181
37 Correct 15 ms 14568 KB ans=YES N=188
38 Correct 19 ms 14552 KB ans=YES N=191
39 Correct 14 ms 14424 KB ans=YES N=196
40 Correct 13 ms 14548 KB ans=YES N=196
41 Correct 14 ms 14420 KB ans=YES N=196
42 Correct 12 ms 14420 KB ans=YES N=196
43 Correct 15 ms 14560 KB ans=YES N=195
# Verdict Execution time Memory Grader output
1 Correct 9 ms 14416 KB ans=YES N=1
2 Correct 9 ms 14420 KB ans=YES N=4
3 Correct 9 ms 14420 KB ans=NO N=4
4 Correct 12 ms 14424 KB ans=YES N=5
5 Correct 10 ms 14360 KB ans=YES N=9
6 Correct 11 ms 14408 KB ans=YES N=5
7 Correct 9 ms 14428 KB ans=NO N=9
8 Correct 9 ms 14428 KB ans=NO N=10
9 Correct 9 ms 14436 KB ans=YES N=10
10 Correct 10 ms 14420 KB ans=YES N=10
11 Correct 9 ms 14424 KB ans=YES N=10
12 Correct 10 ms 14432 KB ans=YES N=9
13 Correct 9 ms 14428 KB ans=YES N=9
14 Correct 9 ms 14368 KB ans=YES N=8
15 Correct 9 ms 14424 KB ans=YES N=8
16 Correct 9 ms 14428 KB ans=NO N=2
17 Correct 8 ms 14420 KB ans=YES N=17
18 Correct 9 ms 14420 KB ans=YES N=25
19 Correct 11 ms 14420 KB ans=YES N=100
20 Correct 12 ms 14420 KB ans=YES N=185
21 Correct 9 ms 14432 KB ans=NO N=174
22 Correct 11 ms 14464 KB ans=YES N=90
23 Correct 10 ms 14420 KB ans=YES N=63
24 Correct 10 ms 14420 KB ans=YES N=87
25 Correct 11 ms 14420 KB ans=YES N=183
26 Correct 11 ms 14420 KB ans=YES N=188
27 Correct 12 ms 14536 KB ans=YES N=183
28 Correct 12 ms 14436 KB ans=YES N=189
29 Correct 13 ms 14424 KB ans=YES N=200
30 Correct 13 ms 14548 KB ans=YES N=190
31 Correct 11 ms 14432 KB ans=YES N=187
32 Correct 13 ms 14468 KB ans=YES N=187
33 Correct 14 ms 14548 KB ans=YES N=182
34 Correct 15 ms 14560 KB ans=YES N=184
35 Correct 17 ms 14604 KB ans=YES N=188
36 Correct 14 ms 14544 KB ans=YES N=181
37 Correct 15 ms 14568 KB ans=YES N=188
38 Correct 19 ms 14552 KB ans=YES N=191
39 Correct 14 ms 14424 KB ans=YES N=196
40 Correct 13 ms 14548 KB ans=YES N=196
41 Correct 14 ms 14420 KB ans=YES N=196
42 Correct 12 ms 14420 KB ans=YES N=196
43 Correct 15 ms 14560 KB ans=YES N=195
44 Correct 11 ms 14900 KB ans=NO N=1934
45 Correct 9 ms 14676 KB ans=NO N=1965
46 Correct 37 ms 14884 KB ans=YES N=1824
47 Correct 40 ms 14980 KB ans=YES N=1981
48 Correct 34 ms 14972 KB ans=YES N=1814
49 Correct 44 ms 15064 KB ans=YES N=1854
50 Correct 36 ms 14952 KB ans=YES N=1831
51 Correct 45 ms 15076 KB ans=YES N=2000
52 Correct 56 ms 15048 KB ans=YES N=1847
53 Correct 59 ms 15180 KB ans=YES N=1819
54 Correct 40 ms 15048 KB ans=YES N=1986
55 Correct 75 ms 15572 KB ans=YES N=2000
56 Correct 91 ms 15756 KB ans=YES N=1834
57 Correct 94 ms 15656 KB ans=YES N=1860
58 Correct 89 ms 15792 KB ans=YES N=1898
59 Correct 70 ms 15472 KB ans=YES N=1832
60 Correct 121 ms 16076 KB ans=YES N=1929
61 Correct 49 ms 15060 KB ans=YES N=1919
62 Correct 78 ms 15564 KB ans=YES N=1882
63 Correct 109 ms 16204 KB ans=YES N=1922
64 Correct 53 ms 15300 KB ans=YES N=1989
65 Correct 62 ms 15512 KB ans=YES N=1978
66 Correct 76 ms 15760 KB ans=YES N=1867
67 Correct 73 ms 15500 KB ans=YES N=1942
# Verdict Execution time Memory Grader output
1 Correct 11 ms 14972 KB ans=NO N=1934
2 Correct 12 ms 14696 KB ans=NO N=1965
3 Correct 42 ms 14940 KB ans=YES N=1824
4 Correct 39 ms 15052 KB ans=YES N=1981
5 Correct 35 ms 14924 KB ans=YES N=1814
6 Correct 47 ms 15076 KB ans=YES N=1854
7 Correct 37 ms 14980 KB ans=YES N=1831
8 Correct 41 ms 15000 KB ans=YES N=2000
9 Correct 53 ms 15084 KB ans=YES N=1847
10 Correct 59 ms 15152 KB ans=YES N=1819
11 Correct 40 ms 15044 KB ans=YES N=1986
12 Correct 81 ms 15588 KB ans=YES N=2000
13 Correct 92 ms 15728 KB ans=YES N=1834
14 Correct 91 ms 15696 KB ans=YES N=1860
15 Correct 87 ms 15788 KB ans=YES N=1898
16 Correct 75 ms 15436 KB ans=YES N=1832
17 Correct 107 ms 16168 KB ans=YES N=1929
18 Correct 53 ms 15056 KB ans=YES N=1919
19 Correct 81 ms 15572 KB ans=YES N=1882
20 Correct 112 ms 16308 KB ans=YES N=1922
21 Correct 52 ms 15308 KB ans=YES N=1989
22 Correct 63 ms 15508 KB ans=YES N=1978
23 Correct 83 ms 15784 KB ans=YES N=1867
# Verdict Execution time Memory Grader output
1 Correct 9 ms 14416 KB ans=YES N=1
2 Correct 9 ms 14420 KB ans=YES N=4
3 Correct 9 ms 14420 KB ans=NO N=4
4 Correct 12 ms 14424 KB ans=YES N=5
5 Correct 10 ms 14360 KB ans=YES N=9
6 Correct 11 ms 14408 KB ans=YES N=5
7 Correct 9 ms 14428 KB ans=NO N=9
8 Correct 9 ms 14428 KB ans=NO N=10
9 Correct 9 ms 14436 KB ans=YES N=10
10 Correct 10 ms 14420 KB ans=YES N=10
11 Correct 9 ms 14424 KB ans=YES N=10
12 Correct 10 ms 14432 KB ans=YES N=9
13 Correct 9 ms 14428 KB ans=YES N=9
14 Correct 9 ms 14368 KB ans=YES N=8
15 Correct 9 ms 14424 KB ans=YES N=8
16 Correct 9 ms 14428 KB ans=NO N=2
17 Correct 8 ms 14420 KB ans=YES N=17
18 Correct 9 ms 14420 KB ans=YES N=25
19 Correct 11 ms 14420 KB ans=YES N=100
20 Correct 12 ms 14420 KB ans=YES N=185
21 Correct 9 ms 14432 KB ans=NO N=174
22 Correct 11 ms 14464 KB ans=YES N=90
23 Correct 10 ms 14420 KB ans=YES N=63
24 Correct 10 ms 14420 KB ans=YES N=87
25 Correct 11 ms 14420 KB ans=YES N=183
26 Correct 11 ms 14420 KB ans=YES N=188
27 Correct 12 ms 14536 KB ans=YES N=183
28 Correct 12 ms 14436 KB ans=YES N=189
29 Correct 13 ms 14424 KB ans=YES N=200
30 Correct 13 ms 14548 KB ans=YES N=190
31 Correct 11 ms 14432 KB ans=YES N=187
32 Correct 13 ms 14468 KB ans=YES N=187
33 Correct 14 ms 14548 KB ans=YES N=182
34 Correct 15 ms 14560 KB ans=YES N=184
35 Correct 17 ms 14604 KB ans=YES N=188
36 Correct 14 ms 14544 KB ans=YES N=181
37 Correct 15 ms 14568 KB ans=YES N=188
38 Correct 19 ms 14552 KB ans=YES N=191
39 Correct 14 ms 14424 KB ans=YES N=196
40 Correct 13 ms 14548 KB ans=YES N=196
41 Correct 14 ms 14420 KB ans=YES N=196
42 Correct 12 ms 14420 KB ans=YES N=196
43 Correct 15 ms 14560 KB ans=YES N=195
44 Correct 11 ms 14900 KB ans=NO N=1934
45 Correct 9 ms 14676 KB ans=NO N=1965
46 Correct 37 ms 14884 KB ans=YES N=1824
47 Correct 40 ms 14980 KB ans=YES N=1981
48 Correct 34 ms 14972 KB ans=YES N=1814
49 Correct 44 ms 15064 KB ans=YES N=1854
50 Correct 36 ms 14952 KB ans=YES N=1831
51 Correct 45 ms 15076 KB ans=YES N=2000
52 Correct 56 ms 15048 KB ans=YES N=1847
53 Correct 59 ms 15180 KB ans=YES N=1819
54 Correct 40 ms 15048 KB ans=YES N=1986
55 Correct 75 ms 15572 KB ans=YES N=2000
56 Correct 91 ms 15756 KB ans=YES N=1834
57 Correct 94 ms 15656 KB ans=YES N=1860
58 Correct 89 ms 15792 KB ans=YES N=1898
59 Correct 70 ms 15472 KB ans=YES N=1832
60 Correct 121 ms 16076 KB ans=YES N=1929
61 Correct 49 ms 15060 KB ans=YES N=1919
62 Correct 78 ms 15564 KB ans=YES N=1882
63 Correct 109 ms 16204 KB ans=YES N=1922
64 Correct 53 ms 15300 KB ans=YES N=1989
65 Correct 62 ms 15512 KB ans=YES N=1978
66 Correct 76 ms 15760 KB ans=YES N=1867
67 Correct 73 ms 15500 KB ans=YES N=1942
68 Correct 76 ms 25352 KB ans=NO N=66151
69 Correct 60 ms 25564 KB ans=NO N=64333
70 Correct 1649 ms 32428 KB ans=YES N=69316
71 Correct 1510 ms 31908 KB ans=YES N=66695
72 Correct 1696 ms 32208 KB ans=YES N=68436
73 Correct 1738 ms 32704 KB ans=YES N=70000
74 Correct 1883 ms 32568 KB ans=YES N=68501
75 Correct 1952 ms 33316 KB ans=YES N=70000
76 Correct 1989 ms 33408 KB ans=YES N=65009
77 Execution timed out 3521 ms 45428 KB Time limit exceeded
78 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 67 ms 25548 KB ans=NO N=66151
2 Correct 67 ms 25584 KB ans=NO N=64333
3 Correct 1689 ms 32412 KB ans=YES N=69316
4 Correct 1541 ms 31848 KB ans=YES N=66695
5 Correct 1649 ms 32376 KB ans=YES N=68436
6 Correct 1636 ms 32772 KB ans=YES N=70000
7 Correct 1654 ms 32560 KB ans=YES N=68501
8 Correct 1793 ms 33440 KB ans=YES N=70000
9 Correct 1987 ms 33456 KB ans=YES N=65009
10 Execution timed out 3523 ms 45668 KB Time limit exceeded
11 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 11 ms 14972 KB ans=NO N=1934
2 Correct 12 ms 14696 KB ans=NO N=1965
3 Correct 42 ms 14940 KB ans=YES N=1824
4 Correct 39 ms 15052 KB ans=YES N=1981
5 Correct 35 ms 14924 KB ans=YES N=1814
6 Correct 47 ms 15076 KB ans=YES N=1854
7 Correct 37 ms 14980 KB ans=YES N=1831
8 Correct 41 ms 15000 KB ans=YES N=2000
9 Correct 53 ms 15084 KB ans=YES N=1847
10 Correct 59 ms 15152 KB ans=YES N=1819
11 Correct 40 ms 15044 KB ans=YES N=1986
12 Correct 81 ms 15588 KB ans=YES N=2000
13 Correct 92 ms 15728 KB ans=YES N=1834
14 Correct 91 ms 15696 KB ans=YES N=1860
15 Correct 87 ms 15788 KB ans=YES N=1898
16 Correct 75 ms 15436 KB ans=YES N=1832
17 Correct 107 ms 16168 KB ans=YES N=1929
18 Correct 53 ms 15056 KB ans=YES N=1919
19 Correct 81 ms 15572 KB ans=YES N=1882
20 Correct 112 ms 16308 KB ans=YES N=1922
21 Correct 52 ms 15308 KB ans=YES N=1989
22 Correct 63 ms 15508 KB ans=YES N=1978
23 Correct 83 ms 15784 KB ans=YES N=1867
24 Correct 67 ms 25548 KB ans=NO N=66151
25 Correct 67 ms 25584 KB ans=NO N=64333
26 Correct 1689 ms 32412 KB ans=YES N=69316
27 Correct 1541 ms 31848 KB ans=YES N=66695
28 Correct 1649 ms 32376 KB ans=YES N=68436
29 Correct 1636 ms 32772 KB ans=YES N=70000
30 Correct 1654 ms 32560 KB ans=YES N=68501
31 Correct 1793 ms 33440 KB ans=YES N=70000
32 Correct 1987 ms 33456 KB ans=YES N=65009
33 Execution timed out 3523 ms 45668 KB Time limit exceeded
34 Halted 0 ms 0 KB -