結果

問題 No.1054 Union add query
ユーザー mugen_1337mugen_1337
提出日時 2020-05-15 22:35:31
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 1,274 ms / 2,000 ms
コード長 5,456 bytes
コンパイル時間 3,297 ms
コンパイル使用メモリ 223,572 KB
実行使用メモリ 90,192 KB
最終ジャッジ日時 2023-10-19 15:30:52
合計ジャッジ時間 9,962 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,348 KB
testcase_02 AC 2 ms
4,348 KB
testcase_03 AC 613 ms
27,312 KB
testcase_04 AC 1,274 ms
90,192 KB
testcase_05 AC 497 ms
18,316 KB
testcase_06 AC 607 ms
44,356 KB
testcase_07 AC 506 ms
44,356 KB
testcase_08 AC 516 ms
44,356 KB
testcase_09 AC 1,195 ms
89,400 KB
testcase_10 AC 507 ms
89,400 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
#define ALL(x) x.begin(),x.end()
#define rep(i,n) for(int i=0;i<(n);i++)
#define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl;
#define INF 1000000000
#define mod 1000000007
using ll=long long;
const ll LINF=1001002003004005006ll;
int dx[]={1,0,-1,0};
int dy[]={0,1,0,-1};
// ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}
template<class T>bool chmin(T &a,const T &b){if(b<a){a=b;return true;}return false;}

struct UnionFind{
    vector<int> par;
    vector<int> siz;
    int c;//親の個数(グループ数)
    void init(int n){
        c=n;
        for(int i=0;i<n;i++){
            par.push_back(i);
            siz.push_back(1);
        }
    }
    UnionFind(int n){
        init(n);
    }
    int root(int x){
        //根を返す
        return(par[x]==x?x:(par[x]=root(par[x])));
    }
    bool sameParent(int x,int y){
        return(root(x)==root(y));
    }
    void unite(int x, int y){
        x=root(x);y=root(y);
        if(x==y)    return;
        if(siz[x]<siz[y]) swap(x,y);
        siz[x] += siz[y];par[y]=x;c--;
    }
    int size(int x){
        return siz[root(x)];
    }
};

template<typename Monoid, typename OperatorMonoid=Monoid>
struct LazySegmentTree{
    // Monoid: 要素  OperatorMonoid: 作用素
    // 各マージ関数
    using F=function<Monoid(Monoid,Monoid)>;
    using G=function<Monoid(Monoid,OperatorMonoid)>;
    using H=function<OperatorMonoid(OperatorMonoid,OperatorMonoid)>;
 
    int sz,height;
    vector<Monoid> data;
    vector<OperatorMonoid> lazy;
    const F f;
    const G g;
    const H h;
    // 単位元
    const Monoid M1;
    const OperatorMonoid OM0;
 
    LazySegmentTree(int n,const F f,const G g,const H h,const Monoid &M1,const OperatorMonoid OM0)
    : f(f),g(g),h(h),M1(M1),OM0(OM0) {
        sz=1;height=0;
        while(sz<n) sz<<=1,height++;
        data.assign(2*sz,M1);lazy.assign(2*sz,OM0);
    }
 
    void set(int k,const Monoid &x){
        data[k+sz]=x;
    }
 
    //セグ木のbuild
    void build(){
        for(int k=sz-1;k>0;k--) data[k]=f(data[2*k+0],data[2*k+1]);
    }
 
    //伝播させる
    inline void propagate(int k){
        if(lazy[k]!=OM0){
            //子に伝えた後にkの場所のデータのほうの更新
            lazy[2*k+0]=h(lazy[2*k+0],lazy[k]);
            lazy[2*k+1]=h(lazy[2*k+1],lazy[k]);
            data[k]=reflect(k);
            lazy[k]=OM0;
        }
    }
 
    inline Monoid reflect(int k){
        return lazy[k]==OM0?data[k]:g(data[k],lazy[k]);
    }
    inline void recalc(int k){
        //下から上にdataの値を計算しなおす
        while(k>>=1)data[k]=f(reflect(2*k+0),reflect(2*k+1));
    }
    inline void thrust(int k){
        for(int i=height;i>0;i--) propagate(k>>i);
    }
 
    void update(int a,int b,const OperatorMonoid &x){
        thrust(a+=sz);
        thrust(b+=sz-1);
        for(int l=a,r=b+1;l<r;l>>=1,r>>=1){
            if(l&1) lazy[l]=h(lazy[l],x),l++;
            if(r&1) --r,lazy[r]=h(lazy[r],x);
        }
        //recalcすればpが要らない
        recalc(a);
        recalc(b);
    }
 
    Monoid query(int a,int b){
        thrust(a+=sz);
        thrust(b+=sz-1);
        Monoid L=M1,R=M1;
        for(int l=a,r=b+1;l<r;l>>=1,r>>=1){
            if(l&1) L=f(L,reflect(l++));
            if(r&1) R=f(reflect(--r),R);
        }
        return f(L,R);
    }
    
    Monoid operator[](const int &k){
        return query(k,k+1);
    }
};
 
ll segf(ll a,ll b){
    return a>b?a:b;
}
ll segg(ll a,ll b){
    return a+b;
}
ll segh(ll a,ll b){
    return a+b;
}

struct query{
    int t,a,b;
    query(int t,int a,int b):t(t),a(a),b(b){}
    query(){}
};


signed main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    int n,q;cin>>n>>q;
    vector<query> qs;
    UnionFind uf(n);
    vector<vector<int>> g(n);
    rep(i,n) g[i].push_back(i);
    rep(i,q){
        int t,a,b;cin>>t>>a>>b;
        a--;
        if(t==1) b--;
        if(t==1){
            if(!uf.sameParent(a,b)){
                int pa=uf.root(a),pb=uf.root(b);
                uf.unite(a,b);
                if(g[pa].size()<g[pb].size()) swap(pa,pb);
                for(auto x:g[pb]) g[pa].push_back(x);
                g[pb].clear();
            }
        }
        qs.push_back(query(t,a,b));
    }

    vector<int> v,id(n);
    rep(i,n){
        for(auto x:g[i]) v.push_back(x);
    }
    rep(i,n) id[v[i]]=i;

    // debug(v);

    //ready
    set<int> st;
    rep(i,n+1) st.insert(i);

    LazySegmentTree<ll,ll> seg(n,segf,segg,segh,-LINF,0ll);
    rep(i,n)seg.set(i,0);
    seg.build();

    UnionFind uf2(n);

    for(auto &qu:qs){
        if(qu.t==3){
            // ans
            cout<<seg[id[qu.a]]<<endl;
        }
        else if(qu.t==1){
            // unite
            if(uf2.sameParent(qu.a,qu.b)) continue;
            uf2.unite(qu.a,qu.b);
            // cout<<"Erase : "<<id[qu.a]<<" or "<<id[qu.b]<<endl;
            st.erase(st.lower_bound(min(id[qu.a],id[qu.b])+1));
        }
        else{
            // add
            auto ite=st.lower_bound(id[qu.a]+1);
            // cout<<*prev(ite)<<" "<<*ite<<" | +"<<qu.b<<endl;
            seg.update(*prev(ite),*ite,qu.b);
        }
        // cout<<"query : "<<qu.t<<" "<<qu.a<<" "<<qu.b<<endl;
        // rep(i,n) cout<<seg[i]<<" ";cout<<endl;
        // debug(st);
    }

    return 0;
}
0