-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathtypical_segment_tree.hpp
More file actions
185 lines (180 loc) · 6 KB
/
typical_segment_tree.hpp
File metadata and controls
185 lines (180 loc) · 6 KB
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
172
173
174
175
176
177
178
179
180
181
182
183
184
185
#include "mrpython/bits.hpp"
#include "mrpython/segment_tree_utility.hpp"
#include "mrpython/utility.hpp"
#ifndef MP_LIBRARY_SEGMENT_TREE_HPP
#define MP_LIBRARY_SEGMENT_TREE_HPP
#include <algorithm>
#include <functional>
#include <utility>
#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;
auto doMerge(std::pair<T const&, size_t> l, std::pair<T const&, size_t> r) {
return std::make_pair(
call_merge(merge, l.first, l.second, r.first, r.second),
l.second + r.second);
}
decltype(auto) doMerge(T const& lv, size_t ls, T const& rv, size_t rs) {
return call_merge(merge, lv, ls, rv, rs);
}
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(doMerge(data[2 * n - 1 - l], size[2 * n - 1 - l],
data[2 * n - 1 - r], size[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] = doMerge(data[pos * 2 + 1], size[pos * 2 + 1], data[pos * 2 + 2],
size[pos * 2 + 2]);
}
std::pair<T, size_t> get_impl(size_t l, size_t r, size_t pos) {
if (l == 0 && r == size[pos]) return {data[pos], size[pos]};
size_t m = size[pos * 2 + 1];
if (l < m && r > m)
return doMerge(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).first; }
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);
std::pair<T, size_t> v = {data[l], size[l]};
while (true) {
++l;
if (!(l & (l + 1))) return n;
while (l % 2 == 1) l /= 2;
std::pair<T, size_t> vl = doMerge(v, {data[l], size[l]});
if (check(vl.first)) break;
v = std::move(vl);
}
while (l < n - 1) {
std::pair<T, size_t> vl = doMerge(v, {data[l * 2 + 1], size[l * 2 + 1]});
if (!check(vl.first))
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);
std::pair<T, size_t> v = {data[r], size[r]};
while (true) {
if (!(r & (r + 1))) return -1;
--r;
while (r % 2 == 0) r = (r - 1) / 2;
std::pair<T, size_t> vl = doMerge(v, {data[r], size[r]});
if (check(vl.first)) break;
v = std::move(vl);
}
while (r < n - 1) {
std::pair<T, size_t> vr = doMerge(v, {data[r * 2 + 2], size[r * 2 + 2]});
if (!check(vr.first))
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 {
template <typename... Args>
auto operator()(Args&&... args) const
-> decltype(NodeStruct::merge_data(std::forward<Args>(args)...)) {
return NodeStruct::merge_data(std::forward<Args>(args)...);
}
};
typical_segment_tree_from_node() = delete;
public:
using type = typical_segment_tree<T, MergeFunction>;
};
} // namespace mrpython
#endif // MP_LIBRARY_SEGMENT_TREE_HPP