oj.uz

Submission #879887

# Submission time Handle Problem Language Result Execution time Memory
879887 2023-11-28T09:12:28 Z vivkostov Jail (JOI22_jail) C++14
54 / 100
 973 ms 672948 KB 
#include<bits/stdc++.h>
#define endl "\n"
using namespace std;
void speed()
{
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);
    cout.tie(NULL);
}
int q,n,m,c,d,a[2000005],b[2000005],child[2000005],machild[2000005],used[2000005],up[2000005],bin[2000005][60],level[2000005],usedl[2000005],in,brr,brj;
vector<int>v[2000005],p[2000005];
void find_child(int beg,int par,int lev)
{
    level[beg]=lev;
    child[beg]++;
    bin[beg][0]=par;
    int w=0;
    for(int i=0;i<v[beg].size();i++)
    {
        w=v[beg][i];
        if(!child[w])
        {
            find_child(w,beg,lev+1);
            child[beg]+=child[w];
            machild[beg]=max(machild[beg],child[w]);
        }
    }
}
void heavylight(int beg,int last)
{
    in++;
    up[beg]=last;
    used[beg]=in;
    int w,ma=0;
    for(int i=0;i<v[beg].size();i++)
    {
        w=v[beg][i];
        if(!used[w]&&child[w]==machild[beg])
        {
            heavylight(w,last);
            break;
        }
    }
    for(int i=0;i<v[beg].size();i++)
    {
        w=v[beg][i];
        if(!used[w])heavylight(w,w);
    }
}
void make_start(int l,int r,int h)
{
    if(l==r)return;
    int mid=(l+r)/2;
    p[h+n].push_back(h*2+n);
    p[h+n].push_back(h*2+1+n);
    make_start(l,mid,h*2);
    make_start(mid+1,r,h*2+1);
}
void make_finish(int l,int r,int h)
{
    if(l==r)return;
    int mid=(l+r)/2;
    p[h*2+n*5].push_back(h+n*5);
    p[h*2+1+n*5].push_back(h+n*5);
    make_finish(l,mid,h*2);
    make_finish(mid+1,r,h*2+1);
}
void update(int l,int r,int ql,int qr,int h,int to,int type)
{
    if(l>qr||r<ql)return;
    if(l>=ql&&r<=qr)
    {
        if(type==1)p[h+n].push_back(to);
        if(type==2)p[to].push_back(h+n*5);
        if(type==3)p[to].push_back(h+n);
        if(type==4)p[h+n*5].push_back(to);
        return;
    }
    int mid=(l+r)/2;
    update(l,mid,ql,qr,h*2,to,type);
    update(mid+1,r,ql,qr,h*2+1,to,type);
}
void make_bin()
{
    for(int j=1;j<=30;j++)
    {
        for(int i=1;i<=n;i++)
        {
            bin[i][j]=bin[bin[i][j-1]][j-1];
        }
    }
}
void add_all()
{
    for(int i=1;i<=m;i++)
    {
        update(1,n,used[a[i]],used[a[i]],1,i,1);
        update(1,n,used[b[i]],used[b[i]],1,i,2);
    }
}
int lca(int x,int y)
{
    if(level[x]>level[y])swap(x,y);
    for(int i=30;i>=0;i--)
    {
        if(level[bin[y][i]]>=level[x])y=bin[y][i];
    }
    if(x==y)return x;
    for(int i=30;i>=0;i--)
    {
        if(bin[x][i]!=bin[y][i])
        {
            x=bin[x][i];
            y=bin[y][i];
        }
    }
    return bin[x][0];
}
void go_up_heavy(int beg,int lc,int prisoner)
{
    if(level[up[beg]]==level[lc])
    {
        update(1,n,used[up[beg]],used[beg],1,prisoner,3);
        update(1,n,used[up[beg]],used[beg],1,prisoner,4);
        return;
    }
    if(level[up[beg]]>level[lc])
    {
        update(1,n,used[up[beg]],used[beg],1,prisoner,3);
        update(1,n,used[up[beg]],used[beg],1,prisoner,4);
        go_up_heavy(bin[up[beg]][0],lc,prisoner);
        return;
    }
    update(1,n,used[lc],used[beg],1,prisoner,3);
    update(1,n,used[lc],used[beg],1,prisoner,4);
}
void add_path()
{
    for(int i=1;i<=m;i++)
    {
        int g=lca(a[i],b[i]);
        go_up_heavy(a[i],g,i);
        go_up_heavy(b[i],g,i);
    }
}
int tin[2000005],low[2000005],tim,lamp,comp[2000005],co;
stack<int>s;
void conect(int beg,int par)
{
    tim++;
    tin[beg]=tim;
    low[beg]=tim;
    s.push(beg);
    int w;
    for(int i=0;i<p[beg].size();i++)
    {
        w=p[beg][i];
        if(tin[w]==-1)continue;
        if(!tin[w])
        {
            conect(w,beg);
            low[beg]=min(low[beg],low[w]);
        }
        if(par!=w)low[beg]=min(low[beg],low[w]);
    }
    if(low[beg]==tin[beg])
    {
        co++;
        while(s.top()!=beg)
        {
            //cout<<s.top()<<" ";
            tin[s.top()]=-1;
            comp[s.top()]=co;
            s.pop();
        }
        //cout<<s.top()<<" ";
        tin[s.top()]=-1;
        comp[s.top()]=co;
        s.pop();
        //cout<<endl;
    }
}
void fill_cycle(int beg)
{
    if(beg<=m)brj++;
    usedl[beg]=2;
    int w;
    for(int i=0; i<p[beg].size(); i++)
    {
        w=p[beg][i];
        if(usedl[w]==1)fill_cycle(w);
    }
}
void find_cycle(int beg)
{
    usedl[beg]=1;
    int w;
    for(int i=0; i<p[beg].size(); i++)
    {
        w=p[beg][i];
        if(!usedl[w])find_cycle(w);
    }
    if(usedl[beg]!=2&&beg<=m)
    {
        fill_cycle(beg);
        if(brj>=2)brr++;
        brj=0;
    }
}
void resh()
{
    find_child(1,0,1);
    heavylight(1,1);
    make_start(1,n,1);
    make_finish(1,n,1);
    add_all();
    make_bin();
    add_path();
    for(int i=1;i<=n*10;i++)
    {
        if(!usedl[i])find_cycle(i);
    }
    /*for(int i=1;i<=48;i++)
    {
        cout<<i<<" | ";
        for(int j=0;j<p[i].size();j++)
        {
            cout<<p[i][j]<<" ";
        }
        cout<<endl;
    }
    */
    if(brr)cout<<"No"<<endl;
    else cout<<"Yes"<<endl;
    for(int i=0;i<=n*15;i++)
    {
        a[i]=0;
        b[i]=0;
        child[i]=0;
        machild[i]=0;
        used[i]=0;
        up[i]=0;
        level[i]=0;
        usedl[i]=0;
        tin[i]=0;
        low[i]=0;
        comp[i]=0;
        v[i].clear();
        for(int j=0;j<=30;j++)bin[i][j]=0;
    }
    for(int i=0;i<=15*n;i++)p[i].clear();
    while(!s.empty())s.pop();
    in=0;
    brr=0;
    brj=0;
    lamp=0;
    tim=0;
    co=0;
}
void read()
{
    cin>>q;
    for(int z=1;z<=q;z++)
    {
        cin>>n;
        for(int i=1;i<n;i++)
        {
            cin>>c>>d;
            v[c].push_back(d);
            v[d].push_back(c);
        }
        cin>>m;
        for(int i=1;i<=m;i++)
        {
            cin>>a[i]>>b[i];
        }
        resh();
    }
}
int main()
{
    speed();
    read();
    return 0;
}

