Submission #77578

ソースコード

?
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
#include <bits/stdc++.h>
using namespace std;
template< typename T, typename F >
struct SegmentTree {
int n, sz;
vector< T > seg;
const F f;
const T ti;
SegmentTree() = default;
explicit SegmentTree(int n, const F f, const T &ti) : n(n), f(f), ti(ti) {
sz = 1;
while(sz < n) sz <<= 1;
seg.assign(2 * sz, ti);
}
explicit SegmentTree(const vector< T > &v, const F f, const T &ti) :
SegmentTree((int) v.size(), f, ti) {
build(v);
}
void build(const vector< T > &v) {
assert(n == (int) v.size());
for(int k = 0; k < n; k++) seg[k + sz] = v[k];
for(int k = sz - 1; k > 0; k--) {
seg[k] = f(seg[2 * k + 0], seg[2 * k + 1]);
}
}
void update(int k, const T &x) {
k += sz;
seg[k] = x;
while(k >>= 1) {
seg[k] = f(seg[2 * k + 0], seg[2 * k + 1]);
}
}
T get(int k) const {
return seg[k + sz];
}
T operator[](const int &k) const {
return get(k);
}
void apply(int k, const T &x) {
k += sz;
seg[k] = f(seg[k], x);
while(k >>= 1) {
seg[k] = f(seg[2 * k + 0], seg[2 * k + 1]);
}
}
T query(int l, int r) const {
T L = ti, R = ti;
for(l += sz, r += sz; l < r; l >>= 1, r >>= 1) {
if(l & 1) L = f(L, seg[l++]);
if(r & 1) R = f(seg[--r], R);
}
return f(L, R);
}
T query() const {
return seg[1];
}
template< typename C >
int find_first(int l, const C &check) const {
if(l >= n) return n;
l += sz;
T sum = ti;
do {
while((l & 1) == 0) l >>= 1;
if(check(f(sum, seg[l]))) {
while(l < sz) {
l <<= 1;
auto nxt = f(sum, seg[l]);
if(not check(nxt)) {
sum = nxt;
l++;
}
}
return l + 1 - sz;
}
sum = f(sum, seg[l++]);
} while((l & -l) != l);
return n;
}
template< typename C >
int find_last(int r, const C &check) const {
if(r <= 0) return -1;
r += sz;
T sum = ti;
do {
r--;
while(r > 1 and (r & 1)) r >>= 1;
if(check(f(seg[r], sum))) {
while(r < sz) {
r = (r << 1) + 1;
auto nxt = f(seg[r], sum);
if(not check(nxt)) {
sum = nxt;
r--;
}
}
return r - sz;
}
sum = f(seg[r], sum);
} while((r & -r) != r);
return -1;
}
};
template< typename T, typename F >
SegmentTree< T, F > get_segment_tree(int N, const F &f, const T &ti) {
return SegmentTree{N, f, ti};
}
template< typename T, typename F >
SegmentTree< T, F > get_segment_tree(const vector< T > &v, const F &f, const T &ti) {
return SegmentTree{v, f, ti};
}
int main(){
cin.tie(nullptr);
ios_base::sync_with_stdio(false);
int n, k;
cin >> n >> k;
vector<int> a(n), le(n, n), re(n, -1);
for (int i = 0; i < n; ++i) {
cin >> a[i];
--a[i];
le[a[i]] = min(le[a[i]], i);
re[a[i]] = max(re[a[i]], i);
}
vector<vector<int> > v(n), seq(n);
int cnt = 0, res = INT_MAX;
for (int i = 0; i < n; ++i) {
if (le[i] == n) continue;
cnt++;
le[i] = min(le[i], i);
re[i] = max(re[i], i);
seq[re[i]].push_back(le[i]);
}
auto seg = get_segment_tree(n, [](int x, int y) { return x + y; }, 0);
for (int i = 0; i < n; ++i) {
for (auto li : seq[i]) {
seg.update(li, seg[li] + 1);
}
int l = seg.find_last(i + 1, [&](int x) { return x >= cnt - k; });
if (l != -1) {
res = min(res, i - l + 1);
}
}
cout << res << '\n';
return 0;
}

ステータス

項目 データ
問題 1734 - Range Deleting
ユーザー名 ei1903
投稿日時 2024-02-21 08:35:25
言語 C++17
状態 Accepted
得点 4
ソースコード長 4254 Byte
最大実行時間 101 ms
最大メモリ使用量 31816 KB

セット

セット 得点 Cases
1 ALL 4 / 4 *

テストケース

ファイル名 状態 実行時間 メモリ使用量 #
00_sample_00.in AC 24 ms 604 KB
1
00_sample_01.in AC 14 ms 684 KB
1
01_small_00.in AC 22 ms 640 KB
1
01_small_01.in AC 24 ms 596 KB
1
01_small_02.in AC 24 ms 424 KB
1
01_small_03.in AC 20 ms 636 KB
1
01_small_04.in AC 21 ms 464 KB
1
02_corner_minimum_00.in AC 24 ms 420 KB
1
02_corner_minimum_01.in AC 16 ms 504 KB
1
02_corner_minimum_02.in AC 24 ms 712 KB
1
02_corner_minimum_03.in AC 22 ms 668 KB
1
02_corner_minimum_04.in AC 18 ms 628 KB
1
02_corner_minimum_05.in AC 21 ms 584 KB
1
02_corner_minimum_06.in AC 15 ms 668 KB
1
02_corner_minimum_07.in AC 27 ms 624 KB
1
02_corner_minimum_08.in AC 20 ms 584 KB
1
03_general_00.in AC 21 ms 660 KB
1
03_general_01.in AC 20 ms 608 KB
1
03_general_02.in AC 24 ms 684 KB
1
04_random_00.in AC 15 ms 636 KB
1
04_random_01.in AC 24 ms 712 KB
1
04_random_02.in AC 21 ms 656 KB
1
05_large_00.in AC 22 ms 724 KB
1
05_large_01.in AC 19 ms 760 KB
1
05_large_02.in AC 23 ms 796 KB
1
06_corner_maximum_00.in AC 87 ms 26944 KB
1
06_corner_maximum_01.in AC 88 ms 26796 KB
1
06_corner_maximum_02.in AC 73 ms 26900 KB
1
06_corner_maximum_03.in AC 87 ms 26744 KB
1
06_corner_maximum_04.in AC 97 ms 28504 KB
1
06_corner_maximum_05.in AC 92 ms 28556 KB
1
06_corner_maximum_06.in AC 101 ms 28608 KB
1
06_corner_maximum_07.in AC 92 ms 28660 KB
1
07_corner_critical_00.in AC 62 ms 22444 KB
1
07_corner_critical_01.in AC 87 ms 31816 KB
1
07_corner_critical_02.in AC 81 ms 31816 KB
1
07_corner_critical_03.in AC 72 ms 31816 KB
1
07_corner_critical_04.in AC 80 ms 27084 KB
1
07_corner_critical_05.in AC 77 ms 27164 KB
1
07_corner_critical_06.in AC 60 ms 27116 KB
1
07_corner_critical_07.in AC 78 ms 27072 KB
1
07_corner_critical_08.in AC 80 ms 31628 KB
1
07_corner_critical_09.in AC 74 ms 31624 KB
1
07_corner_critical_10.in AC 48 ms 22280 KB
1