Submission #725001

# Submission time Handle Problem Language Result Execution time Memory
725001 2023-04-16T12:43:35 Z berr Jail (JOI22_jail) C++17
49 / 100
5000 ms 29108 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++){
        vector<int> path;

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


        while(!ia(x, y)){
            path.push_back(x);
            x=par[x][0];
        }

        path.push_back(x);

        while(!ia(y, x)){
            path.push_back(y);
            y=par[y][0];
        }

        for(auto i: path){
            int l=qs[i];

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


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

            l=qe[i];

            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;
    }
}

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 ;
    }

    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 12520 KB Output is correct
4 Correct 17 ms 12500 KB Output is correct
5 Correct 28 ms 12500 KB Output is correct
6 Correct 7 ms 12500 KB Output is correct
7 Correct 8 ms 12500 KB Output is correct
8 Correct 142 ms 12596 KB Output is correct
9 Execution timed out 5002 ms 14560 KB Time limit exceeded
10 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12500 KB Output is correct
2 Correct 8 ms 12556 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 7 ms 12584 KB Output is correct
5 Correct 7 ms 12500 KB Output is correct
6 Correct 7 ms 12556 KB Output is correct
7 Correct 9 ms 12544 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 9 ms 12500 KB Output is correct
11 Correct 7 ms 12480 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12500 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12500 KB Output is correct
2 Correct 8 ms 12556 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 7 ms 12584 KB Output is correct
5 Correct 7 ms 12500 KB Output is correct
6 Correct 7 ms 12556 KB Output is correct
7 Correct 9 ms 12544 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 9 ms 12500 KB Output is correct
11 Correct 7 ms 12480 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12500 KB Output is correct
14 Correct 7 ms 12460 KB Output is correct
15 Correct 6 ms 12500 KB Output is correct
16 Correct 8 ms 12500 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 9 ms 12500 KB Output is correct
21 Correct 8 ms 12500 KB Output is correct
22 Correct 7 ms 12484 KB Output is correct
23 Correct 7 ms 12500 KB Output is correct
24 Correct 7 ms 12500 KB Output is correct
25 Correct 9 ms 12584 KB Output is correct
26 Correct 7 ms 12496 KB Output is correct
27 Correct 8 ms 12500 KB Output is correct
28 Correct 7 ms 12508 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12500 KB Output is correct
2 Correct 8 ms 12556 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 7 ms 12584 KB Output is correct
5 Correct 7 ms 12500 KB Output is correct
6 Correct 7 ms 12556 KB Output is correct
7 Correct 9 ms 12544 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 9 ms 12500 KB Output is correct
11 Correct 7 ms 12480 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12500 KB Output is correct
14 Correct 7 ms 12460 KB Output is correct
15 Correct 6 ms 12500 KB Output is correct
16 Correct 8 ms 12500 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 9 ms 12500 KB Output is correct
21 Correct 8 ms 12500 KB Output is correct
22 Correct 7 ms 12484 KB Output is correct
23 Correct 7 ms 12500 KB Output is correct
24 Correct 7 ms 12500 KB Output is correct
25 Correct 9 ms 12584 KB Output is correct
26 Correct 7 ms 12496 KB Output is correct
27 Correct 8 ms 12500 KB Output is correct
28 Correct 7 ms 12508 KB Output is correct
29 Correct 139 ms 12652 KB Output is correct
30 Correct 54 ms 12604 KB Output is correct
31 Correct 65 ms 12612 KB Output is correct
32 Correct 36 ms 12580 KB Output is correct
33 Correct 12 ms 12500 KB Output is correct
34 Correct 98 ms 12588 KB Output is correct
35 Correct 127 ms 12632 KB Output is correct
36 Correct 87 ms 12592 KB Output is correct
37 Correct 76 ms 12600 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 12500 KB Output is correct
2 Correct 8 ms 12556 KB Output is correct
3 Correct 7 ms 12500 KB Output is correct
4 Correct 7 ms 12584 KB Output is correct
5 Correct 7 ms 12500 KB Output is correct
6 Correct 7 ms 12556 KB Output is correct
7 Correct 9 ms 12544 KB Output is correct
8 Correct 7 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 9 ms 12500 KB Output is correct
11 Correct 7 ms 12480 KB Output is correct
12 Correct 7 ms 12500 KB Output is correct
13 Correct 7 ms 12500 KB Output is correct
14 Correct 7 ms 12460 KB Output is correct
15 Correct 6 ms 12500 KB Output is correct
16 Correct 8 ms 12500 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 9 ms 12500 KB Output is correct
21 Correct 8 ms 12500 KB Output is correct
22 Correct 7 ms 12484 KB Output is correct
23 Correct 7 ms 12500 KB Output is correct
24 Correct 7 ms 12500 KB Output is correct
25 Correct 9 ms 12584 KB Output is correct
26 Correct 7 ms 12496 KB Output is correct
27 Correct 8 ms 12500 KB Output is correct
28 Correct 7 ms 12508 KB Output is correct
29 Correct 139 ms 12652 KB Output is correct
30 Correct 54 ms 12604 KB Output is correct
31 Correct 65 ms 12612 KB Output is correct
32 Correct 36 ms 12580 KB Output is correct
33 Correct 12 ms 12500 KB Output is correct
34 Correct 98 ms 12588 KB Output is correct
35 Correct 127 ms 12632 KB Output is correct
36 Correct 87 ms 12592 KB Output is correct
37 Correct 76 ms 12600 KB Output is correct
38 Execution timed out 5007 ms 14644 KB Time limit exceeded
39 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 6 ms 12548 KB Output is correct
4 Correct 7 ms 12500 KB Output is correct
5 Correct 48 ms 12568 KB Output is correct
6 Correct 7 ms 12584 KB Output is correct
7 Correct 6 ms 12500 KB Output is correct
8 Correct 6 ms 12500 KB Output is correct
9 Correct 7 ms 12500 KB Output is correct
10 Correct 6 ms 12500 KB Output is correct
11 Correct 6 ms 12488 KB Output is correct
12 Correct 84 ms 12588 KB Output is correct
13 Correct 979 ms 12780 KB Output is correct
14 Correct 435 ms 12780 KB Output is correct
15 Correct 745 ms 12716 KB Output is correct
16 Correct 190 ms 25312 KB Output is correct
17 Correct 1095 ms 27744 KB Output is correct
18 Incorrect 3191 ms 29108 KB Output isn't correct
19 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 12520 KB Output is correct
4 Correct 17 ms 12500 KB Output is correct
5 Correct 28 ms 12500 KB Output is correct
6 Correct 7 ms 12500 KB Output is correct
7 Correct 8 ms 12500 KB Output is correct
8 Correct 142 ms 12596 KB Output is correct
9 Execution timed out 5002 ms 14560 KB Time limit exceeded
10 Halted 0 ms 0 KB -