#include<bits/stdc++.h>
#define ll long long
#define ntr "\n"
#define mod (ll)(1e9+7)
#define taskname "temp"
#define frep freopen(taskname".inp","r",stdin); freopen(taskname".out","w",stdout);
using namespace std;
ll n,m,x;
stack<array<ll,4>> st;
vector<pair<ll,ll>> segtree[600001];
vector<ll> colors[150001],need[150001];
ll par[150001];
ll sz[150001];
ll a[150001];
ll b[150001];
ll check[150001];
ll ans;
ll find_par(ll u){
return (u==par[u] ? u: find_par(par[u]));
}
bool uni(ll u,ll v){
u=find_par(u);
v=find_par(v);
if(u==v) return 0;
if(sz[u]<sz[v]) swap(u,v);
st.push({u,sz[u],v,sz[v]});
par[u]=v;
sz[v]+=sz[u];
return 1;
}
void rollback(){
if(st.size()==0) return ;
array<ll,4> c=st.top();
st.pop();
par[c[0]]=c[0];
par[c[2]]=c[2];
sz[c[0]]=c[1];
sz[c[2]]=c[3];
}
void upd(ll pos,ll l,ll r,ll u,ll v,ll x,ll y){
if(u>v) return ;
if(u<=l&&r<=v) segtree[pos].push_back({x,y});
else if(l>v||r<u) return ;
else{
ll mid=(l+r)/2;
upd(2*pos,l,mid,u,v,x,y);
upd(2*pos+1,mid+1,r,u,v,x,y);
}
}
void dfs(ll pos,ll l,ll r){
ll cnt=0;
for(auto [u,v]:segtree[pos]){
cnt+=uni(u,v);
// cout<<"+ "<<u<<' '<<v<<ntr;
}
if(l==r){
ll col=l;
for(auto i:colors[col]){
ll p=find_par(i);
check[p]=1;
}
for(auto i:need[col]){
ll p=find_par(i);
if(!check[p]) ans=0;
}
for(auto i:colors[col]){
ll p=find_par(i);
check[p]=0;
}
//cout<<l<<' '<<ans<<ntr;
}
else{
ll mid=(l+r)/2;
dfs(2*pos,l,mid);
dfs(2*pos+1,mid+1,r);
segtree[pos]={};
}
for(int i=1;i<=cnt;i++){
rollback();
// cout<<"- "<<u<<' '<<v<<ntr;
}
segtree[pos]={};
}
void solve(){
ans=1;
st={};
cin>>n>>m;
for(int i=1;i<=n;i++){
cin>>a[i];
par[i]=i;
sz[i]=1;
colors[a[i]].push_back(i);
}
for(int i=1;i<=n;i++){
cin>>b[i];
need[b[i]].push_back(i);
}
vector<pair<ll,ll>> edges;
for(int i=1;i<=m;i++){
ll u,v;
cin>>u>>v;
edges.push_back({u,v});
}
// if(x==47){
// cerr<<n<<' '<<m<<ntr;
// for(int i=1;i<=n;i++) cerr<<a[i]<<' ';
// cerr<<ntr;
// for(int i=1;i<=n;i++) cerr<<b[i]<<' ';
// cerr<<ntr;
// for(auto [u,v]:edges) cerr<<u<<' '<<v<<ntr;
// }
for(int i=1;i<=n;i++){
if(a[i]<b[i]){
ans=0;
}
}
if(ans==0){
for(int i=1;i<=n;i++) colors[i]={},need[i]={};
cout<<0<<ntr;
return ;
}
for(auto [u,v]:edges){
// cout<<max(b[u],b[v])<<' '<<min(a[u],a[v])<<ntr;
upd(1,1,n,max(b[u],b[v]),min(a[u],a[v]),u,v);
}
// cout<<ntr;
dfs(1,1,n);
for(int i=1;i<=n;i++) colors[i]={},need[i]={};
cout<<ans<<ntr;
}
int main(){
ios_base::sync_with_stdio(false); cin.tie(0); cout.tie(0);
//frep;
ll t;
cin>>t;
for(x=1;x<=t;x++)
solve();
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
58 ms |
27356 KB |
Output is correct |
2 |
Correct |
30 ms |
27472 KB |
Output is correct |
3 |
Correct |
28 ms |
27728 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
60 ms |
27472 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
48 ms |
27336 KB |
Output is correct |
2 |
Correct |
20 ms |
27388 KB |
Output is correct |
3 |
Correct |
7 ms |
27644 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
48 ms |
27336 KB |
Output is correct |
2 |
Correct |
20 ms |
27388 KB |
Output is correct |
3 |
Correct |
7 ms |
27644 KB |
Output is correct |
4 |
Correct |
94 ms |
25312 KB |
Output is correct |
5 |
Correct |
291 ms |
49784 KB |
Output is correct |
6 |
Correct |
461 ms |
88464 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
58 ms |
27356 KB |
Output is correct |
2 |
Correct |
30 ms |
27472 KB |
Output is correct |
3 |
Correct |
28 ms |
27728 KB |
Output is correct |
4 |
Correct |
48 ms |
27336 KB |
Output is correct |
5 |
Correct |
20 ms |
27388 KB |
Output is correct |
6 |
Correct |
7 ms |
27644 KB |
Output is correct |
7 |
Correct |
51 ms |
21584 KB |
Output is correct |
8 |
Correct |
26 ms |
21584 KB |
Output is correct |
9 |
Correct |
13 ms |
22096 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
104 ms |
21584 KB |
Output is correct |
2 |
Correct |
1812 ms |
52360 KB |
Output is correct |
3 |
Correct |
2630 ms |
65052 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
33 ms |
27472 KB |
Output is correct |
2 |
Correct |
21 ms |
26116 KB |
Output is correct |
3 |
Correct |
17 ms |
25424 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
58 ms |
27356 KB |
Output is correct |
2 |
Correct |
30 ms |
27472 KB |
Output is correct |
3 |
Correct |
28 ms |
27728 KB |
Output is correct |
4 |
Correct |
60 ms |
27472 KB |
Output is correct |
5 |
Correct |
48 ms |
27336 KB |
Output is correct |
6 |
Correct |
20 ms |
27388 KB |
Output is correct |
7 |
Correct |
7 ms |
27644 KB |
Output is correct |
8 |
Correct |
94 ms |
25312 KB |
Output is correct |
9 |
Correct |
291 ms |
49784 KB |
Output is correct |
10 |
Correct |
461 ms |
88464 KB |
Output is correct |
11 |
Correct |
51 ms |
21584 KB |
Output is correct |
12 |
Correct |
26 ms |
21584 KB |
Output is correct |
13 |
Correct |
13 ms |
22096 KB |
Output is correct |
14 |
Correct |
104 ms |
21584 KB |
Output is correct |
15 |
Correct |
1812 ms |
52360 KB |
Output is correct |
16 |
Correct |
2630 ms |
65052 KB |
Output is correct |
17 |
Correct |
33 ms |
27472 KB |
Output is correct |
18 |
Correct |
21 ms |
26116 KB |
Output is correct |
19 |
Correct |
17 ms |
25424 KB |
Output is correct |
20 |
Correct |
100 ms |
22344 KB |
Output is correct |
21 |
Execution timed out |
3063 ms |
31468 KB |
Time limit exceeded |
22 |
Halted |
0 ms |
0 KB |
- |