UESTC 2381

题目

查找长度为$n$的序列中第一个大于等于$k$的元素的位置,并将这个位置的值减去$k$,重复$m$次。

题解

直接线段树。

首先建立线段树,每个节点保存区间内的最大值,从根节点递归下去即可,复杂度$O(n\log_2n)$。因为只需要单点更新,其实zkw线段树可能更适合,不过这里普通线段树就能过,就没必要了。

查找的过程也很简单,从根节点开始,如果当前节点的max小于$k$直接返回$-1$,如果当前节点是叶子节点就返回自己的索引,否则先找左儿子,左儿子如果是$-1$就返回右儿子,每次查询的复杂度是$O(\log_2n)$。我在自己笔记本上测试,$T=1,n=10^6,m=10^6$情况下的随机数据,基本压着1秒的线,太极限了。

代码

AC代码

有学长说这是主席树(持久化线段树),我也不知道是不是,照着OI-WiKi写的。

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
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
// @author: hzy
#pragma G++ optimize("O3")

#include <algorithm>
#include <cmath>
#include <cstdio>
#include <ctime>
#include <cstring>
#include <iostream>
#include <queue>
#include <map>
#include <set>
#include <string>
#include <list>
#include <forward_list>
#include <stack>
#include <unordered_set>
#include <vector>
#include <limits.h>

using namespace std;
const long long MAX = 1e6 + 7;

#define TREE_SUM 0
#define TREE_MAX 1
#define TREE_MIN 0

//节点,包含区间和、最大值、最小值、区间左、区间右
struct Node {
#if TREE_SUM
int sum;
#endif
#if TREE_MAX
long long max;
#endif
#if TREE_MIN
int min;
#endif
int left, right;
};
Node tree[MAX * 4];

long long a[MAX];

class SegmentTree {
private:
int n;
public:
SegmentTree(int _n) : n(_n * 4)/*, tree(_n * 4 + 1)*/ {}

SegmentTree(int _n, long long *a) : n(_n + 1)/*, tree(_n * 4 + 3)*/ {
build(1, _n, 1, a);
}

void build(int left, int right, int index, const long long *a) {
auto &node = tree[index];
if (left == right) {
// 当前值
#if TREE_SUM
tree[index].sum = a[left];
#endif
#if TREE_MAX
node.max = a[left];
#endif
#if TREE_MIN
tree[index].min = a[left];
#endif
node.left = left;
node.right = left;
return;
}
int mid = (left + right) / 2;
build(left, mid, index * 2, a);
build(mid + 1, right, index * 2 + 1, a);
#if TREE_SUM
tree[index].sum = tree[index * 2].sum + tree[index * 2 + 1].sum;
#endif
#if TREE_MAX
node.max = max(tree[index * 2].max, tree[index * 2 + 1].max);
#endif
#if TREE_MIN
tree[index].min = min(tree[index * 2].min, tree[index * 2 + 1].min);
#endif
node.left = left;
node.right = right;
}

#if TREE_SUM
// 求区间和
int querySum(int left, int right, int index = 1) {
if (left <= tree[index].left && right >= tree[index].right) {
// 子集
return tree[index].sum;
}
int ans = 0;
int mid = (tree[index].left + tree[index].right) / 2;
if (left <= mid) {
// [left,mid]与询问区间有交集,递归查询左儿子
ans += querySum(left, right, index * 2);
}
if (right > mid) {
// [mid+1,right]与询问区间有交集,递归查询左儿子
ans += querySum(left, right, index * 2 + 1);
}
return ans;
}
#endif
#if TREE_MAX

// 求区间最大值
int queryMax(int left, int right, int index = 1) {
if (left <= tree[index].left && right >= tree[index].right) {
// 子集
return tree[index].max;
}
int leftAns = INT_MIN;
int rightAns = INT_MIN;
int mid = (tree[index].left + tree[index].right) / 2;
if (left <= mid) {
leftAns = queryMax(left, right, index * 2);
}
if (right > mid) {
rightAns += queryMax(left, right, index * 2 + 1);
}
return max(leftAns, rightAns);
}

#endif
#if TREE_MIN
// 求区间最小值
int queryMin(int left, int right, int index = 1) {
if (left <= tree[index].left && right >= tree[index].right) {
// 子集
return tree[index].min;
}
int leftAns = INT_MAX;
int rightAns = INT_MAX;
int mid = (tree[index].left + tree[index].right) / 2;
if (left <= mid) {
leftAns = queryMin(left, right, index * 2);
}
if (right > mid) {
rightAns = queryMin(left, right, index * 2 + 1);
}
return min(leftAns, rightAns);
}
#endif
#if TREE_SUM
// 更新父节点的区间和
void updateFatherSum(int treeIndex) {
tree[treeIndex].sum = tree[treeIndex * 2].sum + tree[treeIndex * 2 + 1].sum;
if (treeIndex != 1) {
updateFatherSum(treeIndex / 2);
}
}
#endif

#if TREE_MAX

void updateFatherMax(int treeIndex) {
auto &node = tree[treeIndex];
auto newMax = max(tree[treeIndex * 2].max, tree[treeIndex * 2 + 1].max);
if (newMax != node.max && treeIndex != 1) {
node.max = newMax;
updateFatherMax(treeIndex / 2);
}
}

#endif

// 单点更新
void update(int index, long long value, int treeIndex = 1) {
auto node = &tree[treeIndex];
if (node->left == node->right) {
//当前节点,更新
#if TREE_SUM
tree[treeIndex].sum = value;
updateFatherSum(treeIndex);
#endif
#if TREE_MAX
node->max = value;
updateFatherMax(treeIndex / 2);
#endif
#if TREE_MIN
tree[treeIndex].min = value;
#endif
return;
}
#if TREE_MAX
// 逐渐变小,应该不需要
// node->max = max(node->max, value);
#endif
#if TREE_MIN
tree[treeIndex].min = min(tree[treeIndex].min, value);
#endif
int mid = (node->left + node->right) / 2;
if (index <= mid) {
update(index, value, treeIndex * 2);
} else {
update(index, value, treeIndex * 2 + 1);
}
}

// 查询第一个大于等于k的元素,通过max>=k确定
int getAns(int left, int right, long long k, int treeIndex = 1) {
auto &node = tree[treeIndex];
if (node.max < k) {
// 别找了,就没有
return -1;
}
if (node.left == node.right) {
// 叶子,返回索引
a[node.left] -= k;
node.max -= k;
updateFatherMax(treeIndex / 2);
return node.left;
}
int leftAns = -1, rightAns = -1;
if (node.left >= left && node.right <= right) {
// 此节点被包含在区间中
// 先找左边,是否有大于等于k的
leftAns = getAns(left, right, k, treeIndex * 2);
if (leftAns != -1) {
return leftAns;
}
return getAns(left, right, k, treeIndex * 2 + 1);
}
// 有交集
int mid = (node.left + node.right) / 2;
if (left <= mid) {
leftAns = getAns(left, right, k, treeIndex * 2);
if (leftAns != -1) {
return leftAns;
}
}
if (right > mid) {
return getAns(left, right, k, treeIndex * 2 + 1);
}
return -1;
}
};

