Submission #694023

# Submission time Handle Problem Language Result Execution time Memory
694023 2023-02-03T15:01:00 Z 4EVER Jail (JOI22_jail) C++11
61 / 100
5000 ms 35576 KB
#include <bits/stdc++.h>

using namespace std;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());

#define PB push_back
#define ALL(i_) i_.begin(), i_.end()
#define LOG2(x_) (31 - __builtin_clz(x_))
#define getBit(x_, i_) ((x_ >> i_) & (ll) 1)
#define rd(l_, r_) (l_ + rng() % (r_ - l_ + 1))
#define FOR(i_, a_, b_)  for(int i_ = (int) (a_); i_ <= (int) (b_); ++i_)
#define FORD(i_, a_, b_) for(int i_ = (int) (a_); i_ >= (int) (b_); --i_)

void __print(int x) {cerr << x;}
void __print(long x) {cerr << x;}
void __print(long long x) {cerr << x;}
void __print(unsigned x) {cerr << x;}
void __print(unsigned long x) {cerr << x;}
void __print(unsigned long long x) {cerr << x;}
void __print(float x) {cerr << x;}
void __print(double x) {cerr << x;}
void __print(long double x) {cerr << x;}
void __print(char x) {cerr << '\'' << x << '\'';}
void __print(const char *x) {cerr << '\"' << x << '\"';}
void __print(const string &x) {cerr << '\"' << x << '\"';}
void __print(bool x) {cerr << (x ? "true" : "false");}

template<typename T, typename V>
void __print(const pair<T, V> &x) {cerr << '{'; __print(x.first); cerr << ','; __print(x.second); cerr << '}';}
template<typename T>
void __print(const T &x) {int f = 0; cerr << '{'; for (auto &i: x) cerr << (f++ ? "," : ""), __print(i); cerr << "}";}
void _print() {cerr << "]\n";}
template <typename T, typename... V>
void _print(T t, V... v) {__print(t); if (sizeof...(v)) cerr << ", "; _print(v...);}
#ifndef DEBUG
#define debug(x...) cerr << "[" << #x << "] = ["; _print(x)
#else
#define debug(x...)
#endif

typedef long long ll;
typedef long double ld;

template<class X, class Y> bool minimize(X &x, const Y &y){
    X eps = 1e-9;
    if (x > y + eps) {
        x = y;
        return 1;
    }
    return 0;
}

template<class X, class Y> bool maximize(X &x, const Y &y) {
    X eps = 1e-9;
    if (x + eps < y) {
        x = y;
        return 1;
    }
    return 0;
}

template<class T> T Abs(const T &x) { return (x < 0 ? -x : x); }
template<class T> using heap_min = priority_queue<T, vector<T>, greater<T>>;
template<class T> using heap_max = priority_queue<T>;

// #include <ext/pb_ds/assoc_container.hpp>
// #include <ext/pb_ds/tree_policy.hpp>
// using namespace __gnu_pbds;
// typedef tree<pair<int, int>, null_type, less<pair<int, int>>, rb_tree_tag, tree_order_statistics_node_update> OST;

const int mod = (int) 1e9 + 7; // 998244353
const int oo = (int) 1e9 + 99;
const array<int, 2> dxy8[] = { {-1, 0}, {1, 0}, {0, 1}, {0, -1}, {1, -1}, {1, 1}, {-1, 1}, {-1, -1} };
const array<int, 2> dxy4[] = { {-1, 0}, {1, 0}, {0, 1}, {0, -1} };

const int maxn = (int) 2e5 + 11;
const int LOG = (int) LOG2(maxn) + 3;

void File(){
    #define TASK "JAIL"
    if(fopen(TASK".inp", "r")) {
        freopen(TASK".inp", "r", stdin);
        freopen(TASK".out", "w", stdout);
    }
}

int n, m;
vector<int> adj[maxn];
int s[maxn], t[maxn];

void ReadInput(){
    cin >> n;
    FOR(i, 1, n) adj[i].clear();
    FOR(i, 1, n - 1){
        int u, v; cin >> u >> v;
        adj[u].PB(v);
        adj[v].PB(u);
    }
    cin >> m;
    FOR(i, 1, m) cin >> s[i] >> t[i];
}