Compilation message

jail.cpp: In function 'void find_child(int, int, int)':
jail.cpp:18:18: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   18 |     for(int i=0;i<v[beg].size();i++)
      |                 ~^~~~~~~~~~~~~~
jail.cpp: In function 'void heavylight(int, int)':
jail.cpp:35:18: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   35 |     for(int i=0;i<v[beg].size();i++)
      |                 ~^~~~~~~~~~~~~~
jail.cpp:44:18: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   44 |     for(int i=0;i<v[beg].size();i++)
      |                 ~^~~~~~~~~~~~~~
jail.cpp:34:11: warning: unused variable 'ma' [-Wunused-variable]
   34 |     int w,ma=0;
      |           ^~
jail.cpp: In function 'void conect(int, int)':
jail.cpp:155:18: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  155 |     for(int i=0;i<p[beg].size();i++)
      |                 ~^~~~~~~~~~~~~~
jail.cpp: In function 'void fill_cycle(int)':
jail.cpp:188:19: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  188 |     for(int i=0; i<p[beg].size(); i++)
      |                  ~^~~~~~~~~~~~~~
jail.cpp: In function 'void find_cycle(int)':
jail.cpp:198:19: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  198 |     for(int i=0; i<p[beg].size(); i++)
      |                  ~^~~~~~~~~~~~~~

