oj.uz

Submission #884007

# Submission time Handle Problem Language Result Execution time Memory
884007 2023-12-06T14:15:20 Z LucaIlie Jail (JOI22_jail) C++17
5 / 100
 1190 ms 309688 KB 
#include <bits/stdc++.h>

using namespace std;

struct prisoner {
    int b, w;
};

const int MAX_N = 1.2e5;
const int MAX_M = MAX_N;
const int MAX_LOG_N = 16;
const int MAX_V = MAX_M + 2 * MAX_N * (MAX_LOG_N + 1) + 1;
int parent[MAX_LOG_N + 1][MAX_N + 1], depth[MAX_N + 1], vertP[MAX_M], vertB[MAX_LOG_N + 1][MAX_N + 1], vertW[MAX_LOG_N + 1][MAX_N + 1], in[MAX_V];
vector <int> edges[MAX_N + 1], g[MAX_V];
prisoner prisoners[MAX_M + 1];

void dfs( int u, int p ) {
    depth[u] = depth[p] + 1;
    parent[0][u] = p;
    for ( int v: edges[u] ) {
        if ( v == p )
            continue;
        dfs( v, u );
    }
}

int findParent( int v, int d ) {
    if ( d < 0 )
        return 0;

    for ( int l = MAX_LOG_N; l >= 0; l-- ) {
        if ( d >= (1 << l) ) {
            d -= (1 << l);
            v = parent[l][v];
        }
    }

    return v;
}

int main() {
    int t;

    cin >> t;
    while ( t-- ) {
        int n, m;

        cin >> n;
        for ( int v = 1; v <= n; v++ )
            edges[v].clear();
        for ( int i = 0; i < n - 1; i++ ) {
            int u, v;
            cin >> u >> v;
            edges[u].push_back( v );
            edges[v].push_back( u );
        }
        cin >> m;
        for ( int i = 1; i <= m; i++ )
            cin >> prisoners[i].b >> prisoners[i].w;

        dfs( 1, 0 );

        int V = 1;
        for ( int i = 1; i <= m; i++ )
            vertP[i] = V++;
        for ( int l = 0; l <= log2( n ); l++ ) {
            for ( int v = 1; v <= n; v++ ) {
                vertB[l][v] = V++;
                vertW[l][v] = V++;
            }
        }
        for ( int v = 0; v < V; v++ )
            g[v].clear(), in[v] = 0;

        for ( int l = 1; l <= log2( n ); l++ ) {
            for ( int v = 1; v <= n; v++ ) {
                parent[l][v] = parent[l - 1][parent[l - 1][v]];
                g[vertB[l - 1][v]].push_back( vertB[l][v] );
                g[vertB[l - 1][parent[l - 1][v]]].push_back( vertB[l][v] );
                g[vertW[l][v]].push_back( vertW[l - 1][v] );
                g[vertW[l][v]].push_back( vertW[l - 1][parent[l - 1][v]] );
            }
        }

        for ( int i = 1; i <= m; i++ ) {
            g[vertP[i]].push_back( vertB[0][prisoners[i].b] );
            g[vertW[0][prisoners[i].w]].push_back( vertP[i] );
        }

        for ( int i = 1; i <= m; i++ ) {
            int u, v;

            u = prisoners[i].b, v = prisoners[i].w;
            if ( findParent( v, depth[v] - depth[u] ) == u )
                u = findParent( v, depth[v] - depth[u] - 1 );
            else
                u = parent[0][u];
            if ( depth[u] < depth[v] )
                swap( u, v );
            for ( int l = log2( n ); l >= 0; l-- ) {
                if ( depth[parent[l][u]] >= depth[v] ) {
                    g[vertB[l][u]].push_back( vertP[i] );
                    u = parent[l][u];
                }
            }
            for ( int l = log2( n ); l >= 0; l-- ) {
                if ( parent[l][u] != parent[l][v] ) {
                    g[vertB[l][u]].push_back( vertP[i] );
                    g[vertB[l][v]].push_back( vertP[i] );
                    u = parent[l][u];
                    v = parent[l][v];
                }
            }
            g[vertB[0][u]].push_back( vertP[i] );

            u = prisoners[i].b, v = prisoners[i].w;
            if ( findParent( u, depth[u] - depth[v] ) == v )
                v = findParent( u, depth[u] - depth[v] - 1 );
            else
                v = parent[0][v];
            if ( depth[u] < depth[v] )
                swap( u, v );
            for ( int l = MAX_LOG_N; l >= 0; l-- ) {
                if ( depth[parent[l][u]] >= depth[v] ) {
                    g[vertP[i]].push_back( vertW[l][u] );
                    u = parent[l][u];
                }
            }
            for ( int l = MAX_LOG_N; l >= 0; l-- ) {
                if ( parent[l][u] != parent[l][v] ) {
                    g[vertP[i]].push_back( vertW[l][u] );
                    g[vertP[i]].push_back( vertW[l][v] );
                    u = parent[l][u];
                    v = parent[l][v];
                }
            }
            g[vertP[i]].push_back( vertW[0][u] );
        }

        for ( int i = 0; i < V; i++ ) {
            for ( int j: g[i] )
                in[j]++;
        }
        queue<int> q;
        for ( int i = 0; i < V; i++ ) {
            if ( in[i] == 0 )
                q.push( i );
        }
        int pasi = 0;
        while ( !q.empty() ) {
            int u = q.front();
            q.pop();
            pasi++;

            for ( int v: g[u] ) {
                in[v]--;
                if ( in[v] == 0 )
                    q.push( v );
            }
        }

        cout << (pasi == V ? "Yes\n" : "No\n");
        
        for ( int v = 0; v < V; v++ )
            g[v].clear(), in[v] = 0;
        for ( int i = 1; i <= m; i++ )
            vertP[i] = 0;
        for ( int l = 0; l <= log2( n ); l++ ) {
            for ( int v = 1; v <= n; v++ ) 
                parent[l][v] = vertB[l][v] = vertW[l][v] = 0;
        }
    }

    return 0;
}

