Submission #1083650

# Submission time Handle Problem Language Result Execution time Memory
1083650 2024-09-03T18:04:24 Z ShaShi Jail (JOI22_jail) C++17
49 / 100
495 ms 528040 KB
#include <bits/stdc++.h>
 
// #define int long long
 
// #pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")
 
#define F first 
#define S second
#define mp make_pair
#define pb push_back
#define all(x) x.begin(), x.end()
#define kill(x) cout << x << "\n", exit(0);
#define pii pair<int, int>
#define endl "\n"
 
 
 
using namespace std;
typedef long long ll;
typedef __int128_t lll;
typedef long double ld;
 
const int MAXN = (int)2e5 + 7;
const int MOD = 998244353;
const ll INF = (ll)1e9 + 7;
const int LG = 20;


int n, m, k, tmp, t, tmp2, tmp3, tmp4, u, v, w, flag, q, ans, flag2;
pii arr[MAXN]; int par[MAXN], h[MAXN], pow2dad[MAXN][LG], fake_t[MAXN][LG], fake_s[MAXN][LG], ind_s[MAXN], ind_t[MAXN];
vector<int> adj[MAXN], G[MAXN*LG];
int seen[MAXN*LG];


inline void add_edge(int u, int v) { G[u].pb(v); }
inline int up(int v, int k) { for (int i=LG-1; i>=0; i--) if (k >= (1<<i)) k -= (1<<i), v = pow2dad[v][i]; return v; }
inline int LCA(int u, int v) { if (h[u] < h[v]) swap(u, v); u = up(u, h[u]-h[v]); if (u == v) return u; for (int i=LG-1; i>=0; i--) if (h[u] >= (1<<i) && pow2dad[u][i] != pow2dad[v][i]) u = pow2dad[u][i], v = pow2dad[v][i]; return pow2dad[u][0]; }



void DFS(int v) {
    for (int u:adj[v]) {
        if (u == par[v]) continue;

        par[u] = v; h[u] = h[v]+1; DFS(u);
    }
}


void DFS2(int v) {
    seen[v] = 1;

    for (int u:G[v]) {
        if (seen[u] == 0) DFS2(u);
        else if (seen[u] == 1) tmp = 0;
    }

    seen[v] = 2;
}


inline void up_s(int v, int k, int ind) {
    // cout << "S : " << v << " " << k << " " << ind << endl;

    for (int i=LG-1; i>=0; i--) {
        if ((1<<i) <= k) {
            k -= (1<<i); add_edge(fake_s[v][i], ind); v = pow2dad[v][i];
        }
    }
}


inline void up_t(int v, int k, int ind) {
    // cout << "T : " << v << " " << k << " " << ind << endl;

    for (int i=LG-1; i>=0; i--) {
        if ((1<<i) <= k) {
            k -= (1<<i); add_edge(ind, fake_t[v][i]); v = pow2dad[v][i];
        }
    }
}


void solve() {
    cin >> n;

    for (int i=1; i<n; i++) {
        cin >> u >> v;

        adj[u].pb(v); adj[v].pb(u);
    }

    cin >> m;

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

        ind_s[u] = i; ind_t[v] = i; arr[i] = {u, v};
    }

    DFS(1); flag = n+1;

    for (int i=1; i<=n; i++) {
        pow2dad[i][0] = par[i];

        fake_s[i][0] = flag++; if (ind_s[i]) add_edge(ind_s[i], fake_s[i][0]);
        fake_t[i][0] = flag++; if (ind_t[i]) add_edge(fake_t[i][0], ind_t[i]);
    }

    for (int j=1; j<LG; j++) {
        for (int i=1; i<=n; i++) {
            pow2dad[i][j] = pow2dad[pow2dad[i][j-1]][j-1];

            fake_s[i][j] = flag++; add_edge(fake_s[i][j-1], fake_s[i][j]); add_edge(fake_s[pow2dad[i][j-1]][j-1], fake_s[i][j]);
            fake_t[i][j] = flag++; add_edge(fake_t[i][j], fake_t[i][j-1]); add_edge(fake_t[i][j], fake_t[pow2dad[i][j-1]][j-1]);
        }
    }


    for (int i=1; i<=m; i++) {
        u = arr[i].F; v = arr[i].S;

        int lca = LCA(u, v);

        if (lca == u) {
            up_s(v, h[v]-h[u], i);
            up_t(par[v], h[v]-h[u], i);
        } else if (lca == v) {
            up_s(par[u], h[u]-h[v], i);
            up_t(u, h[u]-h[v], i);
        } else {
            up_s(par[u], h[u]-h[lca], i); up_t(u, h[u]-h[lca]+1, i);
            up_s(v, h[v]-h[lca]+1, i); up_t(par[v], h[v]-h[lca], i);
        }
    }


    tmp = 1;
    
    for (int i=1; i<=n; i++) {
        if (seen[i]) continue;

        DFS2(i);

        if (!tmp) break;
    }

    cout << (tmp? "Yes\n" : "No\n");


    fill_n(seen, flag+7, 0);  fill_n(ind_s, flag+7, 0); fill_n(ind_t, flag+7, 0);  fill_n(par, flag+7, 0); 
    for (int i=1; i<=flag+7; i++) adj[i].clear(), G[i].clear();
}


