线段树
引入
线段树是算法竞赛中常用的用来维护 区间信息 的数据结构。
线段树可以在 的时间复杂度内实现单点修改、区间修改、区间查询(区间求和,求区间最大值,求区间最小值)等操作。
线段树
线段树的基本结构与建树
过程
线段树将每个长度不为 的区间划分成左右两个区间递归求解,把整个线段划分为一个树形结构,通过合并左右两区间信息来求得该区间的信息。这种数据结构可以方便的进行大部分的区间操作。
有个大小为 的数组 ,要将其转化为线段树,有以下做法:设线段树的根节点编号为 ,用数组 来保存我们的线段树, 用来保存线段树上编号为 的节点的值(这里每个节点所维护的值就是这个节点所表示的区间总和)。
我们先给出这棵线段树的形态,如图所示:
图中每个节点中用红色字体标明的区间,表示该节点管辖的 数组上的位置区间。如 所管辖的区间就是 ( ),即 所保存的值是 , 表示的是 。
通过观察不难发现, 的左儿子节点就是 , 的右儿子节点就是 。如果 表示的是区间 (即 )的话,那么 的左儿子节点表示的是区间 , 的右儿子表示的是区间 。
在实现时,我们考虑递归建树。设当前的根节点为 ,如果根节点管辖的区间长度已经是 ,则可以直接根据 数组上相应位置的值初始化该节点。否则我们将该区间从中点处分割为两个子区间,分别进入左右子节点递归建树,最后合并两个子节点的信息。
实现
此处给出代码实现,可参考注释理解:
C++ Python
1
2
3
4
5
6
7
8
9
10
11
12
13 void build ( int s , int t , int p ) {
// 对 [s,t] 区间建立线段树,当前根的编号为 p
if ( s == t ) {
d [ p ] = a [ s ];
return ;
}
int m = s + (( t - s ) >> 1 );
// 移位运算符的优先级小于加减法,所以加上括号
// 如果写成 (s + t) >> 1 可能会超出 int 范围
build ( s , m , p * 2 ), build ( m + 1 , t , p * 2 + 1 );
// 递归对左右区间建树
d [ p ] = d [ p * 2 ] + d [( p * 2 ) + 1 ];
}
1
2
3
4
5
6
7
8
9
10
11
12 def build ( s , t , p ):
# 对 [s,t] 区间建立线段树,当前根的编号为 p
if s == t :
d [ p ] = a [ s ]
return
m = s + (( t - s ) >> 1 )
# 移位运算符的优先级小于加减法,所以加上括号
# 如果写成 (s + t) >> 1 可能会超出 int 范围
build ( s , m , p * 2 )
build ( m + 1 , t , p * 2 + 1 )
# 递归对左右区间建树
d [ p ] = d [ p * 2 ] + d [( p * 2 ) + 1 ]
关于线段树的空间:如果采用堆式存储( 是 的左儿子, 是 的右儿子),若有 个叶子结点,则 d 数组的范围最大为 。
分析:容易知道线段树的深度是 的,则在堆式储存情况下叶子节点(包括无用的叶子节点)数量为 个,又由于其为一棵完全二叉树,则其总节点个数 。当然如果你懒得计算的话可以直接把数组长度设为 ,因为 的最大值在 时取到,此时节点数为 。
而堆式存储存在无用的叶子节点,可以考虑使用内存池管理线段树节点,每当需要新建节点时从池中获取。自底向上考虑,必有每两个底层节点合并为一个上层节点,因此可以类似哈夫曼树地证明,如果有 个叶子节点,这样的线段树总共有 个节点。其空间效率优于堆式存储,并且是可能的最优情况。
这样的线段树可以自底向上维护,参考「统计的力量 - 张昆玮 」。
线段树的区间查询
过程
区间查询,比如求区间 的总和(即 )、求区间最大值/最小值等操作。
仍然以最开始的图为例,如果要查询区间 的和,那直接获取 的值( )即可。
如果要查询的区间为 ,此时就不能直接获取区间的值,但是 可以拆成 和 ,可以通过合并这两个区间的答案来求得这个区间的答案。
一般地,如果要查询的区间是 ,则可以将其拆成最多为 个 极大 的区间,合并这些区间即可求出 的答案。
实现
此处给出代码实现,可参考注释理解:
C++ Python
int getsum ( int l , int r , int s , int t , int p ) {
// [l, r] 为查询区间, [s, t] 为当前节点包含的区间, p 为当前节点的编号
if ( l <= s && t <= r )
return d [ p ]; // 当前区间为询问区间的子集时直接返回当前区间的和
int m = s + (( t - s ) >> 1 ), sum = 0 ;
if ( l <= m ) sum += getsum ( l , r , s , m , p * 2 );
// 如果左儿子代表的区间 [s, m] 与询问区间有交集, 则递归查询左儿子
if ( r > m ) sum += getsum ( l , r , m + 1 , t , p * 2 + 1 );
// 如果右儿子代表的区间 [m + 1, t] 与询问区间有交集, 则递归查询右儿子
return sum ;
}
1
2
3
4
5
6
7
8
9
10
11
12
13 def getsum ( l , r , s , t , p ):
# [l, r] 为查询区间, [s, t] 为当前节点包含的区间, p 为当前节点的编号
if l <= s and t <= r :
return d [ p ] # 当前区间为询问区间的子集时直接返回当前区间的和
m = s + (( t - s ) >> 1 )
sum = 0
if l <= m :
sum = sum + getsum ( l , r , s , m , p * 2 )
# 如果左儿子代表的区间 [s, m] 与询问区间有交集, 则递归查询左儿子
if r > m :
sum = sum + getsum ( l , r , m + 1 , t , p * 2 + 1 )
# 如果右儿子代表的区间 [m + 1, t] 与询问区间有交集, 则递归查询右儿子
return sum
线段树的区间修改与懒惰标记
过程
如果要求修改区间 ,把所有包含在区间 中的节点都遍历一次、修改一次,时间复杂度无法承受。我们这里要引入一个叫做 「懒惰标记」 的东西。
懒惰标记,简单来说,就是通过延迟对节点信息的更改,从而减少可能不必要的操作次数。每次执行修改时,我们通过打标记的方法表明该节点对应的区间在某一次操作中被更改,但不更新该节点的子节点的信息。实质性的修改则在下一次访问带有标记的节点时才进行。
仍然以最开始的图为例,我们将执行若干次给区间内的数加上一个值的操作。我们现在给每个节点增加一个 ,表示该节点带的标记值。
最开始时的情况是这样的(为了节省空间,这里不再展示每个节点管辖的区间):
现在我们准备给 上的每个数都加上 。根据前面区间查询的经验,我们很快找到了两个极大区间 和 (分别对应线段树上的 号点和 号点)。
我们直接在这两个节点上进行修改,并给它们打上标记:
我们发现, 号节点的信息虽然被修改了(因为该区间管辖两个数,所以 加上的数是 ),但它的两个子节点却还没更新,仍然保留着修改之前的信息。不过不用担心,虽然修改目前还没进行,但当我们要查询这两个子节点的信息时,我们会利用标记修改这两个子节点的信息,使查询的结果依旧准确。
接下来我们查询一下 区间上各数字的和。
我们通过递归找到 区间,发现该区间并非我们的目标区间,且该区间上还存在标记。这时候就到标记下放的时间了。我们将该区间的两个子区间的信息更新,并清除该区间上的标记。
现在 、 两个节点的值变成了最新的值,查询的结果也是准确的。
实现
接下来给出在存在标记的情况下,区间修改和查询操作的参考实现。
区间修改(区间加上某个值):
C++ Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19 // [l, r] 为修改区间, c 为被修改的元素的变化量, [s, t] 为当前节点包含的区间, p
// 为当前节点的编号
void update ( int l , int r , int c , int s , int t , int p ) {
// 当前区间为修改区间的子集时直接修改当前节点的值,然后打标记,结束修改
if ( l <= s && t <= r ) {
d [ p ] += ( t - s + 1 ) * c , b [ p ] += c ;
return ;
}
int m = s + (( t - s ) >> 1 );
if ( b [ p ] && s != t ) {
// 如果当前节点的懒标记非空,则更新当前节点两个子节点的值和懒标记值
d [ p * 2 ] += b [ p ] * ( m - s + 1 ), d [ p * 2 + 1 ] += b [ p ] * ( t - m );
b [ p * 2 ] += b [ p ], b [ p * 2 + 1 ] += b [ p ]; // 将标记下传给子节点
b [ p ] = 0 ; // 清空当前节点的标记
}
if ( l <= m ) update ( l , r , c , s , m , p * 2 );
if ( r > m ) update ( l , r , c , m + 1 , t , p * 2 + 1 );
d [ p ] = d [ p * 2 ] + d [ p * 2 + 1 ];
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23 def update ( l , r , c , s , t , p ):
# [l, r] 为修改区间, c 为被修改的元素的变化量, [s, t] 为当前节点包含的区间, p
# 为当前节点的编号
if l <= s and t <= r :
d [ p ] = d [ p ] + ( t - s + 1 ) * c
b [ p ] = b [ p ] + c
return
# 当前区间为修改区间的子集时直接修改当前节点的值, 然后打标记, 结束修改
m = s + (( t - s ) >> 1 )
if b [ p ] and s != t :
# 如果当前节点的懒标记非空, 则更新当前节点两个子节点的值和懒标记值
d [ p * 2 ] = d [ p * 2 ] + b [ p ] * ( m - s + 1 )
d [ p * 2 + 1 ] = d [ p * 2 + 1 ] + b [ p ] * ( t - m )
# 将标记下传给子节点
b [ p * 2 ] = b [ p * 2 ] + b [ p ]
b [ p * 2 + 1 ] = b [ p * 2 + 1 ] + b [ p ]
# 清空当前节点的标记
b [ p ] = 0
if l <= m :
update ( l , r , c , s , m , p * 2 )
if r > m :
update ( l , r , c , m + 1 , t , p * 2 + 1 )
d [ p ] = d [ p * 2 ] + d [ p * 2 + 1 ]
区间查询(区间求和):
C++ Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16 int getsum ( int l , int r , int s , int t , int p ) {
// [l, r] 为查询区间, [s, t] 为当前节点包含的区间, p 为当前节点的编号
if ( l <= s && t <= r ) return d [ p ];
// 当前区间为询问区间的子集时直接返回当前区间的和
int m = s + (( t - s ) >> 1 );
if ( b [ p ]) {
// 如果当前节点的懒标记非空,则更新当前节点两个子节点的值和懒标记值
d [ p * 2 ] += b [ p ] * ( m - s + 1 ), d [ p * 2 + 1 ] += b [ p ] * ( t - m );
b [ p * 2 ] += b [ p ], b [ p * 2 + 1 ] += b [ p ]; // 将标记下传给子节点
b [ p ] = 0 ; // 清空当前节点的标记
}
int sum = 0 ;
if ( l <= m ) sum = getsum ( l , r , s , m , p * 2 );
if ( r > m ) sum += getsum ( l , r , m + 1 , t , p * 2 + 1 );
return sum ;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21 def getsum ( l , r , s , t , p ):
# [l, r] 为查询区间, [s, t] 为当前节点包含的区间, p为当前节点的编号
if l <= s and t <= r :
return d [ p ]
# 当前区间为询问区间的子集时直接返回当前区间的和
m = s + (( t - s ) >> 1 )
if b [ p ]:
# 如果当前节点的懒标记非空, 则更新当前节点两个子节点的值和懒标记值
d [ p * 2 ] = d [ p * 2 ] + b [ p ] * ( m - s + 1 )
d [ p * 2 + 1 ] = d [ p * 2 + 1 ] + b [ p ] * ( t - m )
# 将标记下传给子节点
b [ p * 2 ] = b [ p * 2 ] + b [ p ]
b [ p * 2 + 1 ] = b [ p * 2 + 1 ] + b [ p ]
# 清空当前节点的标记
b [ p ] = 0
sum = 0
if l <= m :
sum = getsum ( l , r , s , m , p * 2 )
if r > m :
sum = sum + getsum ( l , r , m + 1 , t , p * 2 + 1 )
return sum
如果你是要实现区间修改为某一个值而不是加上某一个值的话,代码如下:
C++ Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32 void update ( int l , int r , int c , int s , int t , int p ) {
if ( l <= s && t <= r ) {
d [ p ] = ( t - s + 1 ) * c , b [ p ] = c , v [ p ] = 1 ;
return ;
}
int m = s + (( t - s ) >> 1 );
// 额外数组储存是否修改值
if ( v [ p ]) {
d [ p * 2 ] = b [ p ] * ( m - s + 1 ), d [ p * 2 + 1 ] = b [ p ] * ( t - m );
b [ p * 2 ] = b [ p * 2 + 1 ] = b [ p ];
v [ p * 2 ] = v [ p * 2 + 1 ] = 1 ;
v [ p ] = 0 ;
}
if ( l <= m ) update ( l , r , c , s , m , p * 2 );
if ( r > m ) update ( l , r , c , m + 1 , t , p * 2 + 1 );
d [ p ] = d [ p * 2 ] + d [ p * 2 + 1 ];
}
int getsum ( int l , int r , int s , int t , int p ) {
if ( l <= s && t <= r ) return d [ p ];
int m = s + (( t - s ) >> 1 );
if ( v [ p ]) {
d [ p * 2 ] = b [ p ] * ( m - s + 1 ), d [ p * 2 + 1 ] = b [ p ] * ( t - m );
b [ p * 2 ] = b [ p * 2 + 1 ] = b [ p ];
v [ p * 2 ] = v [ p * 2 + 1 ] = 1 ;
v [ p ] = 0 ;
}
int sum = 0 ;
if ( l <= m ) sum = getsum ( l , r , s , m , p * 2 );
if ( r > m ) sum += getsum ( l , r , m + 1 , t , p * 2 + 1 );
return sum ;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36 def update ( l , r , c , s , t , p ):
if l <= s and t <= r :
d [ p ] = ( t - s + 1 ) * c
b [ p ] = c
v [ p ] = 1
return
m = s + (( t - s ) >> 1 )
if v [ p ]:
d [ p * 2 ] = b [ p ] * ( m - s + 1 )
d [ p * 2 + 1 ] = b [ p ] * ( t - m )
b [ p * 2 ] = b [ p * 2 + 1 ] = b [ p ]
v [ p * 2 ] = v [ p * 2 + 1 ] = 1
v [ p ] = 0
if l <= m :
update ( l , r , c , s , m , p * 2 )
if r > m :
update ( l , r , c , m + 1 , t , p * 2 + 1 )
d [ p ] = d [ p * 2 ] + d [ p * 2 + 1 ]
def getsum ( l , r , s , t , p ):
if l <= s and t <= r :
return d [ p ]
m = s + (( t - s ) >> 1 )
if v [ p ]:
d [ p * 2 ] = b [ p ] * ( m - s + 1 )
d [ p * 2 + 1 ] = b [ p ] * ( t - m )
b [ p * 2 ] = b [ p * 2 + 1 ] = b [ p ]
v [ p * 2 ] = v [ p * 2 + 1 ] = 1
v [ p ] = 0
sum = 0
if l <= m :
sum = getsum ( l , r , s , m , p * 2 )
if r > m :
sum = sum + getsum ( l , r , m + 1 , t , p * 2 + 1 )
return sum
动态开点线段树
前面讲到堆式储存的情况下,需要给线段树开 大小的数组。为了节省空间,我们可以不一次性建好树,而是在最初只建立一个根结点代表整个区间。当我们需要访问某个子区间时,才建立代表这个区间的子结点。这样我们不再使用 和 代表 结点的儿子,而是用 和 记录儿子的编号。总之,动态开点线段树的核心思想就是:结点只有在有需要的时候才被创建 。
单次操作的时间复杂度是不变的,为 。由于每次操作都有可能创建并访问全新的一系列结点,因此 次单点操作后结点的数量规模是 。最多也只需要 个结点,没有浪费。
单点修改:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18 // root 表示整棵线段树的根结点;cnt 表示当前结点个数
int n , cnt , root ;
int sum [ n * 2 ], ls [ n * 2 ], rs [ n * 2 ];
// 用法:update(root, 1, n, x, f); 其中 x 为待修改节点的编号
void update ( int & p , int s , int t , int x , int f ) { // 引用传参
if ( ! p ) p = ++ cnt ; // 当结点为空时,创建一个新的结点
if ( s == t ) {
sum [ p ] += f ;
return ;
}
int m = s + (( t - s ) >> 1 );
if ( x <= m )
update ( ls [ p ], s , m , x , f );
else
update ( rs [ p ], m + 1 , t , x , f );
sum [ p ] = sum [ ls [ p ]] + sum [ rs [ p ]]; // pushup
}
区间询问:
// 用法:query(root, 1, n, l, r);
int query ( int p , int s , int t , int l , int r ) {
if ( ! p ) return 0 ; // 如果结点为空,返回 0
if ( s >= l && t <= r ) return sum [ p ];
int m = s + (( t - s ) >> 1 ), ans = 0 ;
if ( l <= m ) ans += query ( ls [ p ], s , m , l , r );
if ( r > m ) ans += query ( rs [ p ], m + 1 , t , l , r );
return ans ;
}
区间修改也是一样的,不过下放标记时要注意如果缺少孩子,就直接创建一个新的孩子。或者使用标记永久化技巧。
一些优化
这里总结几个线段树的优化:
在叶子节点处无需下放懒惰标记,所以懒惰标记可以不下传到叶子节点。
下放懒惰标记可以写一个专门的函数 pushdown
,从儿子节点更新当前节点也可以写一个专门的函数 maintain
(或者对称地用 pushup
),降低代码编写难度。
标记永久化:如果确定懒惰标记不会在中途被加到溢出(即超过了该类型数据所能表示的最大范围),那么就可以将标记永久化。标记永久化可以避免下传懒惰标记,只需在进行询问时把标记的影响加到答案当中,从而降低程序常数。具体如何处理与题目特性相关,需结合题目来写。这也是树套树和可持久化数据结构中会用到的一种技巧。
C++ 模板
SegTreeLazyRangeAdd 可以区间加/求和的线段树模板
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79 #include <bits/stdc++.h>
using namespace std ;
template < typename T >
class SegTreeLazyRangeAdd {
vector < T > tree , lazy ;
vector < T > * arr ;
int n , root , n4 , end ;
void maintain ( int cl , int cr , int p ) {
int cm = cl + ( cr - cl ) / 2 ;
if ( cl != cr && lazy [ p ]) {
lazy [ p * 2 ] += lazy [ p ];
lazy [ p * 2 + 1 ] += lazy [ p ];
tree [ p * 2 ] += lazy [ p ] * ( cm - cl + 1 );
tree [ p * 2 + 1 ] += lazy [ p ] * ( cr - cm );
lazy [ p ] = 0 ;
}
}
T range_sum ( int l , int r , int cl , int cr , int p ) {
if ( l <= cl && cr <= r ) return tree [ p ];
int m = cl + ( cr - cl ) / 2 ;
T sum = 0 ;
maintain ( cl , cr , p );
if ( l <= m ) sum += range_sum ( l , r , cl , m , p * 2 );
if ( r > m ) sum += range_sum ( l , r , m + 1 , cr , p * 2 + 1 );
return sum ;
}
void range_add ( int l , int r , T val , int cl , int cr , int p ) {
if ( l <= cl && cr <= r ) {
lazy [ p ] += val ;
tree [ p ] += ( cr - cl + 1 ) * val ;
return ;
}
int m = cl + ( cr - cl ) / 2 ;
maintain ( cl , cr , p );
if ( l <= m ) range_add ( l , r , val , cl , m , p * 2 );
if ( r > m ) range_add ( l , r , val , m + 1 , cr , p * 2 + 1 );
tree [ p ] = tree [ p * 2 ] + tree [ p * 2 + 1 ];
}
void build ( int s , int t , int p ) {
if ( s == t ) {
tree [ p ] = ( * arr )[ s ];
return ;
}
int m = s + ( t - s ) / 2 ;
build ( s , m , p * 2 );
build ( m + 1 , t , p * 2 + 1 );
tree [ p ] = tree [ p * 2 ] + tree [ p * 2 + 1 ];
}
public :
explicit SegTreeLazyRangeAdd < T > ( vector < T > v ) {
n = v . size ();
n4 = n * 4 ;
tree = vector < T > ( n4 , 0 );
lazy = vector < T > ( n4 , 0 );
arr = & v ;
end = n - 1 ;
root = 1 ;
build ( 0 , end , 1 );
arr = nullptr ;
}
void show ( int p , int depth = 0 ) {
if ( p > n4 || tree [ p ] == 0 ) return ;
show ( p * 2 , depth + 1 );
for ( int i = 0 ; i < depth ; ++ i ) putchar ( '\t' );
printf ( "%d:%d \n " , tree [ p ], lazy [ p ]);
show ( p * 2 + 1 , depth + 1 );
}
T range_sum ( int l , int r ) { return range_sum ( l , r , 0 , end , root ); }
void range_add ( int l , int r , T val ) { range_add ( l , r , val , 0 , end , root ); }
};
SegTreeLazyRangeSet 可以区间修改/求和的线段树模板
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83 #include <bits/stdc++.h>
using namespace std ;
template < typename T >
class SegTreeLazyRangeSet {
vector < T > tree , lazy ;
vector < T > * arr ;
vector < bool > ifLazy ;
int n , root , n4 , end ;
void maintain ( int cl , int cr , int p ) {
int cm = cl + ( cr - cl ) / 2 ;
if ( cl != cr && ifLazy [ p ]) {
lazy [ p * 2 ] = lazy [ p ], ifLazy [ p * 2 ] = 1 ;
lazy [ p * 2 + 1 ] = lazy [ p ], ifLazy [ p * 2 + 1 ] = 1 ;
tree [ p * 2 ] = lazy [ p ] * ( cm - cl + 1 );
tree [ p * 2 + 1 ] = lazy [ p ] * ( cr - cm );
lazy [ p ] = 0 ;
ifLazy [ p ] = 0 ;
}
}
T range_sum ( int l , int r , int cl , int cr , int p ) {
if ( l <= cl && cr <= r ) return tree [ p ];
int m = cl + ( cr - cl ) / 2 ;
T sum = 0 ;
maintain ( cl , cr , p );
if ( l <= m ) sum += range_sum ( l , r , cl , m , p * 2 );
if ( r > m ) sum += range_sum ( l , r , m + 1 , cr , p * 2 + 1 );
return sum ;
}
void range_set ( int l , int r , T val , int cl , int cr , int p ) {
if ( l <= cl && cr <= r ) {
lazy [ p ] = val ;
ifLazy [ p ] = 1 ;
tree [ p ] = ( cr - cl + 1 ) * val ;
return ;
}
int m = cl + ( cr - cl ) / 2 ;
maintain ( cl , cr , p );
if ( l <= m ) range_set ( l , r , val , cl , m , p * 2 );
if ( r > m ) range_set ( l , r , val , m + 1 , cr , p * 2 + 1 );
tree [ p ] = tree [ p * 2 ] + tree [ p * 2 + 1 ];
}
void build ( int s , int t , int p ) {
if ( s == t ) {
tree [ p ] = ( * arr )[ s ];
return ;
}
int m = s + ( t - s ) / 2 ;
build ( s , m , p * 2 );
build ( m + 1 , t , p * 2 + 1 );
tree [ p ] = tree [ p * 2 ] + tree [ p * 2 + 1 ];
}
public :
explicit SegTreeLazyRangeSet < T > ( vector < T > v ) {
n = v . size ();
n4 = n * 4 ;
tree = vector < T > ( n4 , 0 );
lazy = vector < T > ( n4 , 0 );
ifLazy = vector < bool > ( n4 , 0 );
arr = & v ;
end = n - 1 ;
root = 1 ;
build ( 0 , end , 1 );
arr = nullptr ;
}
void show ( int p , int depth = 0 ) {
if ( p > n4 || tree [ p ] == 0 ) return ;
show ( p * 2 , depth + 1 );
for ( int i = 0 ; i < depth ; ++ i ) putchar ( '\t' );
printf ( "%d:%d \n " , tree [ p ], lazy [ p ]);
show ( p * 2 + 1 , depth + 1 );
}
T range_sum ( int l , int r ) { return range_sum ( l , r , 0 , end , root ); }
void range_set ( int l , int r , T val ) { range_set ( l , r , val , 0 , end , root ); }
};
例题
luogu P3372【模板】线段树 1
已知一个数列,你需要进行下面两种操作:
将某区间每一个数加上 。
求出某区间每一个数的和。
参考代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60 #include <iostream>
using LL = long long ;
LL n , a [ 100005 ], d [ 270000 ], b [ 270000 ];
void build ( LL l , LL r , LL p ) { // l:区间左端点 r:区间右端点 p:节点标号
if ( l == r ) {
d [ p ] = a [ l ]; // 将节点赋值
return ;
}
LL m = l + (( r - l ) >> 1 );
build ( l , m , p << 1 ), build ( m + 1 , r , ( p << 1 ) | 1 ); // 分别建立子树
d [ p ] = d [ p << 1 ] + d [( p << 1 ) | 1 ];
}
void update ( LL l , LL r , LL c , LL s , LL t , LL p ) {
if ( l <= s && t <= r ) {
d [ p ] += ( t - s + 1 ) * c , b [ p ] += c ; // 如果区间被包含了,直接得出答案
return ;
}
LL m = s + (( t - s ) >> 1 );
if ( b [ p ])
d [ p << 1 ] += b [ p ] * ( m - s + 1 ), d [( p << 1 ) | 1 ] += b [ p ] * ( t - m ),
b [ p << 1 ] += b [ p ], b [( p << 1 ) | 1 ] += b [ p ];
b [ p ] = 0 ;
if ( l <= m )
update ( l , r , c , s , m , p << 1 ); // 本行和下面的一行用来更新p*2和p*2+1的节点
if ( r > m ) update ( l , r , c , m + 1 , t , ( p << 1 ) | 1 );
d [ p ] = d [ p << 1 ] + d [( p << 1 ) | 1 ]; // 计算该节点区间和
}
LL getsum ( LL l , LL r , LL s , LL t , LL p ) {
if ( l <= s && t <= r ) return d [ p ];
LL m = s + (( t - s ) >> 1 );
if ( b [ p ])
d [ p << 1 ] += b [ p ] * ( m - s + 1 ), d [( p << 1 ) | 1 ] += b [ p ] * ( t - m ),
b [ p << 1 ] += b [ p ], b [( p << 1 ) | 1 ] += b [ p ];
b [ p ] = 0 ;
LL sum = 0 ;
if ( l <= m )
sum =
getsum ( l , r , s , m , p << 1 ); // 本行和下面的一行用来更新p*2和p*2+1的答案
if ( r > m ) sum += getsum ( l , r , m + 1 , t , ( p << 1 ) | 1 );
return sum ;
}
int main () {
std :: ios :: sync_with_stdio ( false );
LL q , i1 , i2 , i3 , i4 ;
std :: cin >> n >> q ;
for ( LL i = 1 ; i <= n ; i ++ ) std :: cin >> a [ i ];
build ( 1 , n , 1 );
while ( q -- ) {
std :: cin >> i1 >> i2 >> i3 ;
if ( i1 == 2 )
std :: cout << getsum ( i2 , i3 , 1 , n , 1 ) << std :: endl ; // 直接调用操作函数
else
std :: cin >> i4 , update ( i2 , i3 , i4 , 1 , n , 1 );
}
return 0 ;
}
luogu P3373【模板】线段树 2
已知一个数列,你需要进行下面三种操作:
将某区间每一个数乘上 。
将某区间每一个数加上 。
求出某区间每一个数的和。
参考代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121 #include <iostream>
using ll = long long ;
int n , m ;
ll mod ;
ll a [ 100005 ], sum [ 400005 ], mul [ 400005 ], laz [ 400005 ];
void up ( int i ) { sum [ i ] = ( sum [( i << 1 )] + sum [( i << 1 ) | 1 ]) % mod ; }
void pd ( int i , int s , int t ) {
int l = ( i << 1 ), r = ( i << 1 ) | 1 , mid = ( s + t ) >> 1 ;
if ( mul [ i ] != 1 ) { // 懒标记传递,两个懒标记
mul [ l ] *= mul [ i ];
mul [ l ] %= mod ;
mul [ r ] *= mul [ i ];
mul [ r ] %= mod ;
laz [ l ] *= mul [ i ];
laz [ l ] %= mod ;
laz [ r ] *= mul [ i ];
laz [ r ] %= mod ;
sum [ l ] *= mul [ i ];
sum [ l ] %= mod ;
sum [ r ] *= mul [ i ];
sum [ r ] %= mod ;
mul [ i ] = 1 ;
}
if ( laz [ i ]) { // 懒标记传递
sum [ l ] += laz [ i ] * ( mid - s + 1 );
sum [ l ] %= mod ;
sum [ r ] += laz [ i ] * ( t - mid );
sum [ r ] %= mod ;
laz [ l ] += laz [ i ];
laz [ l ] %= mod ;
laz [ r ] += laz [ i ];
laz [ r ] %= mod ;
laz [ i ] = 0 ;
}
return ;
}
void build ( int s , int t , int i ) {
mul [ i ] = 1 ;
if ( s == t ) {
sum [ i ] = a [ s ];
return ;
}
int mid = s + (( t - s ) >> 1 );
build ( s , mid , i << 1 ); // 建树
build ( mid + 1 , t , ( i << 1 ) | 1 );
up ( i );
}
void chen ( int l , int r , int s , int t , int i , ll z ) {
int mid = s + (( t - s ) >> 1 );
if ( l <= s && t <= r ) {
mul [ i ] *= z ;
mul [ i ] %= mod ; // 这是取模的
laz [ i ] *= z ;
laz [ i ] %= mod ; // 这是取模的
sum [ i ] *= z ;
sum [ i ] %= mod ; // 这是取模的
return ;
}
pd ( i , s , t );
if ( mid >= l ) chen ( l , r , s , mid , ( i << 1 ), z );
if ( mid + 1 <= r ) chen ( l , r , mid + 1 , t , ( i << 1 ) | 1 , z );
up ( i );
}
void add ( int l , int r , int s , int t , int i , ll z ) {
int mid = s + (( t - s ) >> 1 );
if ( l <= s && t <= r ) {
sum [ i ] += z * ( t - s + 1 );
sum [ i ] %= mod ; // 这是取模的
laz [ i ] += z ;
laz [ i ] %= mod ; // 这是取模的
return ;
}
pd ( i , s , t );
if ( mid >= l ) add ( l , r , s , mid , ( i << 1 ), z );
if ( mid + 1 <= r ) add ( l , r , mid + 1 , t , ( i << 1 ) | 1 , z );
up ( i );
}
ll getans ( int l , int r , int s , int t ,
int i ) { // 得到答案,可以看下上面懒标记助于理解
int mid = s + (( t - s ) >> 1 );
ll tot = 0 ;
if ( l <= s && t <= r ) return sum [ i ];
pd ( i , s , t );
if ( mid >= l ) tot += getans ( l , r , s , mid , ( i << 1 ));
tot %= mod ;
if ( mid + 1 <= r ) tot += getans ( l , r , mid + 1 , t , ( i << 1 ) | 1 );
return tot % mod ;
}
using std :: cin ;
using std :: cout ;
int main () { // 读入
cin . tie ( nullptr ) -> sync_with_stdio ( false );
int i , j , x , y , bh ;
ll z ;
cin >> n >> m >> mod ;
for ( i = 1 ; i <= n ; i ++ ) cin >> a [ i ];
build ( 1 , n , 1 ); // 建树
for ( i = 1 ; i <= m ; i ++ ) {
cin >> bh ;
if ( bh == 1 ) {
cin >> x >> y >> z ;
chen ( x , y , 1 , n , 1 , z );
} else if ( bh == 2 ) {
cin >> x >> y >> z ;
add ( x , y , 1 , n , 1 , z );
} else if ( bh == 3 ) {
cin >> x >> y ;
cout << getans ( x , y , 1 , n , 1 ) << '\n' ;
}
}
return 0 ;
}
HihoCoder 1078 线段树的区间修改
假设货架上从左到右摆放了 种商品,并且依次标号为 到 ,其中标号为 的商品的价格为 。小 Hi 的每次操作分为两种可能,第一种是修改价格:小 Hi 给出一段区间 和一个新的价格 ,所有标号在这段区间中的商品的价格都变成 。第二种操作是询问:小 Hi 给出一段区间 ,而小 Ho 要做的便是计算出所有标号在这段区间中的商品的总价格,然后告诉小 Hi。
参考代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61 #include <iostream>
int n , a [ 100005 ], d [ 270000 ], b [ 270000 ];
void build ( int l , int r , int p ) { // 建树
if ( l == r ) {
d [ p ] = a [ l ];
return ;
}
int m = l + (( r - l ) >> 1 );
build ( l , m , p << 1 ), build ( m + 1 , r , ( p << 1 ) | 1 );
d [ p ] = d [ p << 1 ] + d [( p << 1 ) | 1 ];
}
void update ( int l , int r , int c , int s , int t ,
int p ) { // 更新,可以参考前面两个例题
if ( l <= s && t <= r ) {
d [ p ] = ( t - s + 1 ) * c , b [ p ] = c ;
return ;
}
int m = s + (( t - s ) >> 1 );
if ( b [ p ]) {
d [ p << 1 ] = b [ p ] * ( m - s + 1 ), d [( p << 1 ) | 1 ] = b [ p ] * ( t - m );
b [ p << 1 ] = b [( p << 1 ) | 1 ] = b [ p ];
b [ p ] = 0 ;
}
if ( l <= m ) update ( l , r , c , s , m , p << 1 );
if ( r > m ) update ( l , r , c , m + 1 , t , ( p << 1 ) | 1 );
d [ p ] = d [ p << 1 ] + d [( p << 1 ) | 1 ];
}
int getsum ( int l , int r , int s , int t , int p ) { // 取得答案,和前面一样
if ( l <= s && t <= r ) return d [ p ];
int m = s + (( t - s ) >> 1 );
if ( b [ p ]) {
d [ p << 1 ] = b [ p ] * ( m - s + 1 ), d [( p << 1 ) | 1 ] = b [ p ] * ( t - m );
b [ p << 1 ] = b [( p << 1 ) | 1 ] = b [ p ];
b [ p ] = 0 ;
}
int sum = 0 ;
if ( l <= m ) sum = getsum ( l , r , s , m , p << 1 );
if ( r > m ) sum += getsum ( l , r , m + 1 , t , ( p << 1 ) | 1 );
return sum ;
}
int main () {
std :: ios :: sync_with_stdio ( false );
std :: cin >> n ;
for ( int i = 1 ; i <= n ; i ++ ) std :: cin >> a [ i ];
build ( 1 , n , 1 );
int q , i1 , i2 , i3 , i4 ;
std :: cin >> q ;
while ( q -- ) {
std :: cin >> i1 >> i2 >> i3 ;
if ( i1 == 0 )
std :: cout << getsum ( i2 , i3 , 1 , n , 1 ) << std :: endl ;
else
std :: cin >> i4 , update ( i2 , i3 , i4 , 1 , n , 1 );
}
return 0 ;
}
2018 Multi-University Training Contest 5 Problem G. Glad You Came
解题思路
维护一下每个区间的永久标记就可以了,最后在线段树上跑一边 DFS 统计结果即可。注意打标记的时候加个剪枝优化,否则会 TLE。
线段树合并
过程
顾名思义,线段树合并是指建立一棵新的线段树,这棵线段树的每个节点都是两棵原线段树对应节点合并后的结果。它常常被用于维护树上或是图上的信息。
显然,我们不可能真的每次建满一颗新的线段树,因此我们需要使用上文的动态开点线段树。
线段树合并的过程本质上相当暴力:
假设两颗线段树为 A 和 B,我们从 1 号节点开始递归合并。
递归到某个节点时,如果 A 树或者 B 树上的对应节点为空,直接返回另一个树上对应节点,这里运用了动态开点线段树的特性。
如果递归到叶子节点,我们合并两棵树上的对应节点。
最后,根据子节点更新当前节点并且返回。
线段树合并的复杂度
显然,对于两颗满的线段树,合并操作的复杂度是 的。但实际情况下使用的常常是权值线段树,总点数和 的规模相差并不大。并且合并时一般不会重复地合并某个线段树,所以我们最终增加的点数大致是 级别的。这样,总的复杂度就是 级别的。当然,在一些情况下,可并堆可能是更好的选择。
实现
1
2
3
4
5
6
7
8
9
10
11
12
13 int merge ( int a , int b , int l , int r ) {
if ( ! a ) return b ;
if ( ! b ) return a ;
if ( l == r ) {
// do something...
return a ;
}
int mid = ( l + r ) >> 1 ;
tr [ a ]. l = merge ( tr [ a ]. l , tr [ b ]. l , l , mid );
tr [ a ]. r = merge ( tr [ a ]. r , tr [ b ]. r , mid + 1 , r );
pushup ( a );
return a ;
}
例题
luogu P4556 [Vani 有约会] 雨天的尾巴/【模板】线段树合并
解题思路
线段树合并模板题,用差分把树上修改转化为单点修改,然后向上 dfs 线段树合并统计答案即可。
参考代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101 #include <iostream>
#include <vector>
using namespace std ;
int n , fa [ 100005 ][ 22 ], dep [ 100005 ], rt [ 100005 ];
int sum [ 5000005 ], cnt = 0 , res [ 5000005 ], ls [ 5000005 ], rs [ 5000005 ];
int m , ans [ 100005 ];
vector < int > v [ 100005 ];
void update ( int x ) {
if ( sum [ ls [ x ]] < sum [ rs [ x ]]) {
res [ x ] = res [ rs [ x ]];
sum [ x ] = sum [ rs [ x ]];
} else {
res [ x ] = res [ ls [ x ]];
sum [ x ] = sum [ ls [ x ]];
}
}
int merge ( int a , int b , int x , int y ) {
if ( ! a ) return b ;
if ( ! b ) return a ;
if ( x == y ) {
sum [ a ] += sum [ b ];
return a ;
}
int mid = ( x + y ) >> 1 ;
ls [ a ] = merge ( ls [ a ], ls [ b ], x , mid );
rs [ a ] = merge ( rs [ a ], rs [ b ], mid + 1 , y );
update ( a );
return a ;
}
int add ( int id , int x , int y , int co , int val ) {
if ( ! id ) id = ++ cnt ;
if ( x == y ) {
sum [ id ] += val ;
res [ id ] = co ;
return id ;
}
int mid = ( x + y ) >> 1 ;
if ( co <= mid )
ls [ id ] = add ( ls [ id ], x , mid , co , val );
else
rs [ id ] = add ( rs [ id ], mid + 1 , y , co , val );
update ( id );
return id ;
}
void initlca ( int x ) {
for ( int i = 0 ; i <= 20 ; i ++ ) fa [ x ][ i + 1 ] = fa [ fa [ x ][ i ]][ i ];
for ( int i : v [ x ]) {
if ( i == fa [ x ][ 0 ]) continue ;
dep [ i ] = dep [ x ] + 1 ;
fa [ i ][ 0 ] = x ;
initlca ( i );
}
}
int lca ( int x , int y ) {
if ( dep [ x ] < dep [ y ]) swap ( x , y );
for ( int d = dep [ x ] - dep [ y ], i = 0 ; d ; d >>= 1 , i ++ )
if ( d & 1 ) x = fa [ x ][ i ];
if ( x == y ) return x ;
for ( int i = 20 ; i >= 0 ; i -- )
if ( fa [ x ][ i ] != fa [ y ][ i ]) x = fa [ x ][ i ], y = fa [ y ][ i ];
return fa [ x ][ 0 ];
}
void cacl ( int x ) {
for ( int i : v [ x ]) {
if ( i == fa [ x ][ 0 ]) continue ;
cacl ( i );
rt [ x ] = merge ( rt [ x ], rt [ i ], 1 , 100000 );
}
ans [ x ] = res [ rt [ x ]];
if ( sum [ rt [ x ]] == 0 ) ans [ x ] = 0 ;
}
int main () {
ios :: sync_with_stdio ( false );
cin >> n >> m ;
for ( int i = 0 ; i < n - 1 ; i ++ ) {
int a , b ;
cin >> a >> b ;
v [ a ]. push_back ( b );
v [ b ]. push_back ( a );
}
initlca ( 1 );
for ( int i = 0 ; i < m ; i ++ ) {
int a , b , c ;
cin >> a >> b >> c ;
rt [ a ] = add ( rt [ a ], 1 , 100000 , c , 1 );
rt [ b ] = add ( rt [ b ], 1 , 100000 , c , 1 );
int t = lca ( a , b );
rt [ t ] = add ( rt [ t ], 1 , 100000 , c , -1 );
rt [ fa [ t ][ 0 ]] = add ( rt [ fa [ t ][ 0 ]], 1 , 100000 , c , -1 );
}
cacl ( 1 );
for ( int i = 1 ; i <= n ; i ++ ) cout << ans [ i ] << endl ;
return 0 ;
}
线段树分裂
过程
线段树分裂实质上是线段树合并的逆过程。线段树分裂只适用于有序的序列,无序的序列是没有意义的,常用在动态开点的权值线段树。
注意当分裂和合并都存在时,我们在合并的时候必须回收节点,以避免分裂时会可能出现节点重复占用的问题。
从一颗区间为 的线段树中分裂出 ,建一颗新的树:
从 1 号结点开始递归分裂,当节点不存在或者代表的区间 与 没有交集时直接回溯。
当 与 有交集时需要开一个新结点。
当 包含于 时,需要将当前结点直接接到新的树下面,并把旧边断开。
线段树分裂的复杂度
可以发现被断开的边最多只会有 条,所以最终每次分裂的时间复杂度就是 ,相当于区间查询的复杂度。
实现
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15 void split ( int & p , int & q , int s , int t , int l , int r ) {
if ( t < l || r < s ) return ;
if ( ! p ) return ;
if ( l <= s && t <= r ) {
q = p ;
p = 0 ;
return ;
}
if ( ! q ) q = New ();
int m = s + t >> 1 ;
if ( l <= m ) split ( ls [ p ], ls [ q ], s , m , l , r );
if ( m < r ) split ( rs [ p ], rs [ q ], m + 1 , t , l , r );
push_up ( p );
push_up ( q );
}
例题
P5494【模板】线段树分裂
解题思路
线段树分裂模板题,将 分裂出来。
将 树合并入 树:单次合并即可。
树中插入 个 :单点修改。
查询 中数的个数:区间求和。
查询第 小。
参考代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131 #include <iostream>
using namespace std ;
constexpr int N = 2e5 + 10 ;
int n , m ;
int idx = 1 ;
long long sum [ N << 5 ];
int ls [ N << 5 ], rs [ N << 5 ], root [ N << 2 ], rub [ N << 5 ], cnt , tot ;
// 内存分配与回收
int New () { return cnt ? rub [ cnt -- ] : ++ tot ; }
void Del ( int & p ) {
ls [ p ] = rs [ p ] = sum [ p ] = 0 ;
rub [ ++ cnt ] = p ;
p = 0 ;
}
void push_up ( int p ) { sum [ p ] = sum [ ls [ p ]] + sum [ rs [ p ]]; }
void build ( int s , int t , int & p ) {
if ( ! p ) p = New ();
if ( s == t ) {
cin >> sum [ p ];
return ;
}
int m = ( s + t ) >> 1 ;
build ( s , m , ls [ p ]);
build ( m + 1 , t , rs [ p ]);
push_up ( p );
}
// 单点修改
void update ( int x , int c , int s , int t , int & p ) {
if ( ! p ) p = New ();
if ( s == t ) {
sum [ p ] += c ;
return ;
}
int m = ( s + t ) >> 1 ;
if ( x <= m )
update ( x , c , s , m , ls [ p ]);
else
update ( x , c , m + 1 , t , rs [ p ]);
push_up ( p );
}
// 合并
int merge ( int p , int q , int s , int t ) {
if ( ! p || ! q ) return p + q ;
if ( s == t ) {
sum [ p ] += sum [ q ];
Del ( q );
return p ;
}
int m = ( s + t ) >> 1 ;
ls [ p ] = merge ( ls [ p ], ls [ q ], s , m );
rs [ p ] = merge ( rs [ p ], rs [ q ], m + 1 , t );
push_up ( p );
Del ( q );
return p ;
}
// 分裂
void split ( int & p , int & q , int s , int t , int l , int r ) {
if ( t < l || r < s ) return ;
if ( ! p ) return ;
if ( l <= s && t <= r ) {
q = p ;
p = 0 ;
return ;
}
if ( ! q ) q = New ();
int m = ( s + t ) >> 1 ;
if ( l <= m ) split ( ls [ p ], ls [ q ], s , m , l , r );
if ( m < r ) split ( rs [ p ], rs [ q ], m + 1 , t , l , r );
push_up ( p );
push_up ( q );
}
long long query ( int l , int r , int s , int t , int p ) {
if ( ! p ) return 0 ;
if ( l <= s && t <= r ) return sum [ p ];
int m = ( s + t ) >> 1 ;
long long ans = 0 ;
if ( l <= m ) ans += query ( l , r , s , m , ls [ p ]);
if ( m < r ) ans += query ( l , r , m + 1 , t , rs [ p ]);
return ans ;
}
int kth ( int s , int t , int k , int p ) {
if ( s == t ) return s ;
int m = ( s + t ) >> 1 ;
long long left = sum [ ls [ p ]];
if ( k <= left )
return kth ( s , m , k , ls [ p ]);
else
return kth ( m + 1 , t , k - left , rs [ p ]);
}
int main () {
cin >> n >> m ;
build ( 1 , n , root [ 1 ]);
while ( m -- ) {
int op ;
cin >> op ;
if ( ! op ) {
int p , x , y ;
cin >> p >> x >> y ;
split ( root [ p ], root [ ++ idx ], 1 , n , x , y );
} else if ( op == 1 ) {
int p , t ;
cin >> p >> t ;
root [ p ] = merge ( root [ p ], root [ t ], 1 , n );
} else if ( op == 2 ) {
int p , x , q ;
cin >> p >> x >> q ;
update ( q , x , 1 , n , root [ p ]);
} else if ( op == 3 ) {
int p , x , y ;
cin >> p >> x >> y ;
cout << query ( x , y , 1 , n , root [ p ]) << endl ;
} else {
int p , k ;
cin >> p >> k ;
if ( sum [ root [ p ]] < k )
cout << -1 << endl ;
else
cout << kth ( 1 , n , k , root [ p ]) << endl ;
}
}
}
线段树优化建图
在建图连边的过程中,我们有时会碰到这种题目,一个点向一段连续的区间中的点连边或者一个连续的区间向一个点连边,如果我们真的一条一条连过去,那一旦点的数量多了复杂度就爆炸了,这里就需要用线段树的区间性质来优化我们的建图了。
下面是一个线段树。
每个节点都代表了一个区间,假设我们要向区间 连边。
在一些题目中,还会出现一个区间连向一个点的情况,则我们将上面第一张图的有向边全部反过来即可,上面的树叫做入树,下面这个叫做出树。
Legacy
题目大意:有 个点、 次操作。每一种操作为以下三种类型中的一种:
操作一:连一条 的有向边,权值为 。
操作二:对于所有 连一条 的有向边,权值为 。
操作三:对于所有 连一条 的有向边,权值为 。
求从点 到其他点的最短路。
。
参考代码
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144 #include <bitset>
#include <iostream>
#include <queue>
#include <vector>
using namespace std ;
using ll = long long ;
constexpr int N = 1e5 + 5 ;
using pil = pair < int , ll > ;
using pli = pair < ll , int > ;
int n , q , s , tot , rt1 , rt2 ;
int pos [ N ];
ll dis [ N << 3 ];
vector < pil > e [ N << 3 ];
bitset < ( N << 3 ) > vis ;
struct seg {
int l , r , lson , rson ;
} t [ N << 3 ];
int ls ( int u ) { // 左儿子
return t [ u ]. lson ;
}
int rs ( int u ) { // 右儿子
return t [ u ]. rson ;
}
void build ( int & u , int l , int r ) { // 动态开点建造入树
u = ++ tot ;
t [ u ] = seg { l , r };
if ( l == r ) {
pos [ l ] = u ;
return ;
}
int mid = ( l + r ) >> 1 ;
build ( t [ u ]. lson , l , mid );
build ( t [ u ]. rson , mid + 1 , r );
e [ u ]. emplace_back ( ls ( u ), 0 );
e [ u ]. emplace_back ( rs ( u ), 0 );
}
void build2 ( int & u , int l , int r ) { // 动态开点建造出树
if ( l == r ) {
u = pos [ l ];
return ;
}
u = ++ tot ;
t [ u ] = seg { l , r };
int mid = ( l + r ) >> 1 ;
build2 ( t [ u ]. lson , l , mid );
build2 ( t [ u ]. rson , mid + 1 , r );
e [ ls ( u )]. emplace_back ( u , 0 );
e [ rs ( u )]. emplace_back ( u , 0 );
}
void add1 ( int u , int lr , int rr , int v , ll w ) { // 点向区间连边
if ( lr <= t [ u ]. l && t [ u ]. r <= rr ) {
e [ v ]. emplace_back ( u , w );
return ;
}
int mid = ( t [ u ]. l + t [ u ]. r ) >> 1 ;
if ( lr <= mid ) {
add1 ( ls ( u ), lr , rr , v , w );
}
if ( rr > mid ) {
add1 ( rs ( u ), lr , rr , v , w );
}
}
void add2 ( int u , int lr , int rr , int v , ll w ) { // 区间向点连边
if ( lr <= t [ u ]. l && t [ u ]. r <= rr ) {
e [ u ]. emplace_back ( v , w );
return ;
}
int mid = ( t [ u ]. l + t [ u ]. r ) >> 1 ;
if ( lr <= mid ) {
add2 ( ls ( u ), lr , rr , v , w );
}
if ( rr > mid ) {
add2 ( rs ( u ), lr , rr , v , w );
}
}
void dij ( int S ) {
priority_queue < pli , vector < pli > , greater < pli >> q ;
int tot = ( n << 2 );
for ( int i = 1 ; i <= tot ; ++ i ) {
dis [ i ] = 1e18 ;
}
dis [ S ] = 0 ;
q . emplace ( dis [ S ], S );
while ( ! q . empty ()) {
pli fr = q . top ();
q . pop ();
int u = fr . second ;
if ( vis [ u ]) continue ;
for ( pil it : e [ u ]) {
int v = it . first ;
ll w = it . second ;
if ( dis [ v ] > dis [ u ] + w ) {
dis [ v ] = dis [ u ] + w ;
q . emplace ( dis [ v ], v );
}
}
}
}
int main () {
cin . tie ( nullptr ) -> sync_with_stdio ( false );
cin >> n >> q >> s ;
build ( rt1 , 1 , n );
build2 ( rt2 , 1 , n );
for ( int i = 1 , op , u ; i <= q ; ++ i ) {
cin >> op >> u ;
if ( op == 1 ) {
int v ;
ll w ;
cin >> v >> w ;
e [ pos [ u ]]. emplace_back ( pos [ v ], w );
} else if ( op == 2 ) {
int l , r ;
ll w ;
cin >> l >> r >> w ;
add1 ( rt1 , l , r , pos [ u ], w );
} else {
int l , r ;
ll w ;
cin >> l >> r >> w ;
add2 ( rt2 , l , r , pos [ u ], w );
}
}
dij ( pos [ s ]);
for ( int i = 1 ; i <= n ; ++ i ) {
if ( dis [ pos [ i ]] == 1e18 ) {
cout << "-1 " ;
} else {
cout << dis [ pos [ i ]] << ' ' ;
}
}
return 0 ;
}
拓展 - 猫树
众所周知线段树可以支持高速查询某一段区间的信息和,比如区间最大子段和,区间和,区间矩阵的连乘积等等。
但是有一个问题在于普通线段树的区间询问在某些毒瘤的眼里可能还是有些慢了。
简单来说就是线段树建树的时候需要做 次合并操作,而每一次区间询问需要做 次合并操作,询问区间和这种东西的时候还可以忍受,但是当我们需要询问区间线性基这种合并复杂度高达 的信息的话,此时就算是做 次合并有些时候在时间上也是不可接受的。
而所谓「猫树」就是一种不支持修改,仅仅支持快速区间询问的一种静态线段树。
构造一棵这样的静态线段树需要 次合并操作,但是此时的查询复杂度被加速至 次合并操作。
在处理线性基这样特殊的信息的时候甚至可以将复杂度降至 。
原理
在查询 这段区间的信息和的时候,将线段树树上代表 的节点和代表 这段区间的节点在线段树上的 LCA 求出来,设这个节点 代表的区间为 ,我们会发现一些非常有趣的性质:
这个区间一定包含 。显然,因为它既是 的祖先又是 的祖先。
这个区间一定跨越 的中点。由于 是 和 的 LCA,这意味着 的左儿子是 的祖先而不是 的祖先, 的右儿子是 的祖先而不是 的祖先。因此, 一定在 这个区间内, 一定在 这个区间内。
有了这两个性质,我们就可以将询问的复杂度降至 了。
实现
具体来讲我们建树的时候对于线段树树上的一个节点,设它代表的区间为 。
不同于传统线段树在这个节点里只保留 的和,我们在这个节点里面额外保存 的后缀和数组和 的前缀和数组。
这样的话建树的复杂度为 同理空间复杂度也从原来的 变成了 。
下面是最关键的询问了。
如果我们询问的区间是 那么我们把代表 的节点和代表 的节点的 LCA 求出来,记为 。
根据刚才的两个性质, 在 所包含的区间之内并且一定跨越了 的中点。
这意味这一个非常关键的事实是我们可以使用 里面的前缀和数组和后缀和数组,将 拆成 从而拼出来 这个区间。
而这个过程仅仅需要 次合并操作!
不过我们好像忽略了点什么?
似乎求 LCA 的复杂度似乎还不是 ,暴力求是 的,倍增法则是 的,转 ST 表的代价又太大……
堆式建树
具体来将我们将这个序列补成 的整次幂,然后建线段树。
此时我们发现线段树上两个节点的 LCA 编号,就是两个节点二进制编号的最长公共前缀 LCP。
稍作思考即可发现发现在 和 的二进制下 lcp(x,y)=x>>log[x^y]
。
所以我们预处理一个 log
数组即可轻松完成求 LCA 的工作。
这样我们就构建了一个猫树。
由于建树的时候涉及到求前缀和和求后缀和,所以对于线性基这种虽然合并是 但是求前缀和却是 的信息,使用猫树可以将静态区间线性基从 优化至 的复杂度。
参考
immortalCO 的博客
[Kle77] V. Klee, "Can the Measure of be Computed in Less than O (n log n) Steps?," Am. Math. Mon., vol. 84, no. 4, pp. 284–285, Apr. 1977.
[BeW80] Bentley and Wood, "An Optimal Worst Case Algorithm for Reporting Intersections of Rectangles," IEEE Trans. Comput., vol. C–29, no. 7, pp. 571–577, Jul. 1980.
本页面最近更新:2024/10/9 22:38:42 ,更新历史
发现错误?想一起完善? 在 GitHub 上编辑此页!
本页面贡献者:ChungZH , billchenchina , Chrogeek , Early0v0 , ethan-enhe , HeRaNO , hsfzLZH1 , iamtwz , Ir1d , konnyakuxzy , luoguojie , Marcythm , orzAtalod , StudyingFather , wy-luke , Xeonacid , CCXXXI , chenzheAya , CJSoft , cjsoft , countercurrent-time , DawnMagnet , Enter-tainer , fafafa114 , GavinZhengOI , Haohu Shen , Henry-ZHR , hjsjhn , hly1204 , jaxvanyang , Jebearssica , kenlig , ksyx , megakite , Menci , moon-dim , NachtgeistW , onelittlechildawa , ouuan , shadowice1984 , shawlleyw , shuzhouliu , SukkaW , Tiphereth-A , x2e6 , Ycrpro , yifan0305 , zeningc
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供,附加条款亦可能应用