int cnt;
int depth[maxn], tin[maxn], tout[maxn];
int spt[LOG + 3][maxn];

void DFS(int u = 1, int par = -1){
    tin[u] = ++cnt;
    for(int v : adj[u]) if(v != par){
        depth[v] = depth[u] + 1;
        spt[0][v] = u;
        FOR(i, 1, LOG) spt[i][v] = spt[i - 1][spt[i - 1][v]];
        DFS(v, u);
    }
    tout[u] = cnt;
}

int LCA(int u, int v){
    if(depth[u] < depth[v]) swap(u, v);
    int k = depth[u] - depth[v];
    FORD(i, LOG, 0) if(getBit(k, i)) u = spt[i][u];
    if(u == v) return u;
    FORD(i, LOG, 0) if(spt[i][u] != spt[i][v]){
        u = spt[i][u];
        v = spt[i][v];
    }
    return spt[0][u];
}

bool Anc(int v, int u){
    return (tin[u] <= tin[v] && tout[v] <= tout[u]);
}

bool Inpath(int x, int u, int v){
    if(!Anc(x, LCA(u, v))) return 0;
    return Anc(u, x) || Anc(v, x);
}

vector<int> ke[maxn];
int deg[maxn];

void Solve(){
    cnt = 0;
    DFS();
    FOR(i, 1, m){
        deg[i] = 0;
        ke[i].clear();
    }
    FOR(i, 1, m){
        FOR(j, 1, m) if(i != j){
            if(Inpath(s[j], s[i], t[i])){
                ke[j].PB(i);
                ++deg[i];
            }
            if(Inpath(t[j], s[i], t[i])){
                ke[i].PB(j);
                ++deg[j];
            }
        }
    }
    queue<int> que;
    FOR(i, 1, m) if(!deg[i]) que.push(i);
    while(!que.empty()){
        int u = que.front(); que.pop();
        for(int v : ke[u]){
            --deg[v];
            if(!deg[v]) que.push(v);
        }
    }
    int res = 1;
    FOR(i, 1, m) res &= (deg[i] == 0);
    cout << (res ? "Yes\n" : "No\n");
}

int main(){
    ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    File();
    int ntest; cin >> ntest;
    while(ntest--){
        ReadInput();
        Solve();
    }
    cerr << "\nTime elapsed: " << 1000.0 * clock() / CLOCKS_PER_SEC << " ms.\n";
    return 0;
}

Compilation message

jail.cpp: In function 'void File()':
jail.cpp:82:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
   82 |         freopen(TASK".inp", "r", stdin);
      |         ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
jail.cpp:83:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
   83 |         freopen(TASK".out", "w", stdout);
      |         ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 5 ms 9812 KB Output is correct
