-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtypical_segment_tree.hpp
171 lines (166 loc) · 5.09 KB
/
typical_segment_tree.hpp
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
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
#include "mrpython/bits.hpp"
#include "mrpython/utility.hpp"
#ifndef MP_LIBRARY_SEGMENT_TREE_HPP
#define MP_LIBRARY_SEGMENT_TREE_HPP
#include <algorithm>
#include <functional>
#include <vector>
namespace mrpython {
using std::size_t;
/**
* 一颗 无标记线段树 模板。
* @tparam T 元素类型
* @tparam MergeFunction 合并运算函数
*/
template <typename T, typename MergeFunction> class typical_segment_tree {
std::vector<T> data;
std::vector<size_t> size;
size_t n;
MergeFunction merge;
void build(void) {
data.reserve(2 * n - 1), size.reserve(2 * n - 1);
for (size_t i = n; i < 2 * n - 1; ++i) {
size_t d = 2 * n - 1 - i;
size_t l = d * 2, r = d * 2 + 1;
data.emplace_back(merge(data[2 * n - 1 - l], data[2 * n - 1 - r]));
size.emplace_back(size[2 * n - 1 - l] + size[2 * n - 1 - r]);
}
std::reverse(data.begin(), data.end());
std::reverse(size.begin(), size.end());
}
template <typename Operate>
void set_impl(size_t c, Operate const& operate, size_t pos) {
if (size[pos] == 1) {
data[pos] = operate((T const&)data[pos]);
return;
}
size_t m = size[pos * 2 + 1];
if (c < m)
set_impl(c, operate, pos * 2 + 1);
else
set_impl(c - m, operate, pos * 2 + 2);
data[pos] = merge(data[pos * 2 + 1], data[pos * 2 + 2]);
}
T get_impl(size_t l, size_t r, size_t pos) {
if (l == 0 && r == size[pos]) return data[pos];
size_t m = size[pos * 2 + 1];
if (l < m && r > m)
return merge(get_impl(l, m, pos * 2 + 1),
get_impl(0, r - m, pos * 2 + 2));
else if (l < m)
return get_impl(l, r, pos * 2 + 1);
else if (r > m)
return get_impl(l - m, r - m, pos * 2 + 2);
else
__builtin_unreachable();
}
size_t data_id_to_node_id(size_t x) {
x += n - ((2 * n - 1) - (highbit(2 * n - 1) - 1));
if (x >= n) x -= n;
x += n - 1;
return x;
}
size_t node_id_to_data_id(size_t x) {
x -= n - 1;
x += ((2 * n - 1) - (highbit(2 * n - 1) - 1));
if (x >= n) x -= n;
return x;
}
public:
template <typename InputIterator>
typical_segment_tree(InputIterator first, InputIterator last,
MergeFunction const& mergeFun = MergeFunction())
: data(first, last),
size(data.size(), 1),
n(data.size()),
merge(mergeFun) {
rotate(data.begin(),
data.begin() + ((2 * n - 1) - (highbit(2 * n - 1) - 1)), data.end());
reverse(data.begin(), data.end());
build();
}
typical_segment_tree(size_t len, T const& init,
MergeFunction const& mergeFun = MergeFunction())
: data(len, init), size(len, 1), n(len), merge(mergeFun) {
build();
}
/**
* 单点修改操作
* @param target 修改的位置
* @param operate 更新该点的函数
*/
template <typename Fun> void set(size_t target, Fun const& operate) {
set_impl(target, operate, 0);
}
T get(size_t l, size_t r) { return get_impl(l, r, 0); }
T getd(size_t l, size_t r, T const& e = {}) { return l == r ? e : get(l, r); }
template <typename Check>
size_t find_first_right(size_t l, Check const& check) {
if (l >= n) return l;
l = data_id_to_node_id(l);
while (l % 2 == 1) l /= 2;
while (l < 2 * n - 1 && check(data[l])) l = l * 2 + 1;
if (l >= 2 * n - 1) return node_id_to_data_id(l / 2);
T v = data[l];
while (true) {
++l;
if (!(l & (l + 1))) return n;
while (l % 2 == 1) l /= 2;
T vl = merge(v, data[l]);
if (check(vl)) break;
v = std::move(vl);
}
while (l < n - 1) {
T vl = merge(v, data[l * 2 + 1]);
if (!check(vl))
l = l * 2 + 2, v = std::move(vl);
else
l = l * 2 + 1;
}
return node_id_to_data_id(l);
}
template <typename Check>
size_t find_last_left(size_t r, Check const& check) {
if (r >= n) return r;
r = data_id_to_node_id(r);
while (r && r % 2 == 0) r = (r - 1) / 2;
while (r < 2 * n - 1 && check(data[r])) r = r * 2 + 2;
if (r >= 2 * n - 1) return node_id_to_data_id((r - 1) / 2);
T v = data[r];
while (true) {
if (!(r & (r + 1))) return -1;
--r;
while (r % 2 == 0) r = (r - 1) / 2;
T vl = merge(v, data[r]);
if (check(vl)) break;
v = std::move(vl);
}
while (r < n - 1) {
T vr = merge(v, data[r * 2 + 2]);
if (!check(vr))
r = r * 2 + 1, v = std::move(vr);
else
r = r * 2 + 2;
}
return node_id_to_data_id(r);
}
};
template <typename T>
using typical_segment_tree_add = typical_segment_tree<T, std::plus<T>>;
template <typename T>
using typical_segment_tree_max = typical_segment_tree<T, max>;
template <typename T>
using typical_segment_tree_min = typical_segment_tree<T, min>;
template <typename NodeStruct> class typical_segment_tree_from_node {
using T = typename NodeStruct::T;
struct MergeFunction {
T operator()(T const& a, T const& b) const {
return NodeStruct::merge_data(a, b);
}
};
typical_segment_tree_from_node() = delete;
public:
using type = typical_segment_tree<T, MergeFunction>;
};
} // namespace mrpython
#endif // MP_LIBRARY_SEGMENT_TREE_HPP