Luogu P3919 【模板】可持久化数组(可持久化线段树/平衡树)

本文介绍了一种数据结构——可持久化数组,通过使用主席树实现历史版本的访问和修改。具体包括如何构建、更新及查询版本化数组,以及提供了一个C++实现示例。

题面跳转站

题目背景

UPDATE : 最后一个点时间空间已经放大

标题即题意

有了可持久化数组,便可以实现很多衍生的可持久化功能(例如:可持久化并查集)

题目描述

如题,你需要维护这样的一个长度为 NN 的数组,支持如下几种操作

  1. 在某个历史版本上修改某一个位置上的值

  2. 访问某个历史版本上的某一位置的值

此外,每进行一次操作(对于操作2,即为生成一个完全一样的版本,不作任何改动),就会生成一个新的版本。版本编号即为当前操作的编号(从1开始编号,版本0表示初始状态数组)

输入输出格式

输入格式:

 

输入的第一行包含两个正整数 N, MN,M, 分别表示数组的长度和操作的个数。

第二行包含NN个整数,依次为初始状态下数组各位的值(依次为 a_iai​,1 \leq i \leq N1≤i≤N)。

接下来MM行每行包含3或4个整数,代表两种操作之一(ii为基于的历史版本号):

  1. 对于操作1,格式为v_i \ 1 \ {loc}_i \ {value}_ivi​ 1 loci​ valuei​,即为在版本v_ivi​的基础上,将 a_{{loc}_i}aloci​​ 修改为 {value}_ivaluei​

  2. 对于操作2,格式为v_i \ 2 \ {loc}_ivi​ 2 loci​,即访问版本v_ivi​中的 a_{{loc}_i}aloci​​的值,生成一样版本的对象应为vi

输出格式:

输出包含若干行,依次为每个操作2的结果。

输入输出样例

输入样例#1: 复制

5 10
59 46 14 87 41
0 2 1
0 1 1 14
0 1 1 57
0 1 1 88
4 2 4
0 2 5
0 2 4
4 2 1
2 2 2
1 1 5 91

输出样例#1: 复制

59
87
41
87
88
46

说明

数据规模:

对于30%的数据:1 \leq N, M \leq {10}^31≤N,M≤103

对于50%的数据:1 \leq N, M \leq {10}^41≤N,M≤104

对于70%的数据:1 \leq N, M \leq {10}^51≤N,M≤105

对于100%的数据:1 \leq N, M \leq {10}^6, 1 \leq {loc}_i \leq N, 0 \leq v_i < i, -{10}^9 \leq a_i, {value}_i \leq {10}^91≤N,M≤106,1≤loci​≤N,0≤vi​<i,−109≤ai​,valuei​≤109

经测试,正常常数的可持久化数组可以通过,请各位放心

数据略微凶残,请注意常数不要过大

另,此题I/O量较大,如果实在TLE请注意I/O优化

询问生成的版本是指你访问的那个版本的复制

样例说明:

一共11个版本,编号从0-10,依次为:

0 : 59 46 14 87 41

1 : 59 46 14 87 41

2 : 14 46 14 87 41

3 : 57 46 14 87 41

4 : 88 46 14 87 41

5 : 88 46 14 87 41

6 : 59 46 14 87 41

7 : 59 46 14 87 41

8 : 88 46 14 87 41

9 : 14 46 14 87 41

10 : 59 46 14 87 91

 

 

主席树模板题,只有最底下的结点有用,其余的结点都为空节点

不会主席树戳我

#include<cstdio>
using namespace std;

const int N=1e6+5,M=2e7+5;
int a[N],rt[N],n,m;

struct A
{
	int c[M],lc[M],rc[M],cnt;
	void build(int &p,int l,int r)
	{
		if(!p) p=++cnt;
		if(l==r)
		{
			c[p]=a[l]; return;
		}
		int mid=l+r>>1;
		build(lc[p],l,mid),build(rc[p],mid+1,r);
	}
	
	void add(int &p,int l,int r,int x,int k)
	{
		lc[++cnt]=lc[p],rc[cnt]=rc[p],p=cnt;
		if(l==r) 
		{
			c[p]=k; return;
		}
		int mid=l+r>>1;
		if(x<=mid) add(lc[p],l,mid,x,k);
			else add(rc[p],mid+1,r,x,k);
	}
	
	int get(int p,int l,int r,int x)
	{
		if(l==r) return c[p];
		int mid=l+r>>1;
		if(x<=mid) return get(lc[p],l,mid,x);
			else return get(rc[p],mid+1,r,x);
	}
}tree;
int main()
{
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++) scanf("%d",&a[i]);
	tree.build(rt[0],1,n);
	for(int i=1;i<=m;i++) 
	{
		int v,t,x; scanf("%d%d%d",&v,&t,&x);
		if(t==1)
		{
			int y; scanf("%d",&y);
			rt[i]=rt[v]; tree.add(rt[i],1,n,x,y);
		}else
		{
			rt[i]=rt[v];
			printf("%d\n",tree.get(rt[i],1,n,x));
		}
	}
	return 0;
}

 

