#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;
}
# |
결과 |
실행 시간 |
메모리 |
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 |
# |
결과 |
실행 시간 |
메모리 |
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 |
- |
# |
결과 |
실행 시간 |
메모리 |
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 |
- |
# |
결과 |
실행 시간 |
메모리 |
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 |
- |
# |
결과 |
실행 시간 |
메모리 |
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 |
- |
# |
결과 |
실행 시간 |
메모리 |
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 |
- |
# |
결과 |
실행 시간 |
메모리 |
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 |
- |