oj.uz

Submission #1012552

# Submission time Handle Problem Language Result Execution time Memory
1012552 2024-07-02T10:34:30 Z c2zi6 Werewolf (IOI18_werewolf) C++14
49 / 100
 667 ms 524288 KB 
#define _USE_MATH_DEFINES
#include <bits/stdc++.h>
#define ff first
#define ss second
#define pb push_back
#define all(a) (a).begin(), (a).end()
#define replr(i, a, b) for (int i = int(a); i <= int(b); ++i)
#define reprl(i, a, b) for (int i = int(a); i >= int(b); --i)
#define rep(i, n) for (int i = 0; i < int(n); ++i)
#define mkp(a, b) make_pair(a, b)
using namespace std;
typedef long long ll;
typedef long double ld;
typedef pair<int, int> PII;
typedef vector<int> VI;
typedef vector<PII> VPI;
typedef vector<VI> VVI;
typedef vector<VVI> VVVI;
typedef vector<VPI> VVPI;
typedef pair<ll, ll> PLL;
typedef vector<ll> VL;
typedef vector<PLL> VPL;
typedef vector<VL> VVL;
typedef vector<VVL> VVVL;
typedef vector<VPL> VVPL;
template<class T> T setmax(T& a, T b) {if (a < b) return a = b; return a;}
template<class T> T setmin(T& a, T b) {if (a < b) return a; return a = b;}
#include <ext/pb_ds/assoc_container.hpp>
using namespace __gnu_pbds;
template<class T>
using indset = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
#include "werewolf.h"

namespace TEST2 {
    int n;
    VVI gp;
    void dfs(int u, VI& vis, int mn, int mx) {
        vis[u] = true;
        for (int v : gp[u]) if (!vis[v]) {
            if (mn <= v && v <= mx) {
                dfs(v, vis, mn, mx);
            }
        }
    }
    VI solve(int N, VI X, VI Y, VI S, VI E, VI L, VI R) {
        n = N;
        gp = VVI(n);
        rep(i, X.size()) {
            gp[X[i]].pb(Y[i]);
            gp[Y[i]].pb(X[i]);
        }
        VI ansret;
        rep(i, S.size()) {
            auto[s, e, l, r] = make_tuple(S[i], E[i], L[i], R[i]);
            VI visa, visb;
            visa = visb = VI(n);
            dfs(s, visa, l, +2e9);
            dfs(e, visb, -2e9, r);
            bool ans = false;
            rep(u, n) if (visa[u] && visb[u]) ans = true;
            ansret.pb(ans);
        }
        return ansret;
    }
}

namespace SPARSETABLE {
    const int MAXN = 2e5 + 30;
    const int MAXM = 20;
    int lg[MAXN];
    void initialize() {
        if (lg[0] == -1) return;
        lg[0] = -1;
        replr(i, 2, MAXN-1) lg[i] = lg[i/2]+1;
    }
    template<typename T, typename COMPORATOR>
    struct TABLE {
        T** arr;
        COMPORATOR comp;
        T best(T a, T b) {
            if (comp(a, b)) return a;
            return b;
        }
        template<typename ITERATOR>
        TABLE(ITERATOR begin, ITERATOR end) {
            initialize();
            int n = 0;
            for (ITERATOR it = begin; it != end; it++, n++);
            arr = new T*[n];
            rep(i, n) arr[i] = new T[MAXM];
            reprl(i, n-1, 0) {
                --end;
                arr[i][0] = *end;
                for (int j = 1; i+(1<<j) <= n; j++) {
                    arr[i][j] = best(arr[i][j-1], arr[i+(1<<(j-1))][j-1]);
                }
            }
        }
        T get(int l, int r) {
            int s = lg[r-l+1];
            return best(arr[l][s], arr[r-(1<<s)+1][s]);
        }
    };
};

namespace TEST3 {
    VI flatten(int N, VI X, VI Y) {
        int n = N;
        VVI gp(n);
        rep(i, X.size()) {
            gp[X[i]].pb(Y[i]);
            gp[Y[i]].pb(X[i]);
        }
        int s, e;
        s = -1;
        rep(u, n) if (gp[u].size() == 1) {
            if (s == -1) s = u;
            e = u;
        }
        int p = -1;
        int u = s;
        VI ret;
        ret.pb(u);
        while (u != e) {
            for (int v : gp[u]) if (v != p) {
                p = u;
                u = v;
                break;
            }
            ret.pb(u);
        }
        return ret;
    }
    VI solve(int N, VI X, VI Y, VI S, VI E, VI L, VI R) {
        VI a = flatten(N, X, Y);
        /*for (int x : a) cout << x << " "; cout << endl;*/
        VI idx(N);
        rep(i, N) idx[a[i]] = i;
        SPARSETABLE::TABLE<int, greater<int>> maxval(a.begin(), a.end());
        SPARSETABLE::TABLE<int, less<int>> minval(a.begin(), a.end());
        auto expand = [&](int c, int mn, int mx, int& l, int& r) {
            r = c;
            for (int i = 20; i >= 0; i--) {
                if (r+(1<<i) >= N) continue;
                if (minval.get(r, r+(1<<i)) >= mn && maxval.get(r, r+(1<<i)) <= mx) {
                    r += (1<<i);
                }
            }
            l = c;
            for (int i = 20; i >= 0; i--) {
                if (l-(1<<i) < 0) continue;
                if (minval.get(l-(1<<i), l) >= mn && maxval.get(l-(1<<i), l) <= mx) {
                    l -= (1<<i);
                }
            }
        };
        VI ansret;
        rep(i, S.size()) {
            auto[s, e, l, r] = make_tuple(S[i], E[i], L[i], R[i]);
            s = idx[s];
            e = idx[e];
            int al, ar, bl, br;
            expand(s, l, +2e9, al, ar);
            expand(e, -2e9, r, bl, br);
            ansret.pb(min(ar, br) >= max(al, bl));
        }
        return ansret;
    }
};