int32_t main() {
    #ifdef LOCAL
    freopen("inp.in", "r", stdin);
    freopen("res.out", "w", stdout);
    #else
    ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    #endif

    cin >> t;

    while (t--) solve();

    return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 44 ms 98920 KB Output is correct
2 Correct 41 ms 99028 KB Output is correct
3 Correct 43 ms 99148 KB Output is correct
4 Correct 81 ms 103892 KB Output is correct
5 Correct 103 ms 108492 KB Output is correct
6 Correct 45 ms 99960 KB Output is correct
7 Correct 53 ms 99976 KB Output is correct
8 Correct 46 ms 100092 KB Output is correct
9 Correct 193 ms 116776 KB Output is correct
10 Runtime error 458 ms 526792 KB Execution killed with signal 11
11 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 37 ms 98908 KB Output is correct
2 Correct 43 ms 98908 KB Output is correct
3 Correct 41 ms 99964 KB Output is correct
4 Correct 49 ms 100340 KB Output is correct
5 Correct 49 ms 100340 KB Output is correct
6 Correct 48 ms 100308 KB Output is correct
7 Correct 46 ms 100348 KB Output is correct
8 Correct 45 ms 100256 KB Output is correct
9 Correct 53 ms 100340 KB Output is correct
10 Correct 51 ms 100340 KB Output is correct
11 Correct 44 ms 100080 KB Output is correct
12 Correct 45 ms 99924 KB Output is correct
13 Correct 44 ms 99928 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 37 ms 98908 KB Output is correct
2 Correct 43 ms 98908 KB Output is correct
3 Correct 41 ms 99964 KB Output is correct
4 Correct 49 ms 100340 KB Output is correct
5 Correct 49 ms 100340 KB Output is correct
6 Correct 48 ms 100308 KB Output is correct
7 Correct 46 ms 100348 KB Output is correct
8 Correct 45 ms 100256 KB Output is correct
9 Correct 53 ms 100340 KB Output is correct
10 Correct 51 ms 100340 KB Output is correct
11 Correct 44 ms 100080 KB Output is correct
12 Correct 45 ms 99924 KB Output is correct
13 Correct 44 ms 99928 KB Output is correct
14 Correct 43 ms 98900 KB Output is correct
15 Correct 39 ms 98896 KB Output is correct
16 Correct 43 ms 100080 KB Output is correct
17 Correct 44 ms 100340 KB Output is correct
18 Correct 43 ms 100348 KB Output is correct
19 Correct 42 ms 99152 KB Output is correct
20 Correct 45 ms 100340 KB Output is correct
21 Correct 45 ms 100072 KB Output is correct
22 Correct 45 ms 100336 KB Output is correct
23 Correct 43 ms 99152 KB Output is correct
24 Correct 42 ms 99408 KB Output is correct
25 Correct 46 ms 100344 KB Output is correct
26 Correct 45 ms 99612 KB Output is correct
27 Correct 47 ms 100212 KB Output is correct
28 Correct 44 ms 99156 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 37 ms 98908 KB Output is correct
2 Correct 43 ms 98908 KB Output is correct
3 Correct 41 ms 99964 KB Output is correct
4 Correct 49 ms 100340 KB Output is correct
5 Correct 49 ms 100340 KB Output is correct
6 Correct 48 ms 100308 KB Output is correct
7 Correct 46 ms 100348 KB Output is correct
8 Correct 45 ms 100256 KB Output is correct
9 Correct 53 ms 100340 KB Output is correct
10 Correct 51 ms 100340 KB Output is correct
11 Correct 44 ms 100080 KB Output is correct
12 Correct 45 ms 99924 KB Output is correct
13 Correct 44 ms 99928 KB Output is correct
14 Correct 43 ms 98900 KB Output is correct
15 Correct 39 ms 98896 KB Output is correct
16 Correct 43 ms 100080 KB Output is correct
17 Correct 44 ms 100340 KB Output is correct
18 Correct 43 ms 100348 KB Output is correct
19 Correct 42 ms 99152 KB Output is correct
20 Correct 45 ms 100340 KB Output is correct
21 Correct 45 ms 100072 KB Output is correct
22 Correct 45 ms 100336 KB Output is correct
23 Correct 43 ms 99152 KB Output is correct
24 Correct 42 ms 99408 KB Output is correct
25 Correct 46 ms 100344 KB Output is correct
26 Correct 45 ms 99612 KB Output is correct
27 Correct 47 ms 100212 KB Output is correct
28 Correct 44 ms 99156 KB Output is correct
29 Correct 49 ms 100080 KB Output is correct
30 Correct 47 ms 100304 KB Output is correct
31 Correct 44 ms 100304 KB Output is correct
32 Correct 45 ms 100304 KB Output is correct
33 Correct 42 ms 100348 KB Output is correct
34 Correct 48 ms 99932 KB Output is correct
35 Correct 49 ms 99992 KB Output is correct
36 Correct 45 ms 99856 KB Output is correct
37 Correct 45 ms 99920 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 37 ms 98908 KB Output is correct
2 Correct 43 ms 98908 KB Output is correct
3 Correct 41 ms 99964 KB Output is correct
4 Correct 49 ms 100340 KB Output is correct
5 Correct 49 ms 100340 KB Output is correct
6 Correct 48 ms 100308 KB Output is correct
7 Correct 46 ms 100348 KB Output is correct
8 Correct 45 ms 100256 KB Output is correct
9 Correct 53 ms 100340 KB Output is correct
10 Correct 51 ms 100340 KB Output is correct
11 Correct 44 ms 100080 KB Output is correct
12 Correct 45 ms 99924 KB Output is correct
13 Correct 44 ms 99928 KB Output is correct
14 Correct 43 ms 98900 KB Output is correct
15 Correct 39 ms 98896 KB Output is correct
16 Correct 43 ms 100080 KB Output is correct
17 Correct 44 ms 100340 KB Output is correct
18 Correct 43 ms 100348 KB Output is correct
19 Correct 42 ms 99152 KB Output is correct
20 Correct 45 ms 100340 KB Output is correct
21 Correct 45 ms 100072 KB Output is correct
22 Correct 45 ms 100336 KB Output is correct
23 Correct 43 ms 99152 KB Output is correct
24 Correct 42 ms 99408 KB Output is correct
25 Correct 46 ms 100344 KB Output is correct
26 Correct 45 ms 99612 KB Output is correct
27 Correct 47 ms 100212 KB Output is correct
28 Correct 44 ms 99156 KB Output is correct
29 Correct 49 ms 100080 KB Output is correct
30 Correct 47 ms 100304 KB Output is correct
31 Correct 44 ms 100304 KB Output is correct
32 Correct 45 ms 100304 KB Output is correct
33 Correct 42 ms 100348 KB Output is correct
34 Correct 48 ms 99932 KB Output is correct
35 Correct 49 ms 99992 KB Output is correct
36 Correct 45 ms 99856 KB Output is correct
37 Correct 45 ms 99920 KB Output is correct
38 Correct 183 ms 116676 KB Output is correct
39 Runtime error 473 ms 526792 KB Execution killed with signal 11
40 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 51 ms 98904 KB Output is correct
2 Correct 41 ms 98904 KB Output is correct
3 Correct 47 ms 99112 KB Output is correct
4 Correct 43 ms 98904 KB Output is correct
5 Correct 55 ms 101328 KB Output is correct
6 Correct 43 ms 99928 KB Output is correct
7 Correct 43 ms 99920 KB Output is correct
8 Correct 42 ms 98984 KB Output is correct
9 Correct 44 ms 99156 KB Output is correct
10 Correct 44 ms 99408 KB Output is correct
11 Correct 51 ms 99156 KB Output is correct
12 Correct 44 ms 99924 KB Output is correct
13 Correct 81 ms 107972 KB Output is correct
14 Correct 108 ms 108240 KB Output is correct
15 Correct 97 ms 108244 KB Output is correct
16 Runtime error 495 ms 528040 KB Execution killed with signal 11
17 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 44 ms 98920 KB Output is correct
2 Correct 41 ms 99028 KB Output is correct
3 Correct 43 ms 99148 KB Output is correct
4 Correct 81 ms 103892 KB Output is correct
5 Correct 103 ms 108492 KB Output is correct
6 Correct 45 ms 99960 KB Output is correct
7 Correct 53 ms 99976 KB Output is correct
8 Correct 46 ms 100092 KB Output is correct
9 Correct 193 ms 116776 KB Output is correct
10 Runtime error 458 ms 526792 KB Execution killed with signal 11
11 Halted 0 ms 0 KB -