結果

問題 No.529 帰省ラッシュ
ユーザー btkbtk
提出日時 2017-06-10 20:27:28
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 5,888 bytes
コンパイル時間 2,206 ms
コンパイル使用メモリ 189,932 KB
実行使用メモリ 56,772 KB
最終ジャッジ日時 2024-09-24 15:46:12
合計ジャッジ時間 6,849 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 AC 7 ms
26,320 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 AC 255 ms
56,772 KB
testcase_14 AC 197 ms
46,552 KB
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;

#define fin "\n"
#define FOR(i,bg,ed) for(int i=(bg);i<(ed);i++)
#define REP(i,n) FOR(i,0,n)
#define ALL(v) (v).begin(),(v).end()
#define fi first
#define se second
#define pb push_back
#define DEBUG if(0)
#define REC(ret, ...) std::function<ret (__VA_ARGS__)>
template <typename T>inline bool chmin(T &l,T r)
{bool a=l>r;if(a)l=r;return a;}
template <typename T>inline bool chmax(T &l,T r)
{bool a=l<r;if(a)l=r;return a;}
template <typename T>
istream& operator>>(istream &is,vector<T> &v){
    for(auto &it:v)is>>it;
    return is;
}
typedef vector<int> V;
typedef vector<V> VV;
int N,M,Q;
int A[212345];
int B[212345];
int imos[112345];
V g[112345];
int X[112345];
VV Y,gg;
void dfs1(int v,int p,int d){
    X[v]=d;
    for(auto &e:g[v]){
        int u=A[e]^B[e]^v;
        if(u==p)continue;
        if(X[u]<X[v]){
            imos[v]++;
            imos[u]--;
        }else if(X[u]==114514){
            dfs1(u,v,d+1);
            imos[v]+=imos[u];
        }
    }
}
void dfs2(int v,int k){
    X[v]=k;
    for(auto &e:g[v]){
        int u=A[e]^B[e]^v;
        if(X[u]>=0)continue;
        if(imos[u]==0){
            int nk=gg.size();
            gg.pb({});
            gg[k].pb(nk);
            dfs2(u,nk);
        }
        else{
            dfs2(u,k);
        }
    }
}

