Submission #725015

# Submission time Handle Problem Language Result Execution time Memory
725015 2023-04-16T12:58:41 Z berr Jail (JOI22_jail) C++17
61 / 100
5000 ms 43648 KB
#include <bits/stdc++.h>
using namespace std; 
const int N = 1e5 + 2e4 + 37;
vector<int> adj[N], adj2[N], adj3[N], s(N), e(N), ti(N), to(N), vis(N), de(N), qe(N, -1), qs(N, -1);
int par[N][18], cnt, flag;


bool ia(int x, int y){
    return ti[x] <= ti[y] && to[x] >= to[y];
}

int d(int x, int y){
    if(x == y || x==-1 || y==-1) return 0;

    int sum = 0;

    if(ia(x, y)) swap(x, y);

    for (int i = 17; i >= 0; i--){
        if(!ia(par[x][i], y)){
            x = par[x][i];
            sum += 1<<i;
        }
    }

    sum++;
    x=par[x][0];



    swap(x, y);

    sum+=de[x]-de[y];
    return sum;
}

bool c(int x, int y){
    if(x==y || x==-1 || y==-1) return 0;

    if( (d(s[x], e[x]) == (d(s[x], e[y])+ d(e[y], e[x])))) return 1;
    swap(x, y);
    return (d(s[x], e[x]) == (d(s[x], s[y])+ d(s[y], e[x])));
}
bool c2(int x, int y){
    if(x==y) return 0;

    if(d(s[x], e[x]) == d(s[x], s[y])+ d(s[y], e[y]) + d(e[y], e[x])) return 1;
    if(d(s[x], e[x]) == d(s[x], e[y])+ d(e[y], s[y]) + d(s[y], e[x])) return 1;
    return 0;
}

void dfs(int v, int p){
    par[v][0] = p;
    de[v]=de[p]+1;
    ti[v] = cnt++;
    
    for (auto i: adj[v]){
        if (i == p) continue;
        dfs(i, v);
    }

    to[v] = cnt++;
}

void dfs2(int v, int z){
    vis[v] = z;

    for (auto i: adj2[v]){
        if (vis[i]==z) flag = 0;
        else if(vis[i]<z) dfs2(i, z);
    }

    vis[v]=z+1;
}

void ssolve(int n, int m){
    for(int i=0;i<m; i++){

        int x=s[i], y=e[i];


        while(!ia(x, y)){

            int l=qs[x];
            if (c(i, l)) adj2[i].push_back(l);


            if(c2(i, l)) flag = 0;

            l=qe[x];
                        if (c(i, l)) adj2[i].push_back(l);


            if(c2(i, l)) flag = 0;

            x=par[x][0];
        }

        int l=qs[x];
                    if (c(i, l)) adj2[i].push_back(l);


            if(c2(i, l)) flag = 0;
                    l=qe[x];

                 if (c(i, l)) adj2[i].push_back(l);

                    
            if(c2(i, l)) flag = 0;

         while(!ia(y, x)){
            int l=qs[y];

            if (c(i, l)) adj2[i].push_back(l);


            if(c2(i, l)) flag = 0;

            l=qe[y];
                   if (c(i, l)) adj2[i].push_back(l);


            if(c2(i, l)) flag = 0;

            y=par[y][0];
        }


    }


    for(int i = 0; i < n; i++){
        if(vis[i]==0) dfs2(i, n*i+1);
    }


    if(flag) cout<<"Yes\n";
    else cout<<"No\n";

    for (int i = 0; i < n; i++){
        adj[i].clear();
        adj2[i].clear();
        vis[i] = 0;
        qs[i]=qe[i]=-1;
    }
}

void solve(){
    int n; cin >> n;
    cnt = 0;

    for (int i = 1; i < n; i++){
        int x, y; cin >> x >> y;
        x--; y--;
        adj[x].push_back(y);
        adj[y].push_back(x);
    }

    de[0]=-1;
    dfs(0, 0);

    for (int i = 1; i < 18; i++){
        for(int l = 0; l < n; l++){
            par[l][i] = par[par[l][i-1]][i-1];
        }
    }

    flag = 1;

    int m; cin >> m;


    for (int i = 0; i < m; i++){
        cin >> s[i] >> e[i];
        s[i]--; e[i]--;
        qs[s[i]]=i;
        qe[e[i]]=i;

    }
    if(m>500){
        ssolve(n, m);
        return ;
    }
    else{

    for (int i = 0; i < m; i++){
        for (int l = 0; l < m; l++){
            if (c(i, l)) adj2[i].push_back(l);


            if(c2(i, l)) flag = 0;
            

        }
    }

    for(int i = 0; i < n; i++){
        if(vis[i]==0) dfs2(i, n*i+1);
    }


    if(flag) cout << "Yes\n";
    else cout << "No\n";

    for (int i = 0; i < n; i++){
        adj[i].clear();
        adj2[i].clear();
        vis[i] = 0;
        qs[i]=qe[i]=-1;
    }
    }
}

