Submission #1112711

# Submission time Handle Problem Language Result Execution time Memory
1112711 2024-11-14T16:26:20 Z Bananabread Colors (RMI18_colors) C++17
78 / 100
3000 ms 88464 KB
#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 -