void input(){
    scanf("%d%d%d",&N,&M,&Q);
    REP(i,M){
        scanf("%d%d",A+i,B+i);
        g[--A[i]].pb(i);
        g[--B[i]].pb(i);
    }
    
}
//heavy light decomposition
namespace hld{
#define SZ 200010
    int mem[4][SZ];
};
typedef vector<V> Graph;
class HLD{
private:
    int *treesize;
    Graph *tree;
public:
    int size,*group,*id,*par,*bg;
private:
    void setTreeSize(int v){
	treesize[v]=1;
	for(auto &u:(*tree)[v]){
	    setTreeSize(u);
	    treesize[v]+=treesize[u];
	}
    }
    void build(int v,int g,int& i){
	group[v]=g;
	id[v]=i++;
	Graph &gr=(*tree);
	const int sz=gr[v].size();
	if(sz){
	    int h=gr[v][0];
	    for(auto &u:gr[v])
		if(treesize[h]<treesize[u])h=u;
	    build(h,g,i);
	    for(auto &u:gr[v])
		if(h!=u){
		    par[size]=v;
		    bg[size]=i;
		    build(u,size++,i);
		}
	}
    }
public:
    HLD(Graph *tree,int root=0)
	:treesize(hld::mem[0]),
	 tree(tree),size(0),
	 group(hld::mem[1]),
	 id(hld::mem[0]),
	 par(hld::mem[2]),
	 bg(hld::mem[3])
    {
	setTreeSize(root);
	int i=0;
	par[size]=-1;
	bg[size]=i;
	build(root,size++,i);
    }
    using P=pair<int,int>;
    int lca(int v,int u){
        while(group[v]!=group[u]){
            if(group[v]<group[u])swap(v,u);
            v=par[group[v]];
        }
        return id[v]<id[u]?v:u;
    }
    vector<P> decomposition(int v,int u){
        vector<P> res;
        while(group[v]!=group[u]){
            if(group[v]<group[u])swap(v,u);
            v=par[group[v]];
            res.push_back({bg[group[v]],id[v]});
            v=par[group[v]];
        }
        res.push_back(minmax(id[v],id[u]));
        return res;
    }
    
};
int n;
priority_queue<int> W[512345];
typedef int ID;
struct node{
    ID id;
};
#define isB (1<<0)
#define isC (1<<1)
ID mg(node& v,int l,int r){
    return v.id;
}
ID mg(ID l,ID r){
    if(W[l].top()>=W[r].top())return l;
    else return r;
}
namespace ST{
    node mem[1][512345];
    int cnt=0;
    node* get(){return mem[cnt++];}
}
struct seg_tree{
    int size;
    node *seg;
    void init(int l,int r,int k=0){
        auto &v=seg[k];

        if(r-l==1){
            //葉の時の処理
            v.id=l;
            W[l].push(-1);
        }
        else if(r-l>1){
            int m=(l+r)/2;
            init(l,m,k*2+1);init(m,r,k*2+2);
            v.id=mg(mg(seg[k*2+1],l,m),mg(seg[k*2+2],m,r));
        }
    }
    seg_tree(int n){
        size=1;
        while(size<n)size*=2;
        seg=ST::get();
        init(0,size);
    }
#define LQ a,b,k*2+1,l,m
#define RQ a,b,k*2+2,m,r
    ID get(int a,int b,int k,int l,int r){
        if(a<=l&&r<=b)return mg(seg[k],l,r);
        int m=(l+r)/2;
        bool ll=!(m<=a||b<=l);
        bool rr=!(r<=a||b<=m);
        ID ret;
        if(ll&&rr)ret=mg(get(LQ),get(RQ));
        else if(ll)ret=get(LQ);
        else ret=get(RQ);
        seg[k].id=mg(mg(seg[k*2+1],l,m),mg(seg[k*2+2],m,r));
        return ret;
    }
    ID get(int a,int b){return get(a,b,0,0,size);}
    void set(int a,int b,int k,int l,int r,int v){
        if(r<=a||b<=l)return;
        if(a<=l&&r<=b){
            W[l].push(v);
        }
        else{
            int m=(l+r)/2;
            set(LQ,v);
            set(RQ,v);
            seg[k].id=mg(mg(seg[k*2+1],l,m),mg(seg[k*2+2],m,r));
        }
    }
    void set(int a,int b,int val){
        set(a,b,0,0,size,val);
    }
    void erase(int a,int b,int k,int l,int r){
        if(r<=a||b<=l)return;
        if(a<=l&&r<=b){
            W[l].pop();
            W[l].push(-1);
        }
        else{
            int m=(l+r)/2;
            erase(LQ);
            erase(RQ);
            seg[k].id=mg(mg(seg[k*2+1],l,m),mg(seg[k*2+2],m,r));
        }
    }
    void erase(int a,int b){
        erase(a,b,0,0,size);
    }

};

int main(){
    input();
    REP(i,N)imos[i]=0;
    REP(i,N)X[i]=114514;
    dfs1(0,0,1);
    gg.pb({});
    REP(i,N)X[i]=-1;
    X[0]=0;
    dfs2(0,0);
    n=gg.size();
    HLD hld(&gg);
    seg_tree st(n+10);
    REP(qq,Q){
        int a,b,c;
        scanf("%d%d%d",&a,&b,&c);
        if(a==1){
            b=X[b-1];
            auto t=hld.decomposition(b,b);
            tie(a,b)=t[0];
            st.set(a,b+1,c);
        }
        else{
            b=X[b-1];
            c=X[c-1];
            auto s=hld.decomposition(X[b-1],X[c-1]);
            c=s.front().fi;
            for(auto &it:s){
                tie(a,b)=it;
                int d=st.get(a,b+1);
                c=mg(c,d);
            }
            printf("%d\n",W[c].top());
            st.erase(c,c+1);
        }


    }
    return 0;
}
0