『算法-ACM竞赛-数据结构』信息竞赛进阶指南-线段树

『算法-ACM 竞赛-数据结构』信息竞赛进阶指南-线段树

我们主要是讲代码实现,不是讲基本原理!

什么是线段树?

线段树是一种二叉搜索树,与区间树相似,它将一个区间划分成一些单元区间,每个单元区间对应线段树中的一个叶结点。
使用线段树可以快速的查找某一个节点在若干条线段中出现的次数,时间复杂度为 O(logN)。而未优化的空间复杂度为 2N,实际应用时一般还要开 4N 的数组以免越界,因此有时需要离散化让空间压缩。

定义

线段树是一种二叉搜索树,与区间树相似,它将一个区间划分成一些单元区间,每个单元区间对应线段树中的一个叶结点。 [1]
对于线段树中的每一个非叶子节点[a,b],它的左儿子表示的区间为[a,(a+b)/2],右儿子表示的区间为[(a+b)/2+1,b]。因此线段树是平衡二叉树,最后的子节点数目为 N,即整个线段区间的长度。
使用线段树可以快速的查找某一个节点在若干条线段中出现的次数,时间复杂度为 O(logN)。而未优化的空间复杂度为 2N,因此有时需要离散化让空间压缩

线段树的适用范围:

线段树的适用范围很广,可以在线维护修改以及查询区间上的最值,求和。更可以扩充到二维线段树(矩阵树)和三维线段树(空间树)。对于一维线段树来说,每次更新以及查询的时间复杂度为 O(logN)。

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
//模板是用李煜东的
struct SegmentTree {
int l, r;
int dat;
} t[SIZE * 4]; // struct数组存储线段树

void build(int p, int l, int r) {
t[p].l = l, t[p].r = r; // 节点p代表区间[l,r]
if (l == r) { t[p].dat = a[l]; return; } // 叶节点
int mid = (l + r) / 2; // 折半
build(p*2, l, mid); // 左子节点[l,mid],编号p*2
build(p*2+1, mid+1, r); // 右子节点[mid+1,r],编号p*2+1
t[p].dat = max(t[p*2].dat, t[p*2+1].dat); // 从下往上传递信息
}

build(1, 1, n); // 调用入口

void change(int p, int x, int v) {
if (t[p].l == t[p].r) { t[p].dat = v; return; } // 找到叶节点
int mid = (t[p].l + t[p].r) / 2;
if (x <= mid) change(p*2, x, v); // x属于左半区间
else change(p*2+1, x, v); // x属于右半区间
t[p].dat = max(t[p*2].dat, t[p*2+1].dat); // 从下往上更新信息
}

change(1, x, v); // 调用入口

int ask(int p, int l, int r) {
if (l <= t[p].l && r >= t[p].r) return t[p].dat; // 完全包含,直接返回
int mid = (t[p].l + t[p].r) / 2;
int val = 0;
if (l <= mid) val = max(val, ask(p*2, l, r)); // 左子节点有重叠
if (r > mid) val = max(val, ask(p*2+1, l, r)); // 右子节点有重叠
return val;
}

cout << ask(1, l, r) << endl; // 调用入口

// 动态开点的线段树
struct SegmentTree {
int lc, rc; // 左右子节点的编号
int dat;
} tr[SIZE * 2];
int root, tot;

int build() { // 新建一个节点
tot++;
tr[tot].lc = tr[tot].rc = tr[tot].dat = 0;
return tot;
}

// 在main函数中
tot = 0;
root = build(); // 根节点

// 单点修改,在val位置加delta,维护区间最大值
void insert(int p, int l, int r, int val, int delta) {
if (l == r) {
tr[p].dat += delta;
return;
}
int mid = (l + r) >> 1; // 代表的区间[l,r]作为递归参数传递
if (val <= mid) {
if (!tr[p].lc) tr[p].lc = build(); // 左子树不存在,动态开点
insert(tr[p].lc, l, mid, val, delta);
}
else {
if (!tr[p].rc) tr[p].rc = build(); // 右子树不存在,动态开点
insert(tr[p].rc, mid + 1, r, val, delta);
}
tr[p].dat = max(tr[tr[p].lc].dat, tr[tr[p].rc].dat);
}

// 调用
insert(root, 1, n, val, delta);

// 合并两棵线段树
int merge(int p, int q, int l, int r) {
if (!p) return q; // p,q之一为空
if (!q) return p;
if (l == r) { // 到达叶子
tr[p].dat += tr[q].dat;
return p;
}
int mid = (l + r) >> 1;
tr[p].lc = merge(tr[p].lc, tr[q].lc, l, mid); // 递归合并左子树
tr[p].rc = merge(tr[p].rc, tr[q].rc, mid + 1, r); // 递归合并右子树
tr[p].dat = max(tr[tr[p].lc].dat, tr[tr[p].rc].dat); // 更新最值
return p; // 以p为合并后的节点,相当于删除q
}

『算法-ACM竞赛-数据结构』信息竞赛进阶指南-线段树
https://chiamzhang.github.io/2024/06/29/『算法-ACM竞赛-数据结构』信息竞赛进阶指南-线段树/
Author
Chiam
Posted on
June 29, 2024
Licensed under