可持久化专题(一)——浅谈主席树:可持久化线段树

前言

不得不说,可持久化数据结构真是太难了!

由于数据结构这东西真的太玄学了,学这个主席树我真的学了很久。


简介

主席树为什么叫主席树?据说因为它是一个名字缩写为 H J T HJT HJT的神犇发明的,与当时主席的名字缩写一样…

主席树实质上就是一棵可持久化线段树,它的具体实现可以看下面。


让我们从值域线段树开始说起

要学主席树,我们就要先学值域线段树

值域线段树的区间存的并不是节点信息,而是在值在某一范围内的数的个数

这里写图片描述

如图就是一棵值域线段树,其中1号节点存储的是大于等于1小于等于4的数字个数,2号节点存储的是大于等于1小于等于2的数字个数,3号节点存储的是大于等于3小于等于4的数字个数,4号节点存储的是等于1的数字个数,5号节点存储的是等于2的数字个数,6号节点存储的是等于3的数字个数,7号节点存储的是等于4的数字个数。

值域线段树的查询也挺简单的,若要查询这段区间内的第 k k k大,只要比较当前元素的左子树大小加1(1是当前元素本身的大小)与询问的 k k k,若大于等于,就访问左子树,否则将 k k k减去当前元素的左子树大小加1,然后访问右子树。

这和平衡树有什么区别!!!

还有一个问题,就是值域线段树存储的区间范围是固定的,所以如果要查询区间第 k k k大,我们就不能只用一棵值域线段树。

考虑建 n n n棵值域线段树,每棵值域线段树存储区间 [ 1 , i ] [1,i] [1,i]的信息,这样一来,要查询 [ l , r ] [l,r] [l,r]的第 k k k大时,只要在查询的过程中,将第 r r r棵值域线段树的信息减去第 l − 1 l-1 l1棵值域线段树的信息即可,这利用了前缀和的思想。
或许你会问,这有什么用?建 n n n棵树,内存那么大,我平衡树第一个不服!

好吧,不服就不服,值域线段树还是有点用的,因为平衡树没法可持久化啊(**可持久化 T r e a p Treap Tr

  • 17
    点赞
  • 26
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
持久化线段树是一种能够支持版本控制的数据结构,它能够在每一个修改操作之后生成一个新的版本,而不破坏原来的版本。下面是一个用C语言实现的可持久化线段树的简单示例代码。 ```c #include <stdio.h> #include <stdlib.h> #define MAX_N 100005 #define MAX_M 100005 typedef struct node { int l, r; int sum; int ls, rs; } node; int n, m; int a[MAX_N]; int root[MAX_N]; int cnt = 0; node tree[MAX_N * 40]; int build(int l, int r) { int p = ++cnt; tree[p].sum = 0; if (l == r) { return p; } int mid = (l + r) >> 1; tree[p].ls = build(l, mid); tree[p].rs = build(mid + 1, r); return p; } int update(int pre, int l, int r, int x) { int p = ++cnt; tree[p] = tree[pre]; tree[p].sum++; if (l == r) { return p; } int mid = (l + r) >> 1; if (x <= mid) { tree[p].ls = update(tree[pre].ls, l, mid, x); } else { tree[p].rs = update(tree[pre].rs, mid + 1, r, x); } return p; } int query(int u, int v, int l, int r, int k) { if (l == r) { return l; } int x = tree[tree[v].ls].sum - tree[tree[u].ls].sum; int mid = (l + r) >> 1; if (x >= k) { return query(tree[u].ls, tree[v].ls, l, mid, k); } else { return query(tree[u].rs, tree[v].rs, mid + 1, r, k - x); } } int main() { scanf("%d %d", &n, &m); for (int i = 1; i <= n; i++) { scanf("%d", &a[i]); } root[0] = build(1, n); for (int i = 1; i <= n; i++) { root[i] = update(root[i - 1], 1, n, a[i]); } for (int i = 1; i <= m; i++) { int l, r, k; scanf("%d %d %d", &l, &r, &k); printf("%d\n", query(root[l - 1], root[r], 1, n, k)); } return 0; } ``` 在这个例子中,我们实现了一个可持久化线段树,用来解决静态区间第K小问题。我们通过不断生成新版本来支持版本控制,每个节点维护了区间和以及左右儿子的指针。在插入新元素时,我们在新版本中复制原版本的信息,然后在相应的左子树或右子树中递归插入新元素。在查询第K小的时候,我们通过查询两个版本中左儿子的区间和之差来确定第K小的元素在左子树还是右子树中,然后递归查询即可。 需要注意的是,这个代码中使用了一个全局变量cnt来记录当前版本的数量,这里只是为了方便演示而使用,实际应用中应该采用更加合理的方式来管理版本数量。此外,这个代码中的区间和可以根据具体需求进行修改,例如最大值、最小值等等。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值