Subtask #1
5.0 / 5.0

# Verdict Execution time Memory Grader output
1 Correct 23 ms 115292 KB Output is correct
2 Correct 22 ms 115292 KB Output is correct
3 Correct 22 ms 115292 KB Output is correct
4 Correct 46 ms 115288 KB Output is correct
5 Correct 75 ms 115292 KB Output is correct
6 Correct 25 ms 117340 KB Output is correct
7 Correct 27 ms 117336 KB Output is correct
8 Correct 28 ms 117336 KB Output is correct
9 Correct 137 ms 146324 KB Output is correct
10 Correct 180 ms 629588 KB Output is correct
11 Correct 36 ms 115288 KB Output is correct
12 Correct 113 ms 116408 KB Output is correct
13 Correct 315 ms 637228 KB Output is correct
14 Correct 283 ms 637592 KB Output is correct
15 Correct 518 ms 644348 KB Output is correct
16 Correct 973 ms 672948 KB Output is correct
17 Correct 344 ms 644252 KB Output is correct
18 Correct 353 ms 647308 KB Output is correct
19 Correct 326 ms 642384 KB Output is correct
20 Correct 328 ms 642384 KB Output is correct
21 Correct 347 ms 644304 KB Output is correct
22 Correct 261 ms 633796 KB Output is correct

Subtask #2
5.0 / 5.0

# Verdict Execution time Memory Grader output
1 Correct 22 ms 115292 KB Output is correct
2 Correct 22 ms 115292 KB Output is correct
3 Correct 25 ms 117340 KB Output is correct
4 Correct 25 ms 117340 KB Output is correct
5 Correct 26 ms 117336 KB Output is correct
6 Correct 30 ms 117668 KB Output is correct
7 Correct 26 ms 117300 KB Output is correct
8 Correct 25 ms 117340 KB Output is correct
9 Correct 25 ms 117336 KB Output is correct
10 Correct 25 ms 117504 KB Output is correct
11 Correct 26 ms 117336 KB Output is correct
12 Correct 24 ms 117340 KB Output is correct
13 Correct 25 ms 117500 KB Output is correct

Subtask #3
16.0 / 16.0

# Verdict Execution time Memory Grader output
1 Correct 22 ms 115292 KB Output is correct
2 Correct 22 ms 115292 KB Output is correct
3 Correct 25 ms 117340 KB Output is correct
4 Correct 25 ms 117340 KB Output is correct
5 Correct 26 ms 117336 KB Output is correct
6 Correct 30 ms 117668 KB Output is correct
7 Correct 26 ms 117300 KB Output is correct
8 Correct 25 ms 117340 KB Output is correct
9 Correct 25 ms 117336 KB Output is correct
10 Correct 25 ms 117504 KB Output is correct
11 Correct 26 ms 117336 KB Output is correct
12 Correct 24 ms 117340 KB Output is correct
13 Correct 25 ms 117500 KB Output is correct
14 Correct 23 ms 115292 KB Output is correct
15 Correct 23 ms 115292 KB Output is correct
16 Correct 26 ms 117340 KB Output is correct
17 Correct 27 ms 117504 KB Output is correct
18 Correct 26 ms 117336 KB Output is correct
19 Correct 23 ms 115292 KB Output is correct
20 Correct 26 ms 117348 KB Output is correct
21 Correct 26 ms 117344 KB Output is correct
22 Correct 25 ms 117292 KB Output is correct
23 Correct 26 ms 115228 KB Output is correct
24 Correct 23 ms 115300 KB Output is correct
25 Correct 26 ms 117484 KB Output is correct
26 Correct 24 ms 117508 KB Output is correct
27 Correct 27 ms 117352 KB Output is correct
28 Correct 23 ms 115260 KB Output is correct

Subtask #4
28.0 / 28.0