int32_t main(){
    ios_base::sync_with_stdio(false);
    cin.tie(0);
        
    int t; cin>>t;

    while(t--){
        solve();
    }
}
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12500 KB Output is correct
2 Correct 6 ms 12500 KB Output is correct
3 Correct 7 ms 12536 KB Output is correct
4 Correct 17 ms 12500 KB Output is correct
5 Correct 28 ms 12572 KB Output is correct
6 Correct 8 ms 12500 KB Output is correct
7 Correct 8 ms 12500 KB Output is correct
8 Correct 152 ms 12640 KB Output is correct
9 Correct 4966 ms 14572 KB Output is correct
10 Correct 246 ms 30940 KB Output is correct
11 Correct 45 ms 12568 KB Output is correct
12 Correct 1525 ms 12648 KB Output is correct
13 Execution timed out 5075 ms 43648 KB Time limit exceeded
14 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12524 KB Output is correct
2 Correct 7 ms 12500 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 8 ms 12500 KB Output is correct
5 Correct 7 ms 12608 KB Output is correct
6 Correct 7 ms 12500 KB Output is correct
7 Correct 7 ms 12552 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 8 ms 12500 KB Output is correct
11 Correct 8 ms 12500 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12536 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12524 KB Output is correct
2 Correct 7 ms 12500 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 8 ms 12500 KB Output is correct
5 Correct 7 ms 12608 KB Output is correct
6 Correct 7 ms 12500 KB Output is correct
7 Correct 7 ms 12552 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 8 ms 12500 KB Output is correct
11 Correct 8 ms 12500 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12536 KB Output is correct
14 Correct 8 ms 12500 KB Output is correct
15 Correct 7 ms 12500 KB Output is correct
16 Correct 9 ms 12580 KB Output is correct
17 Correct 8 ms 12500 KB Output is correct
18 Correct 8 ms 12500 KB Output is correct
19 Correct 7 ms 12500 KB Output is correct
20 Correct 8 ms 12500 KB Output is correct
21 Correct 8 ms 12500 KB Output is correct
22 Correct 7 ms 12500 KB Output is correct
23 Correct 7 ms 12500 KB Output is correct
24 Correct 7 ms 12552 KB Output is correct
25 Correct 8 ms 12500 KB Output is correct
26 Correct 7 ms 12480 KB Output is correct
27 Correct 8 ms 12500 KB Output is correct
28 Correct 6 ms 12500 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12524 KB Output is correct
2 Correct 7 ms 12500 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 8 ms 12500 KB Output is correct
5 Correct 7 ms 12608 KB Output is correct
6 Correct 7 ms 12500 KB Output is correct
7 Correct 7 ms 12552 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 8 ms 12500 KB Output is correct
11 Correct 8 ms 12500 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12536 KB Output is correct
14 Correct 8 ms 12500 KB Output is correct
15 Correct 7 ms 12500 KB Output is correct
16 Correct 9 ms 12580 KB Output is correct
17 Correct 8 ms 12500 KB Output is correct
18 Correct 8 ms 12500 KB Output is correct
19 Correct 7 ms 12500 KB Output is correct
20 Correct 8 ms 12500 KB Output is correct
21 Correct 8 ms 12500 KB Output is correct
22 Correct 7 ms 12500 KB Output is correct
23 Correct 7 ms 12500 KB Output is correct
24 Correct 7 ms 12552 KB Output is correct
25 Correct 8 ms 12500 KB Output is correct
26 Correct 7 ms 12480 KB Output is correct
27 Correct 8 ms 12500 KB Output is correct
28 Correct 6 ms 12500 KB Output is correct
29 Correct 145 ms 12612 KB Output is correct
30 Correct 57 ms 12604 KB Output is correct
31 Correct 61 ms 12608 KB Output is correct
32 Correct 34 ms 12500 KB Output is correct
33 Correct 11 ms 12500 KB Output is correct
34 Correct 100 ms 12600 KB Output is correct
35 Correct 122 ms 12628 KB Output is correct
36 Correct 87 ms 12600 KB Output is correct
37 Correct 58 ms 12592 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12524 KB Output is correct
2 Correct 7 ms 12500 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 8 ms 12500 KB Output is correct
5 Correct 7 ms 12608 KB Output is correct
6 Correct 7 ms 12500 KB Output is correct
7 Correct 7 ms 12552 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 8 ms 12500 KB Output is correct
11 Correct 8 ms 12500 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12536 KB Output is correct
14 Correct 8 ms 12500 KB Output is correct
15 Correct 7 ms 12500 KB Output is correct
16 Correct 9 ms 12580 KB Output is correct
17 Correct 8 ms 12500 KB Output is correct
18 Correct 8 ms 12500 KB Output is correct
19 Correct 7 ms 12500 KB Output is correct
20 Correct 8 ms 12500 KB Output is correct
21 Correct 8 ms 12500 KB Output is correct
22 Correct 7 ms 12500 KB Output is correct
23 Correct 7 ms 12500 KB Output is correct
24 Correct 7 ms 12552 KB Output is correct
25 Correct 8 ms 12500 KB Output is correct
26 Correct 7 ms 12480 KB Output is correct
27 Correct 8 ms 12500 KB Output is correct
28 Correct 6 ms 12500 KB Output is correct
29 Correct 145 ms 12612 KB Output is correct
30 Correct 57 ms 12604 KB Output is correct
31 Correct 61 ms 12608 KB Output is correct
32 Correct 34 ms 12500 KB Output is correct
33 Correct 11 ms 12500 KB Output is correct
34 Correct 100 ms 12600 KB Output is correct
35 Correct 122 ms 12628 KB Output is correct
36 Correct 87 ms 12600 KB Output is correct
37 Correct 58 ms 12592 KB Output is correct
38 Correct 4991 ms 14740 KB Output is correct
39 Correct 262 ms 31052 KB Output is correct
40 Correct 4009 ms 14572 KB Output is correct
41 Correct 3111 ms 13260 KB Output is correct
42 Correct 3019 ms 14576 KB Output is correct
43 Correct 81 ms 13296 KB Output is correct
44 Correct 2496 ms 12792 KB Output is correct
45 Correct 312 ms 24816 KB Output is correct
46 Correct 346 ms 24816 KB Output is correct
47 Correct 587 ms 27584 KB Output is correct
48 Correct 560 ms 27588 KB Output is correct
49 Correct 428 ms 25048 KB Output is correct
50 Correct 462 ms 24916 KB Output is correct
51 Correct 125 ms 25732 KB Output is correct
52 Correct 131 ms 25732 KB Output is correct
53 Correct 2167 ms 13472 KB Output is correct
54 Correct 289 ms 24768 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 8 ms 12560 KB Output is correct
2 Correct 7 ms 12448 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 8 ms 12444 KB Output is correct
5 Correct 51 ms 12580 KB Output is correct
6 Correct 8 ms 12560 KB Output is correct
7 Correct 7 ms 12500 KB Output is correct
8 Correct 8 ms 12536 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 8 ms 12576 KB Output is correct
11 Correct 7 ms 12460 KB Output is correct
12 Correct 108 ms 12604 KB Output is correct
13 Correct 1141 ms 12728 KB Output is correct
14 Correct 515 ms 12704 KB Output is correct
15 Correct 843 ms 12720 KB Output is correct
16 Correct 171 ms 25256 KB Output is correct
17 Execution timed out 5013 ms 28372 KB Time limit exceeded
18 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12500 KB Output is correct
2 Correct 6 ms 12500 KB Output is correct
3 Correct 7 ms 12536 KB Output is correct
4 Correct 17 ms 12500 KB Output is correct
5 Correct 28 ms 12572 KB Output is correct
6 Correct 8 ms 12500 KB Output is correct
7 Correct 8 ms 12500 KB Output is correct
8 Correct 152 ms 12640 KB Output is correct
9 Correct 4966 ms 14572 KB Output is correct
10 Correct 246 ms 30940 KB Output is correct
11 Correct 45 ms 12568 KB Output is correct
12 Correct 1525 ms 12648 KB Output is correct
13 Execution timed out 5075 ms 43648 KB Time limit exceeded
14 Halted 0 ms 0 KB -