結果

問題 No.2341 Triple Tree Query (Medium)
ユーザー kotatsugamekotatsugame
提出日時 2023-06-03 00:00:35
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 417 ms / 5,000 ms
コード長 3,070 bytes
コンパイル時間 1,353 ms
コンパイル使用メモリ 92,044 KB
実行使用メモリ 24,728 KB
最終ジャッジ日時 2024-06-09 02:27:00
合計ジャッジ時間 15,675 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 4 ms
5,760 KB
testcase_01 AC 4 ms
5,760 KB
testcase_02 AC 409 ms
15,724 KB
testcase_03 AC 413 ms
15,644 KB
testcase_04 AC 411 ms
15,600 KB
testcase_05 AC 406 ms
15,728 KB
testcase_06 AC 406 ms
15,604 KB
testcase_07 AC 289 ms
22,772 KB
testcase_08 AC 305 ms
21,752 KB
testcase_09 AC 275 ms
24,728 KB
testcase_10 AC 295 ms
22,972 KB
testcase_11 AC 258 ms
24,104 KB
testcase_12 AC 278 ms
21,540 KB
testcase_13 AC 301 ms
22,388 KB
testcase_14 AC 290 ms
22,136 KB
testcase_15 AC 284 ms
24,104 KB
testcase_16 AC 295 ms
20,712 KB
testcase_17 AC 225 ms
15,908 KB
testcase_18 AC 224 ms
15,816 KB
testcase_19 AC 227 ms
15,920 KB
testcase_20 AC 217 ms
15,884 KB
testcase_21 AC 215 ms
15,900 KB
testcase_22 AC 225 ms
15,836 KB
testcase_23 AC 211 ms
15,804 KB
testcase_24 AC 211 ms
15,860 KB
testcase_25 AC 398 ms
15,820 KB
testcase_26 AC 397 ms
15,780 KB
testcase_27 AC 407 ms
15,684 KB
testcase_28 AC 417 ms
15,828 KB
testcase_29 AC 403 ms
15,640 KB
testcase_30 AC 219 ms
15,948 KB
testcase_31 AC 224 ms
15,944 KB
testcase_32 AC 223 ms
15,944 KB
testcase_33 AC 301 ms
15,896 KB
testcase_34 AC 300 ms
15,772 KB
testcase_35 AC 300 ms
15,872 KB
testcase_36 AC 294 ms
15,760 KB
testcase_37 AC 300 ms
15,904 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