auto st = SegmentTree(MAX);

int main() {
std::ios::sync_with_stdio(false);
std::cin.tie(0);
int t, n, m;
int l, r, k;
cin >> t;
while (t--) {
cin >> n >> m;
for (int i = 1; i <= n; i++) {
cin >> a[i];
}
// build tree
st.build(1, n, 1, a);
for (int i = 1; i <= m; i++) {
int idx = -1;
cin >> l >> r >> k;
idx = st.getAns(l, r, k);
cout << idx << " ";
}
}
return 0;
}

测试例生成(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
#!/bin/env python
import random


def v(t, n, m, max=1e9, filename='in'):
t = int(t)
n = int(n)
m = int(m)
max = int(max)
step = t // 10
f = open(filename, 'w')
f.write("{}\r\n".format(t))
for i in range(t):
a = [str(random.randint(1, max)) for i in range(n)]
q = [" ".join([
str(random.randint(1, n // 2)),
str(random.randint(n // 2, n)),
str(random.randint(1, max))]) for i in range(m)]
f.write("{} {}\r\n{}\r\n{}\r\n".format(
n, m, " ".join(a), "\r\n".join(q)
))
if i % step == 0:
print(i)
f.close()

暴力验证

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
// @author: hzy
#pragma G++ optimize("O3")

#include <algorithm>
#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <queue>
#include <map>
#include <set>
#include <string>
#include <list>
#include <forward_list>
#include <stack>
#include <unordered_set>
#include <vector>

using namespace std;
const long long MAX = 1e6 + 7;
long long a[MAX];

int main() {
std::ios::sync_with_stdio(false);
std::cin.tie(0);
int t, n, m;
int l, r;
long long k;
cin >> t;
while (t--) {
cin >> n >> m;
for (int i = 1; i <= n; i++) {
cin >> a[i];
}
while (m--) {
cin >> l >> r >> k;
// 暴力
for (; l <= r; l++) {
if (a[l] >= k) {
break;
}
}
if (l <= r) {
cout << l << " ";
a[l] -= k;
} else {
cout << -1 << " ";
}
}
}
return 0;
}