Subtask #1
5.0 / 5.0

# Verdict Execution time Memory Grader output
1 Correct 29 ms 113256 KB Output is correct
2 Correct 23 ms 113244 KB Output is correct
3 Correct 23 ms 111160 KB Output is correct
4 Correct 52 ms 119396 KB Output is correct
5 Correct 86 ms 119384 KB Output is correct
6 Correct 27 ms 119384 KB Output is correct
7 Correct 27 ms 119388 KB Output is correct
8 Correct 28 ms 119384 KB Output is correct
9 Correct 144 ms 133344 KB Output is correct
10 Correct 458 ms 274468 KB Output is correct
11 Correct 36 ms 113448 KB Output is correct
12 Correct 111 ms 120660 KB Output is correct
13 Correct 612 ms 281296 KB Output is correct
14 Correct 502 ms 281572 KB Output is correct
15 Correct 736 ms 283600 KB Output is correct
16 Correct 1190 ms 309688 KB Output is correct
17 Correct 558 ms 285288 KB Output is correct
18 Correct 575 ms 284880 KB Output is correct
19 Correct 535 ms 285104 KB Output is correct
20 Correct 526 ms 285156 KB Output is correct
21 Correct 577 ms 284364 KB Output is correct
22 Correct 474 ms 280348 KB Output is correct

Subtask #2
0 / 5.0

# Verdict Execution time Memory Grader output
1 Correct 23 ms 113240 KB Output is correct
2 Correct 23 ms 111056 KB Output is correct
3 Correct 28 ms 119520 KB Output is correct
4 Incorrect 27 ms 119388 KB Output isn't correct
5 Halted 0 ms 0 KB -

Subtask #3
0 / 16.0

# Verdict Execution time Memory Grader output
1 Correct 23 ms 113240 KB Output is correct
2 Correct 23 ms 111056 KB Output is correct
3 Correct 28 ms 119520 KB Output is correct
4 Incorrect 27 ms 119388 KB Output isn't correct
5 Halted 0 ms 0 KB -

Subtask #4
0 / 28.0

# Verdict Execution time Memory Grader output
1 Correct 23 ms 113240 KB Output is correct
2 Correct 23 ms 111056 KB Output is correct
3 Correct 28 ms 119520 KB Output is correct
4 Incorrect 27 ms 119388 KB Output isn't correct
5 Halted 0 ms 0 KB -

Subtask #5
0 / 12.0

# Verdict Execution time Memory Grader output
1 Correct 23 ms 113240 KB Output is correct
2 Correct 23 ms 111056 KB Output is correct
3 Correct 28 ms 119520 KB Output is correct
4 Incorrect 27 ms 119388 KB Output isn't correct
5 Halted 0 ms 0 KB -

Subtask #6
0 / 11.0

# Verdict Execution time Memory Grader output
1 Correct 24 ms 113244 KB Output is correct
2 Correct 24 ms 113240 KB Output is correct
3 Correct 23 ms 113240 KB Output is correct
4 Correct 23 ms 111196 KB Output is correct
5 Correct 36 ms 113252 KB Output is correct
6 Correct 27 ms 117548 KB Output is correct
7 Correct 25 ms 117336 KB Output is correct
8 Incorrect 24 ms 113240 KB Output isn't correct
9 Halted 0 ms 0 KB -

Subtask #7
0 / 23.0

# Verdict Execution time Memory Grader output
1 Correct 29 ms 113256 KB Output is correct
2 Correct 23 ms 113244 KB Output is correct
3 Correct 23 ms 111160 KB Output is correct
4 Correct 52 ms 119396 KB Output is correct
5 Correct 86 ms 119384 KB Output is correct
6 Correct 27 ms 119384 KB Output is correct
7 Correct 27 ms 119388 KB Output is correct
8 Correct 28 ms 119384 KB Output is correct
9 Correct 144 ms 133344 KB Output is correct
10 Correct 458 ms 274468 KB Output is correct
11 Correct 36 ms 113448 KB Output is correct
12 Correct 111 ms 120660 KB Output is correct
13 Correct 612 ms 281296 KB Output is correct
14 Correct 502 ms 281572 KB Output is correct
15 Correct 736 ms 283600 KB Output is correct
16 Correct 1190 ms 309688 KB Output is correct
17 Correct 558 ms 285288 KB Output is correct
18 Correct 575 ms 284880 KB Output is correct
19 Correct 535 ms 285104 KB Output is correct
20 Correct 526 ms 285156 KB Output is correct
21 Correct 577 ms 284364 KB Output is correct
22 Correct 474 ms 280348 KB Output is correct
23 Correct 23 ms 113240 KB Output is correct
24 Correct 23 ms 111056 KB Output is correct
25 Correct 28 ms 119520 KB Output is correct
26 Incorrect 27 ms 119388 KB Output isn't correct
27 Halted 0 ms 0 KB -