#include <iostream>
#include <cstring>
#include <vector>
#include <algorithm>
#include <deque>
#include <set>
#include <utility>
#include <array>
using i64 = long long;
using u64 = unsigned long long;
using f64 = double;
using f80 = long double;
using namespace std;
#define ALL(x) x.begin(), x.end()
#define ShinLena cin.tie(nullptr)->sync_with_stdio(false);
#define N 1000005
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
using oset = tree<pair<int, int>, null_type, less<pair<int, int>>, rb_tree_tag, tree_order_statistics_node_update>;
int root, n, A[N], L[N], R[N], alloc;
oset *a[N];
i64 t[N], sz[N];
int read()
{
int u = ++alloc, p;
cin >> p;
if (p) return sz[u] = 1, (a[u] = new oset())->insert({A[u] = p, u}), u;
L[u] = read(); R[u] = read();
return sz[u] = sz[L[u]] + sz[R[u]], u;
}
static inline i64 qry(u64 p)
{
u64 z{0};
for (; p < N; p+=p&-p) z += t[p];
return z;
}
static inline void upd(u64 p, i64 k)
{
for (; p; p-=p&-p) t[p] += k;
}
u64 order(const oset &s, oset::iterator it)
{
return it == s.end() ? s.size() : s.order_of_key(*it);
}
void dfs0(int u)
{
if (!L[u]) return;
dfs0(L[u]), dfs0(R[u]);
u64 l2r = 0, r2l = 0;
if (a[R[u]]->size() > a[L[u]]->size())
{
for (const pair<int, int> &x : *a[L[u]])
l2r += order(*a[R[u]], a[R[u]]->lower_bound({x.first, 0})),
r2l += sz[R[u]] - order(*a[R[u]], a[R[u]]->lower_bound({x.first+1, 0}));
}
else
{
for (const pair<int, int> &x : *a[R[u]])
l2r += sz[L[u]] - order(*a[L[u]], a[L[u]]->lower_bound({x.first+1, 0})),
r2l += order(*a[L[u]], a[L[u]]->lower_bound({x.first, 0}));
}
if (r2l < l2r) swap(L[u], R[u]);
if (sz[R[u]] > sz[L[u]])
{
a[u] = a[R[u]];
for (auto x : *a[L[u]]) a[u]->insert(x);
delete a[L[u]];
}
else
{
a[u] = a[L[u]];
for (auto x : *a[R[u]]) a[u]->insert(x);
delete a[R[u]];
}
}
vector<int> corona;
void dfs2(int u)
{
if (!L[u]) corona.push_back(A[u]);
else dfs2(L[u]), dfs2(R[u]);
}
int main()
{
ShinLena;
cin >> n;
root = read();
dfs0(root);
delete a[root];
dfs2(root);
u64 z{0};
for (auto x : corona) upd(x, 1), z += qry(x+1);
cout << z;
return 0;
}
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
8536 KB |
Output is correct |
2 |
Correct |
1 ms |
8540 KB |
Output is correct |
3 |
Correct |
1 ms |
8540 KB |
Output is correct |
4 |
Correct |
1 ms |
8540 KB |
Output is correct |
5 |
Correct |
1 ms |
8540 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
1 ms |
8540 KB |
Output is correct |
2 |
Correct |
1 ms |
8540 KB |
Output is correct |
3 |
Correct |
1 ms |
8540 KB |
Output is correct |
4 |
Correct |
1 ms |
8540 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
2 ms |
8796 KB |
Output is correct |
2 |
Correct |
2 ms |
8796 KB |
Output is correct |
3 |
Correct |
2 ms |
8796 KB |
Output is correct |
4 |
Correct |
2 ms |
8796 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
7 ms |
9564 KB |
Output is correct |
2 |
Correct |
7 ms |
9308 KB |
Output is correct |
3 |
Correct |
4 ms |
9820 KB |
Output is correct |
4 |
Correct |
4 ms |
9912 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
11 ms |
11868 KB |
Output is correct |
2 |
Correct |
23 ms |
13136 KB |
Output is correct |
3 |
Correct |
73 ms |
16212 KB |
Output is correct |
4 |
Correct |
16 ms |
13916 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
113 ms |
20024 KB |
Output is correct |
2 |
Correct |
69 ms |
21608 KB |
Output is correct |
3 |
Correct |
82 ms |
24064 KB |
Output is correct |
4 |
Correct |
72 ms |
24404 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
102 ms |
36032 KB |
Output is correct |
2 |
Correct |
105 ms |
32848 KB |
Output is correct |
3 |
Correct |
139 ms |
30120 KB |
Output is correct |
4 |
Correct |
101 ms |
29264 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
191 ms |
35244 KB |
Output is correct |
2 |
Correct |
192 ms |
36576 KB |
Output is correct |
3 |
Correct |
154 ms |
41260 KB |
Output is correct |
4 |
Correct |
164 ms |
40788 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
416 ms |
53412 KB |
Output is correct |
2 |
Correct |
242 ms |
51284 KB |
Output is correct |
3 |
Correct |
338 ms |
52816 KB |
Output is correct |
4 |
Correct |
310 ms |
50776 KB |
Output is correct |
5 |
Correct |
503 ms |
48472 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
396 ms |
53532 KB |
Output is correct |
2 |
Correct |
358 ms |
63720 KB |
Output is correct |
3 |
Correct |
368 ms |
58708 KB |
Output is correct |
4 |
Correct |
293 ms |
63056 KB |
Output is correct |
5 |
Correct |
604 ms |
56624 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
384 ms |
59024 KB |
Output is correct |
2 |
Correct |
384 ms |
61740 KB |
Output is correct |
3 |
Correct |
518 ms |
58020 KB |
Output is correct |
4 |
Correct |
473 ms |
59072 KB |
Output is correct |
5 |
Runtime error |
63 ms |
65536 KB |
Execution killed with signal 9 |
6 |
Halted |
0 ms |
0 KB |
- |