# Verdict Execution time Memory Grader output
1 Correct 22 ms 115292 KB Output is correct
2 Correct 22 ms 115292 KB Output is correct
3 Correct 25 ms 117340 KB Output is correct
4 Correct 25 ms 117340 KB Output is correct
5 Correct 26 ms 117336 KB Output is correct
6 Correct 30 ms 117668 KB Output is correct
7 Correct 26 ms 117300 KB Output is correct
8 Correct 25 ms 117340 KB Output is correct
9 Correct 25 ms 117336 KB Output is correct
10 Correct 25 ms 117504 KB Output is correct
11 Correct 26 ms 117336 KB Output is correct
12 Correct 24 ms 117340 KB Output is correct
13 Correct 25 ms 117500 KB Output is correct
14 Correct 23 ms 115292 KB Output is correct
15 Correct 23 ms 115292 KB Output is correct
16 Correct 26 ms 117340 KB Output is correct
17 Correct 27 ms 117504 KB Output is correct
18 Correct 26 ms 117336 KB Output is correct
19 Correct 23 ms 115292 KB Output is correct
20 Correct 26 ms 117348 KB Output is correct
21 Correct 26 ms 117344 KB Output is correct
22 Correct 25 ms 117292 KB Output is correct
23 Correct 26 ms 115228 KB Output is correct
24 Correct 23 ms 115300 KB Output is correct
25 Correct 26 ms 117484 KB Output is correct
26 Correct 24 ms 117508 KB Output is correct
27 Correct 27 ms 117352 KB Output is correct
28 Correct 23 ms 115260 KB Output is correct
29 Correct 32 ms 117340 KB Output is correct
30 Correct 28 ms 117348 KB Output is correct
31 Correct 27 ms 117344 KB Output is correct
32 Correct 27 ms 117348 KB Output is correct
33 Correct 25 ms 117360 KB Output is correct
34 Correct 28 ms 117352 KB Output is correct
35 Correct 27 ms 117532 KB Output is correct
36 Correct 26 ms 117540 KB Output is correct
37 Correct 26 ms 117352 KB Output is correct

Subtask #5
0 / 12.0

# Verdict Execution time Memory Grader output
1 Correct 22 ms 115292 KB Output is correct
2 Correct 22 ms 115292 KB Output is correct
3 Correct 25 ms 117340 KB Output is correct
4 Correct 25 ms 117340 KB Output is correct
5 Correct 26 ms 117336 KB Output is correct
6 Correct 30 ms 117668 KB Output is correct
7 Correct 26 ms 117300 KB Output is correct
8 Correct 25 ms 117340 KB Output is correct
9 Correct 25 ms 117336 KB Output is correct
10 Correct 25 ms 117504 KB Output is correct
11 Correct 26 ms 117336 KB Output is correct
12 Correct 24 ms 117340 KB Output is correct
13 Correct 25 ms 117500 KB Output is correct
14 Correct 23 ms 115292 KB Output is correct
15 Correct 23 ms 115292 KB Output is correct
16 Correct 26 ms 117340 KB Output is correct
17 Correct 27 ms 117504 KB Output is correct
18 Correct 26 ms 117336 KB Output is correct
19 Correct 23 ms 115292 KB Output is correct
20 Correct 26 ms 117348 KB Output is correct
21 Correct 26 ms 117344 KB Output is correct
22 Correct 25 ms 117292 KB Output is correct
23 Correct 26 ms 115228 KB Output is correct
24 Correct 23 ms 115300 KB Output is correct
25 Correct 26 ms 117484 KB Output is correct
26 Correct 24 ms 117508 KB Output is correct
27 Correct 27 ms 117352 KB Output is correct
28 Correct 23 ms 115260 KB Output is correct
29 Correct 32 ms 117340 KB Output is correct
30 Correct 28 ms 117348 KB Output is correct
31 Correct 27 ms 117344 KB Output is correct
32 Correct 27 ms 117348 KB Output is correct
33 Correct 25 ms 117360 KB Output is correct
34 Correct 28 ms 117352 KB Output is correct
35 Correct 27 ms 117532 KB Output is correct
36 Correct 26 ms 117540 KB Output is correct
37 Correct 26 ms 117352 KB Output is correct
38 Correct 139 ms 146240 KB Output is correct
39 Correct 207 ms 629652 KB Output is correct
40 Correct 143 ms 147024 KB Output is correct
41 Correct 147 ms 147024 KB Output is correct
42 Correct 143 ms 147204 KB Output is correct
43 Incorrect 103 ms 146580 KB Output isn't correct
44 Halted 0 ms 0 KB -

Subtask #6
0 / 11.0

