#include"werewolf.h"
#include<bits/stdc++.h>
//#include"grader.cpp"
#define V vector
using namespace std;
V<int>g[200005];
int pos[200005],logs[200005],spx[200005][18],spn[200005][18],used[200005];
bool flag;
int gt_mx(int l,int r){
int lev=logs[r-l+1];
return max(spx[l][lev],spx[r-(1<<lev)+1][lev]);
}
int gt_mn(int l,int r){
int lev=logs[r-l+1];
return min(spn[l][lev],spn[r-(1<<lev)+1][lev]);
}
bool check(int l,int r,int nl,int nr){
if(l>r)swap(l,r);
return gt_mn(l,r)>=nl&>_mx(l,r)<=nr;
}
void man(int v,int mx){
if(v<mx)return;
used[v]=1;
for(auto to:g[v])if(!used[to]&&to>=mx)man(to,mx);
}
void wolf(int v,int mx) {
if(v>mx)return;
if(used[v]||flag){
flag=1;
return;
}
used[v]=2;
for(auto to:g[v])if(used[to]!=2&&to<=mx)wolf(to,mx);
}
V<int>check_validity(int n,V<int>x,V<int>y,V<int>S,V<int>E,V<int>L,V<int>R){
V<int>res;
int root,i,j;
for(i=2;i<=n;i++)logs[i]=logs[i>>1]+1;
for(i=0;i<x.size();i++){
x[i]++;
y[i]++;
g[x[i]].push_back(y[i]);
g[y[i]].push_back(x[i]);
}
if(n<3001&&x.size()<6001&&S.size()<3001){
for(i=0;i<S.size();i++){
flag=0;
fill(used+1,used+1+n,0);
man(S[i]+1,L[i]+1);
wolf(E[i]+1,R[i]+1);
res.push_back(flag);
}
return res;
}
for(i=1;i<=n;i++)if(g[i].size()==1)root=i;
spx[1][0]=root;
spn[1][0]=root;
pos[root]=1;
int p=root;
for(i=2;i<=n;i++){
if(g[root][0]!=p){
p=root;
root=g[root][0];
}else{
p=root;
root=g[root][1];
}
spx[i][0]=root;
spn[i][0]=root;
pos[root]=i;
}
for(j=1;j<18;j++){
for(i=1;i+(1<<j)-1<=n;i++)spn[i][j]=min(spn[i][j-1],spn[i+(1<<(j-1))][j-1]);
for(i=1;i+(1<<j)-1<=n;i++)spx[i][j]=max(spx[i][j-1],spx[i+(1<<(j-1))][j-1]);
}
for(int i=0;i<S.size();i++){
int l=pos[S[i]+1],r=pos[E[i]+1],s=L[i]+1,e=R[i]+1;
if(l<=r){
int mxl=n,mnr=1;
while(l<mxl){
int mid=(l+mxl+1)>>1;
if(check(pos[S[i]+1],mid,s,n))l=mid;
else mxl=mid-1;
}
while(mnr<r){
int mid=(mnr+r)>>1;
if(check(mid,pos[E[i]+1],1,e))r=mid;
else mnr=mid+1;
}
res.push_back(mxl>=mnr);
}else{
swap(l,r);
int mxl=n,mnr=1;
while(l<mxl){
int mid=(l+mxl+1)>>1;
if(check(pos[E[i]+1],mid,1,e))l=mid;
else mxl=mid-1;
}
while(mnr<r){
int mid=(mnr+r)>>1;
if(check(mid,pos[S[i]+1],s,n))r=mid;
else mnr=mid+1;
}
res.push_back(mxl>=mnr);
}
}
return res;
}
/*
10 9 10
6 7
1 5
8 0
2 9
9 4
2 7
8 5
6 0
3 4
4 9 0 9
8 1 8 9
1 8 1 8
8 3 5 5
8 9 3 9
0 1 0 2
9 0 6 6
1 7 1 8
9 4 5 6
9 5 0 9
/*
1
1
1
0
1
1
0
1
0
1
*/
Compilation message
werewolf.cpp:131:1: warning: "/*" within comment [-Wcomment]
131 | /*
|
werewolf.cpp: In function 'std::vector<int> check_validity(int, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>)':
werewolf.cpp:39:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
39 | for(i=0;i<x.size();i++){
| ~^~~~~~~~~
werewolf.cpp:46:18: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
46 | for(i=0;i<S.size();i++){
| ~^~~~~~~~~
werewolf.cpp:76:18: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
76 | for(int i=0;i<S.size();i++){
| ~^~~~~~~~~
werewolf.cpp:56:14: warning: 'root' may be used uninitialized in this function [-Wmaybe-uninitialized]
56 | spx[1][0]=root;
| ~~~~~~~~~^~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
4948 KB |
Output is correct |
2 |
Correct |
3 ms |
4948 KB |
Output is correct |
3 |
Correct |
3 ms |
4948 KB |
Output is correct |
4 |
Correct |
3 ms |
4948 KB |
Output is correct |
5 |
Correct |
3 ms |
4948 KB |
Output is correct |
6 |
Correct |
3 ms |
4948 KB |
Output is correct |
7 |
Correct |
3 ms |
4948 KB |
Output is correct |
8 |
Correct |
3 ms |
4948 KB |
Output is correct |
9 |
Correct |
3 ms |
5008 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
4948 KB |
Output is correct |
2 |
Correct |
3 ms |
4948 KB |
Output is correct |
3 |
Correct |
3 ms |
4948 KB |
Output is correct |
4 |
Correct |
3 ms |
4948 KB |
Output is correct |
5 |
Correct |
3 ms |
4948 KB |
Output is correct |
6 |
Correct |
3 ms |
4948 KB |
Output is correct |
7 |
Correct |
3 ms |
4948 KB |
Output is correct |
8 |
Correct |
3 ms |
4948 KB |
Output is correct |
9 |
Correct |
3 ms |
5008 KB |
Output is correct |
10 |
Correct |
156 ms |
5332 KB |
Output is correct |
11 |
Correct |
78 ms |
5388 KB |
Output is correct |
12 |
Correct |
12 ms |
5436 KB |
Output is correct |
13 |
Correct |
137 ms |
5412 KB |
Output is correct |
14 |
Correct |
100 ms |
5332 KB |
Output is correct |
15 |
Correct |
193 ms |
5564 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
570 ms |
59924 KB |
Output is correct |
2 |
Correct |
672 ms |
53448 KB |
Output is correct |
3 |
Correct |
591 ms |
53384 KB |
Output is correct |
4 |
Correct |
694 ms |
53396 KB |
Output is correct |
5 |
Correct |
650 ms |
53352 KB |
Output is correct |
6 |
Correct |
616 ms |
53456 KB |
Output is correct |
7 |
Correct |
666 ms |
53464 KB |
Output is correct |
8 |
Correct |
520 ms |
53448 KB |
Output is correct |
9 |
Correct |
427 ms |
53536 KB |
Output is correct |
10 |
Correct |
364 ms |
53428 KB |
Output is correct |
11 |
Correct |
389 ms |
53432 KB |
Output is correct |
12 |
Correct |
381 ms |
53436 KB |
Output is correct |
13 |
Correct |
642 ms |
53452 KB |
Output is correct |
14 |
Correct |
689 ms |
53424 KB |
Output is correct |
15 |
Correct |
639 ms |
53672 KB |
Output is correct |
16 |
Correct |
686 ms |
53976 KB |
Output is correct |
17 |
Correct |
602 ms |
54124 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
3 ms |
4948 KB |
Output is correct |
2 |
Correct |
3 ms |
4948 KB |
Output is correct |
3 |
Correct |
3 ms |
4948 KB |
Output is correct |
4 |
Correct |
3 ms |
4948 KB |
Output is correct |
5 |
Correct |
3 ms |
4948 KB |
Output is correct |
6 |
Correct |
3 ms |
4948 KB |
Output is correct |
7 |
Correct |
3 ms |
4948 KB |
Output is correct |
8 |
Correct |
3 ms |
4948 KB |
Output is correct |
9 |
Correct |
3 ms |
5008 KB |
Output is correct |
10 |
Correct |
156 ms |
5332 KB |
Output is correct |
11 |
Correct |
78 ms |
5388 KB |
Output is correct |
12 |
Correct |
12 ms |
5436 KB |
Output is correct |
13 |
Correct |
137 ms |
5412 KB |
Output is correct |
14 |
Correct |
100 ms |
5332 KB |
Output is correct |
15 |
Correct |
193 ms |
5564 KB |
Output is correct |
16 |
Correct |
570 ms |
59924 KB |
Output is correct |
17 |
Correct |
672 ms |
53448 KB |
Output is correct |
18 |
Correct |
591 ms |
53384 KB |
Output is correct |
19 |
Correct |
694 ms |
53396 KB |
Output is correct |
20 |
Correct |
650 ms |
53352 KB |
Output is correct |
21 |
Correct |
616 ms |
53456 KB |
Output is correct |
22 |
Correct |
666 ms |
53464 KB |
Output is correct |
23 |
Correct |
520 ms |
53448 KB |
Output is correct |
24 |
Correct |
427 ms |
53536 KB |
Output is correct |
25 |
Correct |
364 ms |
53428 KB |
Output is correct |
26 |
Correct |
389 ms |
53432 KB |
Output is correct |
27 |
Correct |
381 ms |
53436 KB |
Output is correct |
28 |
Correct |
642 ms |
53452 KB |
Output is correct |
29 |
Correct |
689 ms |
53424 KB |
Output is correct |
30 |
Correct |
639 ms |
53672 KB |
Output is correct |
31 |
Correct |
686 ms |
53976 KB |
Output is correct |
32 |
Correct |
602 ms |
54124 KB |
Output is correct |
33 |
Runtime error |
184 ms |
52196 KB |
Execution killed with signal 11 |
34 |
Halted |
0 ms |
0 KB |
- |