#include <bits/stdc++.h>
using namespace std;
int main() {
ios::sync_with_stdio(false);
cin.tie(0);
int n;
cin >> n;
vector<int> a(n);
for (int i = 0; i < n; i++) {
cin >> a[i];
--a[i];
}
vector<int> dep(n);
for (int i = 1; i < n; i++) {
dep[i] = dep[(i - 1) / 2] + 1;
}
vector<vector<int>> all(n);
for (int i = 0; i < n; i++) {
all[dep[i]].push_back(i);
}
vector<vector<int>> vals(n);
function<void(int, int)> Update = [&](int i, int v) {
int L = i * 2 + 1, R = i * 2 + 2;
if (L >= n) {
return;
}
if (R >= n) {
if (v < a[L]) {
vals[L].push_back(a[L]);
} else {
vals[L].push_back(v);
}
return;
}
if (v <= a[L] && v <= a[R]) {
vals[L].push_back(a[L]);
vals[R].push_back(a[R]);
} else if (a[L] <= v && a[L] <= a[R]) {
vals[L].push_back(v);
vals[R].push_back(a[R]);
} else {
vals[L].push_back(a[L]);
vals[R].push_back(v);
vals[L].push_back(v);
vals[R].push_back(a[L]);
}
};
vals[0].push_back(a[0]);
for (int d = 0; d < n; d++) {
for (int i : all[d]) {
sort(vals[i].begin(), vals[i].end());
vals[i].erase(unique(vals[i].begin(), vals[i].end()), vals[i].end());
for (int v : vals[i]) {
Update(i, v);
}
}
}
vector<int> sz(n);
for (int i = 0; i < n; i++) {
sz[i] = (int) vals[i].size();
}
vector<vector<vector<int>>> dp(n);
for (int i = 0; i < n; i++) {
dp[i].resize(sz[i]);
}
auto Merge = [&](int x, vector<int> va, vector<int> vb) {
vector<int> v(1, x);
int pa = 0, pb = 0;
for (int pw = 1; pa < (int) va.size(); pw *= 2) {
for (int iter = 0; iter < pw; iter++) {
if (pa < (int) va.size()) {
v.push_back(va[pa]);
pa += 1;
} else {
break;
}
}
for (int iter = 0; iter < pw; iter++) {
if (pb < (int) vb.size()) {
v.push_back(vb[pb]);
pb += 1;
} else {
break;
}
}
}
return v;
};
function<vector<int>(int, int)> Solve = [&](int i, int v) {
if (i >= n) {
return vector<int>{};
}
int p = (int) (lower_bound(vals[i].begin(), vals[i].end(), v) - vals[i].begin());
if (!dp[i][p].empty()) {
return dp[i][p];
}
int L = i * 2 + 1, R = i * 2 + 2;
if (L >= n) {
return dp[i][p] = {v};
}
if (R >= n) {
if (v < a[L]) {
dp[i][p] = Merge(v, Solve(L, a[L]), {});
} else {
dp[i][p] = Merge(a[L], Solve(L, v), {});
}
return dp[i][p];
}
if (v <= a[L] && v <= a[R]) {
dp[i][p] = Merge(v, Solve(L, a[L]), Solve(R, a[R]));
} else if (a[L] <= v && a[L] <= a[R]) {
dp[i][p] = Merge(a[L], Solve(L, v), Solve(R, a[R]));
} else {
dp[i][p] = min(Merge(a[R], Solve(L, a[L]), Solve(R, v)), Merge(a[R], Solve(L, v), Solve(R, a[L])));
}
return dp[i][p];
};
for (int d = n - 1; d >= 0; d--) {
for (int i : all[d]) {
for (int v : vals[i]) {
Solve(i, v);
}
}
if (d + 1 < n) {
for (int i : all[d + 1]) {
for (int j = 0; j < sz[i]; j++) {
vector<int>().swap(dp[i][j]);
}
}
}
}
vector<int> res;
for (int i = 0; i < (int) vals[0].size(); i++) {
if (vals[0][i] == a[0]) {
res = dp[0][i];
}
}
for (int i = 0; i < (int) res.size(); i++) {
cout << res[i] + 1 << " ";
}
cout << '\n';
return 0;
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
344 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Correct |
0 ms |
348 KB |
Output is correct |
5 |
Correct |
0 ms |
348 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
344 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Correct |
0 ms |
348 KB |
Output is correct |
5 |
Correct |
0 ms |
348 KB |
Output is correct |
6 |
Correct |
0 ms |
348 KB |
Output is correct |
7 |
Correct |
0 ms |
348 KB |
Output is correct |
8 |
Correct |
0 ms |
348 KB |
Output is correct |
9 |
Correct |
0 ms |
348 KB |
Output is correct |
10 |
Correct |
0 ms |
348 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
344 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Correct |
0 ms |
348 KB |
Output is correct |
5 |
Correct |
0 ms |
348 KB |
Output is correct |
6 |
Correct |
0 ms |
348 KB |
Output is correct |
7 |
Correct |
0 ms |
348 KB |
Output is correct |
8 |
Correct |
0 ms |
348 KB |
Output is correct |
9 |
Correct |
0 ms |
348 KB |
Output is correct |
10 |
Correct |
0 ms |
348 KB |
Output is correct |
11 |
Correct |
1 ms |
604 KB |
Output is correct |
12 |
Correct |
1 ms |
604 KB |
Output is correct |
13 |
Correct |
1 ms |
604 KB |
Output is correct |
14 |
Correct |
2 ms |
860 KB |
Output is correct |
15 |
Correct |
2 ms |
860 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
344 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Correct |
0 ms |
348 KB |
Output is correct |
5 |
Correct |
0 ms |
348 KB |
Output is correct |
6 |
Correct |
0 ms |
348 KB |
Output is correct |
7 |
Correct |
0 ms |
348 KB |
Output is correct |
8 |
Correct |
0 ms |
348 KB |
Output is correct |
9 |
Correct |
0 ms |
348 KB |
Output is correct |
10 |
Correct |
0 ms |
348 KB |
Output is correct |
11 |
Correct |
1 ms |
604 KB |
Output is correct |
12 |
Correct |
1 ms |
604 KB |
Output is correct |
13 |
Correct |
1 ms |
604 KB |
Output is correct |
14 |
Correct |
2 ms |
860 KB |
Output is correct |
15 |
Correct |
2 ms |
860 KB |
Output is correct |
16 |
Correct |
38 ms |
12892 KB |
Output is correct |
17 |
Correct |
44 ms |
12932 KB |
Output is correct |
18 |
Correct |
35 ms |
12880 KB |
Output is correct |
19 |
Correct |
156 ms |
45256 KB |
Output is correct |
20 |
Correct |
152 ms |
45088 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
0 ms |
344 KB |
Output is correct |
2 |
Correct |
0 ms |
348 KB |
Output is correct |
3 |
Correct |
0 ms |
348 KB |
Output is correct |
4 |
Correct |
0 ms |
348 KB |
Output is correct |
5 |
Correct |
0 ms |
348 KB |
Output is correct |
6 |
Correct |
0 ms |
348 KB |
Output is correct |
7 |
Correct |
0 ms |
348 KB |
Output is correct |
8 |
Correct |
0 ms |
348 KB |
Output is correct |
9 |
Correct |
0 ms |
348 KB |
Output is correct |
10 |
Correct |
0 ms |
348 KB |
Output is correct |
11 |
Correct |
1 ms |
604 KB |
Output is correct |
12 |
Correct |
1 ms |
604 KB |
Output is correct |
13 |
Correct |
1 ms |
604 KB |
Output is correct |
14 |
Correct |
2 ms |
860 KB |
Output is correct |
15 |
Correct |
2 ms |
860 KB |
Output is correct |
16 |
Correct |
38 ms |
12892 KB |
Output is correct |
17 |
Correct |
44 ms |
12932 KB |
Output is correct |
18 |
Correct |
35 ms |
12880 KB |
Output is correct |
19 |
Correct |
156 ms |
45256 KB |
Output is correct |
20 |
Correct |
152 ms |
45088 KB |
Output is correct |
21 |
Correct |
145 ms |
50784 KB |
Output is correct |
22 |
Correct |
159 ms |
51008 KB |
Output is correct |
23 |
Correct |
154 ms |
50828 KB |
Output is correct |
24 |
Correct |
789 ms |
206712 KB |
Output is correct |
25 |
Correct |
763 ms |
206680 KB |
Output is correct |