2 Correct 5 ms 9812 KB Output is correct
3 Correct 5 ms 9812 KB Output is correct
4 Correct 17 ms 9892 KB Output is correct
5 Correct 28 ms 9896 KB Output is correct
6 Correct 6 ms 9812 KB Output is correct
7 Correct 6 ms 9928 KB Output is correct
8 Correct 16 ms 9992 KB Output is correct
9 Correct 294 ms 12936 KB Output is correct
10 Correct 62 ms 35088 KB Output is correct
11 Correct 13 ms 10012 KB Output is correct
12 Correct 158 ms 11028 KB Output is correct
13 Execution timed out 5056 ms 35576 KB Time limit exceeded
14 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 5 ms 9812 KB Output is correct
2 Correct 4 ms 9812 KB Output is correct
3 Correct 7 ms 9812 KB Output is correct
4 Correct 5 ms 9812 KB Output is correct
5 Correct 7 ms 9904 KB Output is correct
6 Correct 6 ms 9812 KB Output is correct
7 Correct 7 ms 9812 KB Output is correct
8 Correct 6 ms 9812 KB Output is correct
9 Correct 6 ms 9908 KB Output is correct
10 Correct 6 ms 9812 KB Output is correct
11 Correct 5 ms 9812 KB Output is correct
12 Correct 7 ms 9868 KB Output is correct
13 Correct 5 ms 9812 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 9812 KB Output is correct
2 Correct 4 ms 9812 KB Output is correct
3 Correct 7 ms 9812 KB Output is correct
4 Correct 5 ms 9812 KB Output is correct
5 Correct 7 ms 9904 KB Output is correct
6 Correct 6 ms 9812 KB Output is correct
7 Correct 7 ms 9812 KB Output is correct
8 Correct 6 ms 9812 KB Output is correct
9 Correct 6 ms 9908 KB Output is correct
10 Correct 6 ms 9812 KB Output is correct
11 Correct 5 ms 9812 KB Output is correct
12 Correct 7 ms 9868 KB Output is correct
13 Correct 5 ms 9812 KB Output is correct
14 Correct 5 ms 9812 KB Output is correct
15 Correct 5 ms 9812 KB Output is correct
16 Correct 7 ms 9844 KB Output is correct
17 Correct 6 ms 9812 KB Output is correct
18 Correct 7 ms 9812 KB Output is correct
19 Correct 6 ms 9844 KB Output is correct
20 Correct 7 ms 9916 KB Output is correct
21 Correct 6 ms 9812 KB Output is correct
22 Correct 7 ms 9812 KB Output is correct
23 Correct 5 ms 9812 KB Output is correct
24 Correct 6 ms 9812 KB Output is correct
25 Correct 6 ms 9812 KB Output is correct
26 Correct 5 ms 9812 KB Output is correct
27 Correct 6 ms 9820 KB Output is correct
28 Correct 5 ms 9812 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 9812 KB Output is correct
2 Correct 4 ms 9812 KB Output is correct
3 Correct 7 ms 9812 KB Output is correct
4 Correct 5 ms 9812 KB Output is correct
5 Correct 7 ms 9904 KB Output is correct
6 Correct 6 ms 9812 KB Output is correct
7 Correct 7 ms 9812 KB Output is correct
8 Correct 6 ms 9812 KB Output is correct
9 Correct 6 ms 9908 KB Output is correct
10 Correct 6 ms 9812 KB Output is correct
11 Correct 5 ms 9812 KB Output is correct
12 Correct 7 ms 9868 KB Output is correct
13 Correct 5 ms 9812 KB Output is correct
14 Correct 5 ms 9812 KB Output is correct
15 Correct 5 ms 9812 KB Output is correct
16 Correct 7 ms 9844 KB Output is correct
17 Correct 6 ms 9812 KB Output is correct
18 Correct 7 ms 9812 KB Output is correct
19 Correct 6 ms 9844 KB Output is correct
20 Correct 7 ms 9916 KB Output is correct
21 Correct 6 ms 9812 KB Output is correct
22 Correct 7 ms 9812 KB Output is correct
23 Correct 5 ms 9812 KB Output is correct
24 Correct 6 ms 9812 KB Output is correct
25 Correct 6 ms 9812 KB Output is correct
26 Correct 5 ms 9812 KB Output is correct
27 Correct 6 ms 9820 KB Output is correct
28 Correct 5 ms 9812 KB Output is correct
29 Correct 17 ms 9932 KB Output is correct
30 Correct 16 ms 9924 KB Output is correct
31 Correct 14 ms 9936 KB Output is correct
32 Correct 12 ms 9812 KB Output is correct
33 Correct 6 ms 9812 KB Output is correct
34 Correct 34 ms 9812 KB Output is correct
35 Correct 26 ms 9968 KB Output is correct
36 Correct 27 ms 9812 KB Output is correct
37 Correct 18 ms 9916 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 9812 KB Output is correct
2 Correct 4 ms 9812 KB Output is correct
3 Correct 7 ms 9812 KB Output is correct
4 Correct 5 ms 9812 KB Output is correct
5 Correct 7 ms 9904 KB Output is correct
6 Correct 6 ms 9812 KB Output is correct
7 Correct 7 ms 9812 KB Output is correct
8 Correct 6 ms 9812 KB Output is correct
9 Correct 6 ms 9908 KB Output is correct
10 Correct 6 ms 9812 KB Output is correct
11 Correct 5 ms 9812 KB Output is correct
12 Correct 7 ms 9868 KB Output is correct
13 Correct 5 ms 9812 KB Output is correct
14 Correct 5 ms 9812 KB Output is correct
15 Correct 5 ms 9812 KB Output is correct
16 Correct 7 ms 9844 KB Output is correct
17 Correct 6 ms 9812 KB Output is correct
18 Correct 7 ms 9812 KB Output is correct
19 Correct 6 ms 9844 KB Output is correct
20 Correct 7 ms 9916 KB Output is correct
21 Correct 6 ms 9812 KB Output is correct
22 Correct 7 ms 9812 KB Output is correct
23 Correct 5 ms 9812 KB Output is correct
24 Correct 6 ms 9812 KB Output is correct
25 Correct 6 ms 9812 KB Output is correct
26 Correct 5 ms 9812 KB Output is correct
27 Correct 6 ms 9820 KB Output is correct
28 Correct 5 ms 9812 KB Output is correct
29 Correct 17 ms 9932 KB Output is correct
30 Correct 16 ms 9924 KB Output is correct
31 Correct 14 ms 9936 KB Output is correct
32 Correct 12 ms 9812 KB Output is correct
33 Correct 6 ms 9812 KB Output is correct
34 Correct 34 ms 9812 KB Output is correct
35 Correct 26 ms 9968 KB Output is correct
36 Correct 27 ms 9812 KB Output is correct
37 Correct 18 ms 9916 KB Output is correct
38 Correct 291 ms 12856 KB Output is correct
39 Correct 68 ms 35004 KB Output is correct
40 Correct 546 ms 13024 KB Output is correct
41 Correct 552 ms 11888 KB Output is correct
42 Correct 656 ms 13244 KB Output is correct
43 Correct 35 ms 11980 KB Output is correct
44 Correct 565 ms 10412 KB Output is correct
45 Correct 94 ms 26316 KB Output is correct
46 Correct 97 ms 26300 KB Output is correct
47 Correct 77 ms 30044 KB Output is correct
48 Correct 78 ms 30056 KB Output is correct
49 Correct 81 ms 26504 KB Output is correct
50 Correct 86 ms 26552 KB Output is correct
51 Correct 51 ms 27552 KB Output is correct
52 Correct 51 ms 27552 KB Output is correct
53 Correct 540 ms 11416 KB Output is correct
54 Correct 115 ms 26328 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 5 ms 9812 KB Output is correct
2 Correct 5 ms 9812 KB Output is correct
3 Correct 5 ms 9812 KB Output is correct
4 Correct 5 ms 9812 KB Output is correct
5 Correct 13 ms 9848 KB Output is correct
6 Correct 6 ms 9812 KB Output is correct
7 Correct 5 ms 9812 KB Output is correct
8 Correct 6 ms 9812 KB Output is correct
9 Correct 5 ms 9812 KB Output is correct
10 Correct 5 ms 9812 KB Output is correct
11 Correct 7 ms 9812 KB Output is correct
12 Correct 28 ms 9908 KB Output is correct
13 Correct 251 ms 10028 KB Output is correct
14 Correct 124 ms 9812 KB Output is correct
15 Correct 213 ms 9884 KB Output is correct
16 Execution timed out 5087 ms 26756 KB Time limit exceeded
17 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 5 ms 9812 KB Output is correct
2 Correct 5 ms 9812 KB Output is correct
3 Correct 5 ms 9812 KB Output is correct
4 Correct 17 ms 9892 KB Output is correct
5 Correct 28 ms 9896 KB Output is correct
6 Correct 6 ms 9812 KB Output is correct
7 Correct 6 ms 9928 KB Output is correct
8 Correct 16 ms 9992 KB Output is correct
9 Correct 294 ms 12936 KB Output is correct
10 Correct 62 ms 35088 KB Output is correct
11 Correct 13 ms 10012 KB Output is correct
12 Correct 158 ms 11028 KB Output is correct
13 Execution timed out 5056 ms 35576 KB Time limit exceeded
14 Halted 0 ms 0 KB -