# Verdict Execution time Memory Grader output
1 Correct 22 ms 115288 KB Output is correct
2 Correct 23 ms 115292 KB Output is correct
3 Correct 25 ms 115292 KB Output is correct
4 Correct 23 ms 115376 KB Output is correct
5 Correct 36 ms 115292 KB Output is correct
6 Correct 24 ms 117336 KB Output is correct
7 Correct 24 ms 117256 KB Output is correct
8 Correct 23 ms 115288 KB Output is correct
9 Correct 22 ms 115292 KB Output is correct
10 Correct 24 ms 115292 KB Output is correct
11 Correct 26 ms 115288 KB Output is correct
12 Correct 27 ms 117512 KB Output is correct
13 Incorrect 85 ms 115412 KB Output isn't correct
14 Halted 0 ms 0 KB -

Subtask #7
0 / 23.0

# Verdict Execution time Memory Grader output
1 Correct 23 ms 115292 KB Output is correct
2 Correct 22 ms 115292 KB Output is correct
3 Correct 22 ms 115292 KB Output is correct
4 Correct 46 ms 115288 KB Output is correct
5 Correct 75 ms 115292 KB Output is correct
6 Correct 25 ms 117340 KB Output is correct
7 Correct 27 ms 117336 KB Output is correct
8 Correct 28 ms 117336 KB Output is correct
9 Correct 137 ms 146324 KB Output is correct
10 Correct 180 ms 629588 KB Output is correct
11 Correct 36 ms 115288 KB Output is correct
12 Correct 113 ms 116408 KB Output is correct
13 Correct 315 ms 637228 KB Output is correct
14 Correct 283 ms 637592 KB Output is correct
15 Correct 518 ms 644348 KB Output is correct
16 Correct 973 ms 672948 KB Output is correct
17 Correct 344 ms 644252 KB Output is correct
18 Correct 353 ms 647308 KB Output is correct
19 Correct 326 ms 642384 KB Output is correct
20 Correct 328 ms 642384 KB Output is correct
21 Correct 347 ms 644304 KB Output is correct
22 Correct 261 ms 633796 KB Output is correct
23 Correct 22 ms 115292 KB Output is correct
24 Correct 22 ms 115292 KB Output is correct
25 Correct 25 ms 117340 KB Output is correct
26 Correct 25 ms 117340 KB Output is correct
27 Correct 26 ms 117336 KB Output is correct
28 Correct 30 ms 117668 KB Output is correct
29 Correct 26 ms 117300 KB Output is correct
30 Correct 25 ms 117340 KB Output is correct
31 Correct 25 ms 117336 KB Output is correct
32 Correct 25 ms 117504 KB Output is correct
33 Correct 26 ms 117336 KB Output is correct
34 Correct 24 ms 117340 KB Output is correct
35 Correct 25 ms 117500 KB Output is correct
36 Correct 23 ms 115292 KB Output is correct
37 Correct 23 ms 115292 KB Output is correct
38 Correct 26 ms 117340 KB Output is correct
39 Correct 27 ms 117504 KB Output is correct
40 Correct 26 ms 117336 KB Output is correct
41 Correct 23 ms 115292 KB Output is correct
42 Correct 26 ms 117348 KB Output is correct
43 Correct 26 ms 117344 KB Output is correct
44 Correct 25 ms 117292 KB Output is correct
45 Correct 26 ms 115228 KB Output is correct
46 Correct 23 ms 115300 KB Output is correct
47 Correct 26 ms 117484 KB Output is correct
48 Correct 24 ms 117508 KB Output is correct
49 Correct 27 ms 117352 KB Output is correct
50 Correct 23 ms 115260 KB Output is correct
51 Correct 32 ms 117340 KB Output is correct
52 Correct 28 ms 117348 KB Output is correct
53 Correct 27 ms 117344 KB Output is correct
54 Correct 27 ms 117348 KB Output is correct
55 Correct 25 ms 117360 KB Output is correct
56 Correct 28 ms 117352 KB Output is correct
57 Correct 27 ms 117532 KB Output is correct
58 Correct 26 ms 117540 KB Output is correct
59 Correct 26 ms 117352 KB Output is correct
60 Correct 139 ms 146240 KB Output is correct
61 Correct 207 ms 629652 KB Output is correct
62 Correct 143 ms 147024 KB Output is correct
63 Correct 147 ms 147024 KB Output is correct
64 Correct 143 ms 147204 KB Output is correct
65 Incorrect 103 ms 146580 KB Output isn't correct
66 Halted 0 ms 0 KB -