``` #include <bits/stdc++.h> #define ll long long #define lb(x) x&(-x) using namespace std; const ll N=1e5,M=5e5,TR=2e7; struct node{ ll ls,rs,w,val; }tr[TR+5]; ll n,m; ll a[N+5]; vector<ll> v[M+5]; ll b[M+5],cntb; ll root[M+5],cnttr; ll trr[N+5]; ll minn; void modify(ll x,ll y){ if(!x) return; for(ll i=x;i<=n;i+=lb(i)){ trr[i]+=y; } return; } ll query(ll x){ ll s=0; for(ll i=x;i;i-=lb(i)){ s+=trr[i]; } return s; } ll query(ll l,ll r){ return query(r)-query(l-1); } void split(ll p,ll v,ll &x,ll &y){ if(!p){ x=y=0; return; } if(tr[p].val<=v){ x=p; split(tr[p].rs,v,tr[p].rs,y); } else{ y=p; split(tr[p].ls,v,x,tr[p].ls); } return; } void merge(ll x,ll y,ll &p){ if(!x || !y){ p=x+y; return; } if(tr[x].w>=tr[y].w){ p=x; merge(tr[p].rs,y,tr[p].rs); } else{ p=y; merge(x,tr[p].ls,tr[p].ls); } return; } void build(ll &p,ll l,ll r){ if(l>r) return; ll mid=(l+r)>>1; p=++cnttr; tr[p]=(node){0,0,rand(),b[mid]}; build(tr[cnttr].ls,l,mid-1); build(tr[cnttr].rs,mid+1,r); return; } void dfs(ll p,ll x){ if(!p) return; minn=min(minn,p); dfs(tr[p].ls,x); ll pos=tr[p].val; modify(pos,-a[pos]+a[pos]/x); a[pos]/=x; if(a[pos]%x==0) b[++cntb]=pos; dfs(tr[p].rs,x); return; } void work(ll p){ if(!p) return; work(tr[p].ls); cout<<p<<" "<<tr[p].ls<<" "<<tr[p].rs<<" "<<tr[p].val<<endl; work(tr[p].rs); return; } int main(){ srand(time(NULL)); // srand(5); scanf("%lld%lld",&n,&m); for(ll i=1;i<=n;i++){ scanf("%lld",&a[i]); for(ll j=1;j*j<=a[i];j++){ if(i%j==0){ v[j].push_back(i); if(j*j!=a[i]) v[i/j].push_back(i); } } modify(i,a[i]); } for(ll i=1;i<=N;i++){ cntb=0; // cout<<i<<"ooooooo\n"; for(ll j:v[i]){ b[++cntb]=j; // cout<<j<<" "; } // cout<<endl; build(root[i],1,cntb); } while(m--){ ll op,l,r,v; scanf("%lld%lld%lld",&op,&l,&r); if(op==1){ scanf("%lld",&v); if(v<=1) continue; ll x=0,y=0,z=0; split(root[v],r,x,z); split(x,l-1,x,y); // work(y); minn=TR; cntb=0; dfs(y,v); // cnttr=minn-1; build(y,1,cntb); merge(x,y,x); merge(x,z,root[v]); } else printf("%lld\n",query(l,r)); } return 0; } /* 5 1 1 2 3 4 5 1 1 5 2 */ ``` # P3987 我永远喜欢珂朵莉~ ## 题目背景 http://sukasuka-anime.com/ 戒不掉的珂毒 出不动的分块 ![](https://cdn.luogu.com.cn/upload/pic/11191.png) ![](https://cdn.luogu.com.cn/upload/pic/11192.png) ![](https://cdn.luogu.com.cn/upload/pic/11193.png) 哦对了有没有想买BD的珂学家啊?支持一下墨鱼吧~ 或者有没有人想来手办众筹啊? ## 题目描述 给珂朵莉一个长为 $n$ 的非负数序列 $a$,支持以下两个操作: - $\verb!1 l r x!$:把区间 $[l,r]$ 中所有 $x$ 的倍数除以 $x$。 - $\verb!2 l r!$:查询区间 $[l,r]$ 内元素的和。 珂朵莉很可爱,所以你要帮珂朵莉写这个题。 ## 输入格式 第一行两个数表示 $n,m$。 第二行 $n$ 个非负整数表示 $a_i$。 之后 $m$ 行每行一个操作: - $\verb!1 l r x!$:把区间 $[l,r]$ 中所有 $x$ 的倍数除以 $x$。 - $\verb!2 l r!$:查询区间 $[l,r]$ 内元素的和。 ## 输出格式 对于每次询问,输出一行一个数表示答案。 ## 输入输出样例 #1 ### 输入 #1 ``` 5 3 1 2 3 4 5 2 1 5 1 1 5 2 2 1 5 ``` ### 输出 #1 ``` 15 12 ``` ## 说明/提示 ### 数据范围及约定 $1 \le n , m \le 10^5$,$0 \le a_i \le 5\times 10^5$,$1 \le x \le 5\times 10^5$。 上面代码过不了样例
08-14
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值