概念
线段树是一种二叉树形数据结构,1977年由Jon Louis Bentley \text{Jon Louis Bentley} Jon Louis Bentley 发明,用以存储区间或线段,并且允许快速查询结构内包含某一点的所有区间。
一个包含n {\displaystyle n} n 个区间的线段树,空间复杂度为O ( n ) {\displaystyle O(n)} O ( n ) ,查询的时间复杂度则为O ( log n + k ) {\displaystyle O(\log n+k)} O ( log n + k ) ,其中k {\displaystyle k} k 是符合条件的区间数量。
此数据结构亦可推广到高维度。
(来源:WikiPedia )
用途
一般来说,在线段树内进行单词查询和更新的时间复杂度为O ( log n ) O(\log n) O ( log n ) 。主要可以实现单点更新、区间更新、区间查询、单点查询等操作,求解一系列区间问题(区间求和,求区间最大值,求区间最小值……)。
线段树的结构
上图是一棵表示区间[ 1 , 20 ] [1,20] [ 1 , 20 ] 的线段树。
可以看到,线段树将每个长度不为1 1 1 的区间划分成左右两个区间递归求解,把整个线段划分为一个树形结构,通过合并左右两区间信息来求得该区间的信息,因此,线段树所储存的信息应当都满足结合律。这种数据结构可以方便地进行大部分的区间操作。建树、修改、查询都可以从根节点向下分别访问左右子树,在O ( log n ) O(\log n) O ( log n ) 内完成操作。
单点更新 区间查询
更新
从根节点开始向下递归,找到叶子节点,然后自底向下更新。
查询
自顶向上查询对应区间。
模板
HDU 1116 敌兵布阵
Problem Description
C国的死对头A国这段时间正在进行军事演习,所以C国间谍头子Derek和他手下Tidy又开始忙乎了。A国在海岸线沿直线布置了N N N 个工兵营地,Derek和Tidy的任务就是要监视这些工兵营地的活动情况。由于采取了某种先进的监测手段,所以每个工兵营地的人数C国都掌握的一清二楚,每个工兵营地的人数都有可能发生变动,可能增加或减少若干人手,但这些都逃不过C国的监视。
中央情报局要研究敌人究竟演习什么战术,所以Tidy要随时向Derek汇报某一段连续的工兵营地一共有多少人,例如Derek问:“Tidy,马上汇报第3 3 3 个营地到第10 10 10 个营地共有多少人!”Tidy就要马上开始计算这一段的总人数并汇报。但敌兵营地的人数经常变动,而Derek每次询问的段都不一样,所以Tidy不得不每次都一个一个营地的去数,很快就精疲力尽了,Derek对Tidy的计算速度越来越不满:"你个死肥仔,算得这么慢,我炒你鱿鱼!”Tidy想:“你自己来算算看,这可真是一项累人的工作!我恨不得你炒我鱿鱼呢!”无奈之下,Tidy只好打电话向计算机专家Windbreaker求救,Windbreaker说:“死肥仔,叫你平时做多点acm题和看多点算法书,现在尝到苦果了吧!”Tidy说:"我知错了。"但Windbreaker已经挂掉电话了。Tidy很苦恼,这么算他真的会崩溃的,聪明的读者,你能写个程序帮他完成这项工作吗?不过如果你的程序效率不够高的话,Tidy还是会受到Derek的责骂的。
第一行一个整数T T T ,表示有T T T 组数据。
每组数据第一行一个正整数N N N ( N ≤ 50000 ) (N\le 50000) ( N ≤ 50000 ) ,表示敌人有N N N 个工兵营地,接下来有N N N 个正整数,第i i i 个正整数a i a_i a i 代表第i i i 个工兵营地里开始时有a i a_i a i 个人( 1 ≤ a i ≤ 50 ) (1\le a_i\le 50) ( 1 ≤ a i ≤ 50 ) 。
接下来每行有一条命令,命令有4 4 4 种形式:
(1)Add \text{Add} Add i i i j j j ,i i i 和j j j 为正整数,表示第i i i 个营地增加j j j 个人(j j j 不超过30 30 30 );
(2)Sub \text{Sub} Sub i i i j j j ,i i i 和j j j 为正整数,表示第i i i 个营地减少j j j 个人(j j j 不超过30 30 30 );
(3)Query \text{Query} Query i i i j j j ,i i i 和j j j 为正整数,i ≤ j i\le j i ≤ j ,表示询问第i i i 到第j j j 个营地的总人数;
(4)End \text{End} End 表示结束,这条命令在每组数据最后出现;
每组数据最多有40000 40000 40000 条命令
Output
对第i i i 组数据,首先输出“Case i:”和回车,
对于每个Query \text{Query} Query 询问,输出一个整数并回车,表示询问的段中的总人数,这个数保持在int以内。
1
10
1 2 3 4 5 6 7 8 9 10
Query 1 3
Add 3 6
Query 2 7
Sub 10 2
Add 6 3
Query 3 10
End
Sample Output
Case 1:
6
33
59
分析
板子题。
代码
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 #include <iostream> #include <string> #include <cstdio> #define N 50004 using namespace std;struct segment { int l,r; int val; }tree[N<<2 ]; int n;string opt; int a[N];void pushup (int id) { tree[id].val=tree[id<<1 |1 ].val+tree[id<<1 ].val; } void build (int id,int l,int r) { tree[id].l=l; tree[id].r=r; if (l==r) { tree[id].val=a[l]; return ; } int mid=l+r>>1 ; build (id<<1 ,l,mid); build (id<<1 |1 ,mid+1 ,r); pushup (id); } int query (int id,int l,int r) { if (l<=tree[id].l&&tree[id].r<=r) return tree[id].val; int mid=tree[id].l+tree[id].r>>1 ; int res=0 ; if (l<=mid) res+=query (id<<1 ,l,r); if (r>=mid+1 ) res+=query (id<<1 |1 ,l,r); return res; } void update (int id,int x,int v) { if (tree[id].l==x&&tree[id].r==x) { tree[id].val+=v; return ; } int mid=tree[id].l+tree[id].r>>1 ; if (x<=mid) update (id<<1 ,x,v); else update (id<<1 |1 ,x,v); pushup (id); } void solve () { cin>>n; int i; for (i=1 ;i<=n;i++) cin>>a[i]; build (1 ,1 ,n); while (cin>>opt) { if (opt=="End" ) break ; if (opt=="Sub" ) { int x,v; scanf ("%d%d" ,&x,&v); update (1 ,x,-v); } else if (opt=="Add" ) { int x,v; scanf ("%d%d" ,&x,&v); update (1 ,x,v); } else { int l,r; scanf ("%d%d" ,&l,&r); printf ("%d\n" ,query (1 ,l,r)); } } } int main () { int t; int times=0 ; cin>>t; while (++times<=t) { printf ("Case %d:\n" ,times); solve (); } }
区间更新 区间查询
lazy \text{lazy} lazy 标记
lazy \text{lazy} lazy 标记的精髓就是打标记和下传操作,当我们要进行区间修改时,如果暴力对区间中每一个点进行单点更新,时间复杂度必然会很大,所以我们不妨在区间进行修改时为该区间打上一个标记,就不必再修改他的儿子所维护区间,等到要使用该节点的儿子节点维护的值时,再将lazy \text{lazy} lazy 标记下放即可。
对于每次区间更新和查询,将标记下传,时间复杂度仍然维持O ( log n ) O(\log n) O ( log n ) 。
难点就在于lazy \text {lazy} lazy 标记的形式。
更新
考虑将一个区间加上一个数,我们可以从根节点不断向下查找,当发现我们要更新的区间覆盖了当前节点时,我们就把这个区间给更新,并打上lazy \text{lazy} lazy 标记(由于lazy \text{lazy} lazy 标记存在,我们就不必再修改儿子节点),否则下传lazy \text{lazy} lazy 标记,继续向下找。
查询
考虑询问一个区间的和,依旧是从根节点向下查找,当发现该节点被覆盖时,就返回维护的值,否则下传lazy \text{lazy} lazy 标记,查询左右儿子,累加答案。
模板
洛谷 P3372 【模板】线段树 1
题目描述
如题,已知一个数列,你需要进行下面两种操作:
将某区间每一个数加上 k k k 。
求出某区间每一个数的和。
输入格式
第一行包含两个整数 n , m n, m n , m ,分别表示该数列数字的个数和操作的总个数。
第二行包含 n n n 个用空格分隔的整数,其中第 i i i 个数字表示数列第 i i i 项的初始值。
接下来 m m m 行每行包含 3 3 3 或 4 4 4 个整数,表示一个操作,具体如下:
1 x y k
:将区间 [ x , y ] [x, y] [ x , y ] 内每个数加上 k k k 。
2 x y
:输出区间 [ x , y ] [x, y] [ x , y ] 内每个数的和。
输出格式
输出包含若干行整数,即为所有操作 2 2 2 的结果。
输入输出样例
输入 #1
5 5
1 5 4 2 3
2 2 4
1 2 3 2
2 3 4
1 1 5 1
2 1 4
输出 #1
11
8
20
说明/提示
对于 30 % 30\% 30% 的数据:n ≤ 8 n \le 8 n ≤ 8 ,m ≤ 10 m \le 10 m ≤ 10 。
对于 70 % 70\% 70% 的数据:n ≤ 10 3 n \le {10}^3 n ≤ 10 3 ,m ≤ 10 4 m \le {10}^4 m ≤ 10 4 。
对于 100 % 100\% 100% 的数据:1 ≤ n , m ≤ 10 5 1 \le n, m \le {10}^5 1 ≤ n , m ≤ 10 5 。
保证任意时刻数列中任意元素的和在 [ − 2 63 , 2 63 ) [-2^{63}, 2^{63}) [ − 2 63 , 2 63 ) 内。
分析
每次会在某个区间上加上k k k ,查询的是区间和。
对某个区间进行修改时,该区间的lazy \text{lazy} lazy 标记应该叠加上k k k ,该区间的值是区间的长度乘上lazy \text{lazy} lazy 标记。
代码
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 #include <iostream> #define ll long long #define N 100004 using namespace std;ll a[N]; int n,m;struct segment { int l,r; ll val; ll lazy; }tree[N<<2 ]; void pushup (int id) { tree[id].val=tree[id<<1 ].val+tree[id<<1 |1 ].val; } void build (int id,int l,int r) { tree[id].l=l; tree[id].r=r; if (l==r) { tree[id].val=a[l]; tree[id].lazy=0 ; return ; } int mid=l+r>>1 ; build (id<<1 ,l,mid); build (id<<1 |1 ,mid+1 ,r); pushup (id); } void pushdown (int id) { if (tree[id].lazy) { tree[id<<1 ].val+=tree[id].lazy*(tree[id<<1 ].r-tree[id<<1 ].l+1 ); tree[id<<1 |1 ].val+=tree[id].lazy*(tree[id<<1 |1 ].r-tree[id<<1 |1 ].l+1 ); tree[id<<1 ].lazy+=tree[id].lazy; tree[id<<1 |1 ].lazy+=tree[id].lazy; tree[id].lazy=0 ; } } void update (int id,int l,int r,int v) { if (l<=tree[id].l&&tree[id].r<=r) { tree[id].val+=(ll)v*(tree[id].r-tree[id].l+1 ); tree[id].lazy+=v; return ; } pushdown (id); int mid=tree[id].l+tree[id].r>>1 ; if (l<=mid) update (id<<1 ,l,r,v); if (r>=mid+1 ) update (id<<1 |1 ,l,r,v); pushup (id); } ll query (int id,int l,int r) { if (l<=tree[id].l&&tree[id].r<=r) return tree[id].val; pushdown (id); int mid=tree[id].l+tree[id].r>>1 ; ll res=0 ; if (l<=mid) res+=query (id<<1 ,l,r); if (r>=mid+1 ) res+=query (id<<1 |1 ,l,r); return res; } void solve () { cin>>n>>m; int i; for (i=1 ;i<=n;i++) cin>>a[i]; build (1 ,1 ,n); while (m--) { short opt; cin>>opt; int l,r; if (opt==1 ) { int v; cin>>l>>r>>v; update (1 ,l,r,v); } else { cin>>l>>r; cout<<query (1 ,l,r)<<endl; } } } int main () { solve (); return 0 ; }
HDU 1698
Problem Description
In the game of DotA, Pudge’s meat hook is actually the most horrible thing for most of the heroes. The hook is made up of several consecutive metallic sticks which are of the same length.
Now Pudge wants to do some operations on the hook.
Let us number the consecutive metallic sticks of the hook from 1 1 1 to N N N . For each operation, Pudge can change the consecutive metallic sticks, numbered from X X X to Y Y Y , into cupreous sticks, silver sticks or golden sticks.
The total value of the hook is calculated as the sum of values of N N N metallic sticks. More precisely, the value for each kind of stick is calculated as follows:
For each cupreous stick, the value is 1 1 1 .
For each silver stick, the value is 2 2 2 .
For each golden stick, the value is 3 3 3 .
Pudge wants to know the total value of the hook after performing the operations.
You may consider the original hook is made up of cupreous sticks.
The input consists of several test cases. The first line of the input is the number of the cases. There are no more than 10 10 10 cases.
For each case, the first line contains an integer N N N , 1 ≤ N ≤ 100000 1\le N\le 100000 1 ≤ N ≤ 100000 , which is the number of the sticks of Pudge’s meat hook and the second line contains an integer Q Q Q , 0 ≤ Q ≤ 100000 0\le Q\le100000 0 ≤ Q ≤ 100000 , which is the number of the operations.
Next Q Q Q lines, each line contains three integers X X X , Y Y Y , 1 ≤ X ≤ Y ≤ N 1\le X\le Y\le N 1 ≤ X ≤ Y ≤ N , Z Z Z , 1 ≤ Z ≤ 3 1\le Z\le 3 1 ≤ Z ≤ 3 , which defines an operation: change the sticks numbered from X X X to Y Y Y into the metal kind Z Z Z , where Z = 1 Z=1 Z = 1 represents the cupreous kind, Z = 2 Z=2 Z = 2 represents the silver kind and Z = 3 Z=3 Z = 3 represents the golden kind.
Output
For each case, print a number in a line representing the total value of the hook after the operations. Use the format in the example.
1
10
2
1 5 2
5 9 3
Sample Output
Case 1: The total value of the hook is 24.
Translation
给n n n 根棒子,初始所有都为铜棒(价值为1 1 1 )。每次操作将区间[ x , y ] [x,y] [ x , y ] 内的改成铜棒、银棒或金棒,价值分别为1 , 2 , 3 1,2,3 1 , 2 , 3 。
所有操作完成后输出所有棒的价值和。
Idea
用线段树维护区间和。
对某个区间进行修改时,该区间的lazy \text{lazy} lazy 标记应该直接覆盖上z z z ,该区间的值是区间的长度乘上lazy \text{lazy} lazy 标记。
Code
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 #include <iostream> #include <cstdio> #include <cstring> #define N 100004 using namespace std;int n,q;struct segment { int l,r; int val; int lazy; }tree[N<<2 ]; void pushup (int id) { tree[id].val=tree[id<<1 ].val+tree[id<<1 |1 ].val; } void build (int id,int l,int r) { tree[id].l=l; tree[id].r=r; if (l==r) { tree[id].val=1 ; tree[id].lazy=0 ; return ; } int mid=l+r>>1 ; build (id<<1 ,l,mid); build (id<<1 |1 ,mid+1 ,r); pushup (id); } void pushdown (int id) { if (tree[id].lazy) { tree[id<<1 ].val=tree[id].lazy*(tree[id<<1 ].r-tree[id<<1 ].l+1 ); tree[id<<1 |1 ].val=tree[id].lazy*(tree[id<<1 |1 ].r-tree[id<<1 |1 ].l+1 ); tree[id<<1 ].lazy=tree[id].lazy; tree[id<<1 |1 ].lazy=tree[id].lazy; tree[id].lazy=0 ; } } void update (int id,int l,int r,int v) { if (l<=tree[id].l&&tree[id].r<=r) { tree[id].val=v*(tree[id].r-tree[id].l+1 ); tree[id].lazy=v; return ; } pushdown (id); int mid=tree[id].l+tree[id].r>>1 ; if (l<=mid) update (id<<1 ,l,r,v); if (r>=mid+1 ) update (id<<1 |1 ,l,r,v); pushup (id); } int query (int id,int l,int r) { if (l<=tree[id].l&&tree[id].r<=r) return tree[id].val; pushdown (id); int mid=tree[id].l+tree[id].r>>1 ; int res=0 ; if (l<=mid) res+=query (id<<1 ,l,r); if (r>=mid+1 ) res+=query (id<<1 |1 ,l,r); return res; } int solve () { memset (tree,0 ,sizeof (tree)); cin>>n>>q; int i; build (1 ,1 ,n); while (q--) { int x,y,z; cin>>x>>y>>z; update (1 ,x,y,z); } return query (1 ,1 ,n); } int main () { int t; cin>>t; int times=0 ; while (++times<=t) printf ("Case %d: The total value of the hook is %d.\n" ,times,solve ()); return 0 ; }