VI check_validity(int N, VI X, VI Y, VI S, VI E, VI L, VI R) {
    int M = X.size();
    int Q = S.size();
    if (N <= 3000 && M <= 6000 && Q <= 3000) return TEST2::solve(N, X, Y, S, E, L, R);
    return TEST3::solve(N, X, Y, S, E, L, R);
}

Compilation message

werewolf.cpp: In function 'VI TEST2::solve(int, VI, VI, VI, VI, VI, VI)':
werewolf.cpp:54:17: warning: structured bindings only available with '-std=c++17' or '-std=gnu++17'
   54 |             auto[s, e, l, r] = make_tuple(S[i], E[i], L[i], R[i]);
      |                 ^
werewolf.cpp: In function 'VI TEST3::solve(int, VI, VI, VI, VI, VI, VI)':
werewolf.cpp:159:17: warning: structured bindings only available with '-std=c++17' or '-std=gnu++17'
  159 |             auto[s, e, l, r] = make_tuple(S[i], E[i], L[i], R[i]);
      |                 ^
werewolf.cpp: In function 'VI TEST3::flatten(int, VI, VI)':
werewolf.cpp:124:18: warning: 'e' may be used uninitialized in this function [-Wmaybe-uninitialized]
  124 |         while (u != e) {
      |                ~~^~~~

Subtask #1
7.0 / 7.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 0 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 1 ms 456 KB Output is correct
6 Correct 0 ms 348 KB Output is correct
7 Correct 0 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct

Subtask #2
8.0 / 8.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 0 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 1 ms 456 KB Output is correct
6 Correct 0 ms 348 KB Output is correct
7 Correct 0 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct
10 Correct 153 ms 1112 KB Output is correct
11 Correct 58 ms 1104 KB Output is correct
12 Correct 15 ms 856 KB Output is correct
13 Correct 163 ms 768 KB Output is correct
14 Correct 71 ms 860 KB Output is correct
15 Correct 168 ms 1012 KB Output is correct

Subtask #3
34.0 / 34.0

# Verdict Execution time Memory Grader output
1 Correct 458 ms 59212 KB Output is correct
2 Correct 596 ms 67608 KB Output is correct
3 Correct 590 ms 67660 KB Output is correct
4 Correct 611 ms 67612 KB Output is correct
5 Correct 640 ms 67736 KB Output is correct
6 Correct 551 ms 67608 KB Output is correct
7 Correct 578 ms 67652 KB Output is correct
8 Correct 507 ms 67712 KB Output is correct
9 Correct 280 ms 67664 KB Output is correct
10 Correct 336 ms 67588 KB Output is correct
11 Correct 354 ms 67660 KB Output is correct
12 Correct 245 ms 67600 KB Output is correct
13 Correct 667 ms 67732 KB Output is correct
14 Correct 639 ms 67672 KB Output is correct
15 Correct 598 ms 67608 KB Output is correct
16 Correct 606 ms 67664 KB Output is correct
17 Correct 520 ms 67608 KB Output is correct

Subtask #4
0 / 51.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 348 KB Output is correct
2 Correct 0 ms 348 KB Output is correct
3 Correct 0 ms 348 KB Output is correct
4 Correct 0 ms 348 KB Output is correct
5 Correct 1 ms 456 KB Output is correct
6 Correct 0 ms 348 KB Output is correct
7 Correct 0 ms 348 KB Output is correct
8 Correct 0 ms 348 KB Output is correct
9 Correct 0 ms 348 KB Output is correct
10 Correct 153 ms 1112 KB Output is correct
11 Correct 58 ms 1104 KB Output is correct
12 Correct 15 ms 856 KB Output is correct
13 Correct 163 ms 768 KB Output is correct
14 Correct 71 ms 860 KB Output is correct
15 Correct 168 ms 1012 KB Output is correct
16 Correct 458 ms 59212 KB Output is correct
17 Correct 596 ms 67608 KB Output is correct
18 Correct 590 ms 67660 KB Output is correct
19 Correct 611 ms 67612 KB Output is correct
20 Correct 640 ms 67736 KB Output is correct
21 Correct 551 ms 67608 KB Output is correct
22 Correct 578 ms 67652 KB Output is correct
23 Correct 507 ms 67712 KB Output is correct
24 Correct 280 ms 67664 KB Output is correct
25 Correct 336 ms 67588 KB Output is correct
26 Correct 354 ms 67660 KB Output is correct
27 Correct 245 ms 67600 KB Output is correct
28 Correct 667 ms 67732 KB Output is correct
29 Correct 639 ms 67672 KB Output is correct
30 Correct 598 ms 67608 KB Output is correct
31 Correct 606 ms 67664 KB Output is correct
32 Correct 520 ms 67608 KB Output is correct
33 Runtime error 463 ms 524288 KB Execution killed with signal 9
34 Halted 0 ms 0 KB -