oj.uz

Submission #798111

# Submission time Handle Problem Language Result Execution time Memory
798111 2023-07-30T11:21:34 Z TheSahib Werewolf (IOI18_werewolf) C++14
7 / 100
 2568 ms 123620 KB 
#include "werewolf.h"
#include <bits/stdc++.h>

using namespace std;

const int MAX = 2e5 + 5;
const int BLOCK = 200;
const int LOGMAX = 19;

struct order{
    vector<int> v = {0};
    bitset<MAX> st[MAX / BLOCK];
    void preCalc(){
        for (int i = 1; i <= v.size(); i++)
        {
            if(i % BLOCK == 0){
                st[i / BLOCK] = st[i / BLOCK - 1]; 
            }
            st[i / BLOCK][v[i]] = 1;
        }
    }
    bitset<MAX> query(int p){
        bitset<MAX> ans = p / BLOCK;
        for (int i = p / BLOCK * BLOCK; i <= p; i++)
        {
            ans[v[i]] = 1;
        }
        return ans;
    }
};

int n;
struct graph{
    vector<int> tree[MAX];
    int par[LOGMAX][MAX];
    order v;
    int timeIn[MAX], timeOut[MAX];

    void dfs(int node, int p){
        par[0][node] = p;
        timeIn[node] = v.v.size();
        v.v.push_back(node);
        for(int to:tree[node]){
            if(to == p) continue;
            dfs(to, node);
        }
        timeOut[node] = v.v.size() - 1;
    }
    void preCalc(){
        for (int j = 1; j < LOGMAX; j++)
        {
            for (int i = 0; i < n; i++)
            {
                par[j][i] = par[j - 1][par[j - 1][i]];
            }
        }
        v.preCalc();
    }
    int lift1(int v, int a){
        for(int j = LOGMAX - 1; j >= 0; --j){
            int u = par[j][v];
            if(u >= a){
                v = u;
            }
        }
        return v;
    }
    int lift2(int v, int a){
        for(int j = LOGMAX - 1; j >= 0; --j){
            int u = par[j][v];
            if(u <= a){
                v = u;
            }
        }
        return v;
    }
    bitset<MAX> ask(int node){
        return v.query(timeOut[node]) ^ v.query(timeIn[node] - 1);
    }
};

vector<int> g[MAX];
graph tree1, tree2;

struct DSU{
    int par[MAX];
    bool b = 0;
    void init(int N, bool _b){
        b = _b;
        memset(par, -1, sizeof(par));
    }
    int get(int node){
        if(par[node] < 0) return node;
        return par[node] = get(par[node]);
    }
    bool unite(int v, int u){
        v = get(v);
        u = get(u);
        if(v == u) return false;
        if(v < u && b) swap(v, u);
        if(v > u && !b) swap(v, u);
        par[v] += par[u];
        par[u] = v;
        return true;
    }
};

vector<int> check_validity(int N, vector<int> X, vector<int> Y, vector<int> S, vector<int> E, vector<int> L, vector<int> R) {
    n = N;
    DSU dsu;
    for (int i = 0; i < X.size(); i++)
    {
        g[X[i]].push_back(Y[i]);
        g[Y[i]].push_back(X[i]);
    }
    dsu.init(N, 0);
    for (int node = N - 1; node >= 0; node--)
    {
        for(int to:g[node]){
            if(to < node) continue;
            int a = dsu.get(to);
            if(dsu.unite(node, to)){
                tree1.tree[node].push_back(a);
            }
        }
    }
    dsu.init(N, 1);
    for (int node = 0; node < N; node++)
    {
        for(int to:g[node]){
            if(to > node) continue;
            int a = dsu.get(to);
            if(dsu.unite(node, to)){
                tree2.tree[node].push_back(a);
            }
        }
    }
    tree1.dfs(0, 0);
    tree2.dfs(n - 1, n - 1);
    tree1.preCalc();
    tree2.preCalc();

    vector<int> ans(S.size());
    for (int i = 0; i < S.size(); i++)
    {
        int a = tree1.lift1(S[i], L[i]);
        int b = tree2.lift2(E[i], R[i]);
        ans[i] = (tree1.ask(a) & tree2.ask(b)).any();
    }
    return ans;
}

Compilation message

werewolf.cpp: In member function 'void order::preCalc()':
werewolf.cpp:14:27: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   14 |         for (int i = 1; i <= v.size(); i++)
      |                         ~~^~~~~~~~~~~
werewolf.cpp: In function 'std::vector<int> check_validity(int, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>)':
werewolf.cpp:111:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  111 |     for (int i = 0; i < X.size(); i++)
      |                     ~~^~~~~~~~~~
werewolf.cpp:144:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  144 |     for (int i = 0; i < S.size(); i++)
      |                     ~~^~~~~~~~~~

Subtask #1
7.0 / 7.0

# Verdict Execution time Memory Grader output
1 Correct 25 ms 64380 KB Output is correct
2 Correct 25 ms 64468 KB Output is correct
3 Correct 26 ms 64380 KB Output is correct
4 Correct 26 ms 64340 KB Output is correct
5 Correct 24 ms 64484 KB Output is correct
6 Correct 25 ms 64428 KB Output is correct
7 Correct 24 ms 64440 KB Output is correct
8 Correct 25 ms 64468 KB Output is correct
9 Correct 25 ms 64460 KB Output is correct

Subtask #2
0 / 8.0

# Verdict Execution time Memory Grader output
1 Correct 25 ms 64380 KB Output is correct
2 Correct 25 ms 64468 KB Output is correct
3 Correct 26 ms 64380 KB Output is correct
4 Correct 26 ms 64340 KB Output is correct
5 Correct 24 ms 64484 KB Output is correct
6 Correct 25 ms 64428 KB Output is correct
7 Correct 24 ms 64440 KB Output is correct
8 Correct 25 ms 64468 KB Output is correct
9 Correct 25 ms 64460 KB Output is correct
10 Incorrect 52 ms 65360 KB Output isn't correct
11 Halted 0 ms 0 KB -

Subtask #3
0 / 34.0

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

Subtask #4
0 / 51.0

# Verdict Execution time Memory Grader output
1 Correct 25 ms 64380 KB Output is correct
2 Correct 25 ms 64468 KB Output is correct
3 Correct 26 ms 64380 KB Output is correct
4 Correct 26 ms 64340 KB Output is correct
5 Correct 24 ms 64484 KB Output is correct
6 Correct 25 ms 64428 KB Output is correct
7 Correct 24 ms 64440 KB Output is correct
8 Correct 25 ms 64468 KB Output is correct
9 Correct 25 ms 64460 KB Output is correct
10 Incorrect 52 ms 65360 KB Output isn't correct
11 Halted 0 ms 0 KB -