【JZYZ7.6日集训】树状数组进阶/二维偏序/二维数点/线段树上二分/转离线普通平衡树

最新推荐文章于 2024-09-25 17:26:36 发布

张带帅Littlefools

最新推荐文章于 2024-09-25 17:26:36 发布

阅读量347

点赞数 3

CC 4.0 BY-SA版权

分类专栏：总结集训树状数组文章标签： c++ 算法

本文链接：https://blog.csdn.net/qq_35684989/article/details/125665558

这篇博客详细介绍了树状数组的进阶应用，包括一维和多维树状数组的单点修改和区间查询，二维偏序问题，二维数点问题，以及树状数组在二分查找中的应用。通过实例和具体算法讲解，帮助读者深入理解树状数组在解决复杂问题中的作用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

7.6集训Day1 树状数组进阶

今天的集训怎么说，算是来了个下马威吧~~（虽然我暂时还没去听课）~~。

但是看着zyz大佬找的五道题和一道自己出的题，最低也是个蓝色的，最高的没有评级，但我觉得这道题可以评黑（ICPC 2018 WF的Triangles）。多少有点害怕了属于是。

废话少说，来开始今天的学习总结。

【复习】基础的树状数组知识！

性质：任意正整数关于2的不重复次幂的唯一分解性质， $[1, x]$ 区间可以被分成 $O (l o g x)$ 个小区间。

这些子区间的共同特点是：若区间结尾为 $R$ ，则区间长度就等于 $R$ 的“二进制分解”下的最小的 $2$ 次幂，设为 $l o w b i t (R)$ 。

对于给定的序列 $A$ ，建立一个数组 $c$ ，其中 $c [x]$ 保存 $A$ 的区间 $[x - l o w b i t (x) + 1, x]$ 中所有数的和。

该结构满足以下性质：

（1）每个内部结点 $c [x]$ 保存以它为根的子树中所有叶结点的和。

（2）每个内部结点 $c [x]$ 的子节点个数等于 $l o w b i t (x)$ 的大小。

（3）除了树根之外，每个内部结点 $c [x]$ 的父节点是 $c [x + l o w b i t (x)]$

（4）树的深度是 $O (l o g N)$

树状数组一个很有意思的点是初始化。假设源数组与树状数组初始均为零，则树状数组就是通过依次调用 $a d d (i, A [i])$ 来实现的。
同时，其实不需要专门保存源数组，因为所有源数组的操作与查询全部都映射到了树状数组上，即所有需要用到的信息树状数组都有保存，无需额外再保存源数组。在很多数据结构中都是这样的情况，源数据结构其实不用保存。

一维树状数组：

单点修改单点查询

#define lowbit(x) x&-x
void add(int x,int y){
	for(;x <= N;x += lowbit(x)) c[x] += y;
}
int ask(int x){
	int ans = 0;
	for(;x;x -= lowbit(x)) ans += c[x];
	return ans;
}
//查询前缀和：sum(y)-sum(x-1)

区间修改单点查询

考虑源数组 $A$ ，令前缀和数组为S，有 $Si=ΣAiS_i=\Sigma{A_i}$ 。反过来称 $A$ 是 $S$ 的差分数组。即，如果令 $A$ 为源数组，则其差分数组 $D$ 为：

? $?D1=A1?Di=Ai−Ai−1?\begin{array}{c} ? D_{1}=A_{1} \\ ? D_{i}=A_{i}-A_{i-1} ? \end{array}$

如果针对差分数组D建立一个树状数组，就可以在 $l o g$ 时间内完成 $D$ 上的单点操作，也就相当于可以在 $l o g$ 时间内完成源数组的区间修改操作。不过因为此时树状数组求的是差分数组的前缀和，实际上就是 $A$ 中某个元素的值，所以，此时树状数组支持的是区间修改、单点查询。

int c[N+5]; //c[i] = a[i] - a[i-1]
void add(int x,int y){
   
   
    for(;x <= N;x += lowbit(x)) c[x] += y;
}
void add_range(int l,int r,int v){
   
   
    add(l,v);add(r+1,-v);
}
int ask(int x){
   
   
    int sum = 0; 
    for(;x > 0; x -= lowbit(x)) sum += c[x];
    return sum;
}

区间修改区间查询

开一个 $b$ 数组，起初全为0

我们用树状数组维护 $b$ 数组，对于每条 $A D D l r d$ 的指令，把 $b [l] + = d$ ，再把 $b [r + 1] - = d$ 。

我们已经知道， $b$ 数组的前缀和 $Σi=1xb[i]\Sigma^{x}_{i=1}b[i]$ 就是经过这些指令后 $a [x]$ 增加的值。

则 $a$ 的前缀和 $a[1∼x]a[1\sim x]$ 增加的值就是 $Σi=1xΣj=1ib[j]\Sigma^{x}_{i=1} \Sigma^{i}_{j=1} b[j]$

展开得： $Σi=1xΣj=1ib[j]=Σi=1x(x−i+1)∗b[i]=(x+1)Σi=1xb[i]−Σi=1xi∗b[i]\Sigma^{x}_{i=1} \Sigma^{i}_{j=1} b[j]=\Sigma^{x}_{i=1}(x-i+1)*b[i]=(x+1)\Sigma^{x}_{i=1}b[i]-\Sigma^{x}_{i=1}i*b[i]$