結果

問題 No.2341 Triple Tree Query (Medium)
ユーザー kotatsugamekotatsugame
提出日時 2023-06-03 00:00:35
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 368 ms / 5,000 ms
コード長 3,070 bytes
コンパイル時間 1,155 ms
コンパイル使用メモリ 88,404 KB
実行使用メモリ 24,496 KB
最終ジャッジ日時 2023-08-28 06:42:54
合計ジャッジ時間 13,715 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
7,556 KB
testcase_01 AC 3 ms
7,592 KB
testcase_02 AC 365 ms
15,416 KB
testcase_03 AC 363 ms
15,468 KB
testcase_04 AC 362 ms
15,600 KB
testcase_05 AC 368 ms
15,376 KB
testcase_06 AC 368 ms
15,400 KB
testcase_07 AC 244 ms
22,736 KB
testcase_08 AC 254 ms
21,680 KB
testcase_09 AC 255 ms
24,496 KB
testcase_10 AC 244 ms
22,976 KB
testcase_11 AC 239 ms
23,980 KB
testcase_12 AC 247 ms
21,184 KB
testcase_13 AC 249 ms
22,364 KB
testcase_14 AC 252 ms
21,872 KB
testcase_15 AC 235 ms
23,988 KB
testcase_16 AC 249 ms
20,528 KB
testcase_17 AC 203 ms
15,900 KB
testcase_18 AC 199 ms
15,860 KB
testcase_19 AC 197 ms
15,784 KB
testcase_20 AC 194 ms
15,800 KB
testcase_21 AC 196 ms
15,888 KB
testcase_22 AC 215 ms
15,892 KB
testcase_23 AC 196 ms
15,932 KB
testcase_24 AC 195 ms
16,064 KB
testcase_25 AC 361 ms
15,560 KB
testcase_26 AC 361 ms
15,440 KB
testcase_27 AC 359 ms
15,448 KB
testcase_28 AC 359 ms
15,516 KB
testcase_29 AC 367 ms
15,428 KB
testcase_30 AC 198 ms
15,792 KB
testcase_31 AC 200 ms
15,852 KB
testcase_32 AC 199 ms
15,860 KB
testcase_33 AC 269 ms
15,648 KB
testcase_34 AC 269 ms
15,592 KB
testcase_35 AC 281 ms
15,520 KB
testcase_36 AC 278 ms
15,540 KB
testcase_37 AC 274 ms
15,636 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<vector>
#include<cassert>
#include<atcoder/modint>
#include<atcoder/lazysegtree>
using namespace std;
using mint=atcoder::modint998244353;
mint op(mint a,mint b){return a;}
mint e(){return mint::raw(0);}
using F=pair<mint,mint>;
mint mp(F f,mint x){return f.first*x+f.second;}
F cmp(F f,F g){return make_pair(f.first*g.first,f.first*g.second+f.second);}
F id(){return make_pair(mint::raw(1),mint::raw(0));}
int N,Q;
vector<int>G[100000];
int ch[100000],pr[100000],depth[100000];
void dfs_init(int u,int p,int d)
{
	pr[u]=p;
	depth[u]=d;
	if(p!=-1)
	{
		for(int i=0;i+1<G[u].size();i++)if(G[u][i]==p)
		{
			swap(G[u][i],G[u][G[u].size()-1]);
			break;
		}
		G[u].pop_back();
	}
	ch[u]=1;
	for(int v:G[u])
	{
		dfs_init(v,u,d+1);
		ch[u]+=ch[v];
	}
}
vector<int>V;
int inv[100000];
int up[100000],upn[100000];
int cL[100000],cR[100000];
int vL[100000],vR[100000];
void dfs(int u,int hld_p,int hld_pn)
{
	up[u]=hld_p;
	if(hld_pn==-1&&hld_p!=u)hld_pn=u;
	upn[u]=hld_pn;
	sort(G[u].begin(),G[u].end(),[](int l,int r){return ch[l]>ch[r];});
	vL[u]=V.size();
	if(!G[u].empty())
	{//heavy-edge
		int v=G[u][0];
		inv[v]=V.size();
		V.push_back(v);
		dfs(G[u][0],hld_p,hld_pn);
	}
	//light-edge
	cL[u]=V.size();
	for(int i=1;i<G[u].size();i++)
	{
		int v=G[u][i];
		inv[v]=V.size();
		V.push_back(v);
	}
	cR[u]=V.size();
	for(int i=1;i<G[u].size();i++)dfs(G[u][i],G[u][i],-1);
	vR[u]=V.size();
}
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N>>Q;
	for(int i=1;i<N;i++)
	{
		int a,b;
		cin>>a>>b;
		a--,b--;
		G[a].push_back(b);
		G[b].push_back(a);
	}
	dfs_init(0,-1,0);
	inv[0]=0;
	V.push_back(0);
	dfs(0,0,-1);
	vector<mint>init(N);
	for(int i=0;i<N;i++)
	{
		int x;cin>>x;
		init[inv[i]]=mint::raw(x);
	}
	atcoder::lazy_segtree<mint,op,e,F,mp,cmp,id>seg(init);
	for(int i=0;i<Q;i++)
	{
		int op;cin>>op;
		if(op==1)
		{
			int v;cin>>v;v--;
			cout<<seg.get(inv[v]).val()<<"\n";
		}
		else if(op==2)
		{
			int v,k,c,d;
			cin>>v>>k>>c>>d;v--;
			F f=make_pair(mint::raw(c),mint::raw(d));
			seg.set(inv[v],mp(f,seg.get(inv[v])));
			if(pr[v]!=-1)seg.set(inv[pr[v]],mp(f,seg.get(inv[pr[v]])));
			if(!G[v].empty())seg.set(inv[G[v][0]],mp(f,seg.get(inv[G[v][0]])));
			seg.apply(cL[v],cR[v],f);
		}
		else if(op==3)
		{
			int v,c,d;
			cin>>v>>c>>d;v--;
			F f=make_pair(mint::raw(c),mint::raw(d));
			seg.set(inv[v],mp(f,seg.get(inv[v])));
			seg.apply(vL[v],vR[v],f);
		}
		else
		{
			int u,v,c,d;
			cin>>u>>v>>c>>d;u--,v--;
			F f=make_pair(mint::raw(c),mint::raw(d));
			while(up[u]!=up[v])
			{
				if(inv[u]>inv[v])swap(u,v);
				if(upn[v]!=-1)seg.apply(inv[upn[v]],inv[v]+1,f);
				seg.set(inv[up[v]],mp(f,seg.get(inv[up[v]])));
				v=pr[up[v]];
			}
			if(inv[u]>inv[v])swap(u,v);
			if(upn[v]==-1)
			{
				assert(u==v);
				seg.set(inv[u],mp(f,seg.get(inv[u])));
			}
			else
			{
				if(upn[u]!=-1)
				{
					assert(upn[u]==upn[v]);
					seg.apply(max(inv[upn[v]],inv[u]),inv[v]+1,f);
				}
				else
				{
					seg.apply(inv[upn[v]],inv[v]+1,f);
					seg.set(inv[u],mp(f,seg.get(inv[u])));
				}
			}
		}
	}
}
0