/**
____ ____ ____ ____ ____
||a |||t |||o |||d |||o ||
||__|||__|||__|||__|||__||
|/__\|/__\|/__\|/__\|/__\|
**/
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N_MAX = 1000000;
int N;
struct Edge {
int to;
int len;
};
vector <Edge> adj[N_MAX + 2];
Edge par[N_MAX + 2];
int depth[N_MAX + 2];
tuple <int, int, int> backEdge;
int curr[N_MAX + 2];
void dfs (int u) {
depth[u] = 0;
while (u != 0) {
if (curr[u] < (int) adj[u].size()) {
Edge e = adj[u][curr[u]++];
if (depth[e.to] == -1) {
par[e.to] = Edge{u, e.len};
depth[e.to] = depth[u] + 1;
u = e.to;
} else if (depth[e.to] > depth[u]) {
backEdge = make_tuple(u, e.to, e.len);
}
} else {
u = par[u].to;
}
}
}
bitset <N_MAX + 2> root;
ll maxAny[N_MAX + 2];
ll maxDown[N_MAX + 2];
queue <int> q;
vector <int> order;
void compute (int s) {
q.push(s);
depth[s] = 0;
while (q.empty() == false) {
int u = q.front(); q.pop();
order.push_back(u);
for (Edge e : adj[u]) {
if (depth[e.to] == -1 && root[e.to] == false) {
q.push(e.to);
depth[e.to] = depth[u] + 1;
}
}
}
reverse(order.begin(), order.end());
for (int u : order) {
vector <ll> maxDowns;
for (Edge e : adj[u]) {
if (depth[u] < depth[e.to] && root[e.to] == false) {
maxAny[u] = max(maxAny[u], maxAny[e.to]);
maxDown[u] = max(maxDown[u], maxDown[e.to] + e.len);
maxDowns.push_back(maxDown[e.to] + e.len);
}
}
sort(maxDowns.begin(), maxDowns.end(), greater <ll> ());
if ((int) maxDowns.size() >= 2) {
maxAny[u] = max(maxAny[u], maxDowns[0] + maxDowns[1]);
}
maxAny[u] = max(maxAny[u], maxDown[u]);
}
order.clear();
}
int roots[N_MAX + 2];
int group[N_MAX + 2];
int cntRoots;
int cntGroups;
multiset <ll> s;
int main () {
ios_base::sync_with_stdio(false);
cin.tie(0);
cout.tie(0);
cin >> N;
for (int u = 1; u <= N; u++) {
Edge e;
cin >> e.to >> e.len;
assert(u != e.to);
adj[u].push_back(Edge{e.to, e.len});
adj[e.to].push_back(Edge{u, e.len});
}
fill(depth + 1, depth + N + 1, -1);
for (int u = 1; u <= N; u++) {
if (depth[u] == -1) {
dfs(u);
int v1, v2, len; tie(v1, v2, len) = backEdge;
swap(v1, v2);
par[v2] = Edge{v1, len};
cntGroups++;
int v = v1;
while (v != v2) {
root[v] = true;
roots[++cntRoots] = v;
group[cntRoots] = cntGroups;
v = par[v].to;
}
root[v] = true;
roots[++cntRoots] = v;
group[cntRoots] = cntGroups;
}
}
fill(depth + 1, depth + N + 1, -1);
for (int u = 1; u <= N; u++) {
if (root[u] == true) {
compute(u);
}
}
ll answer = 0;
for (int g = 1, i = 1; g <= cntGroups; g++) {
int j = i;
while (j < cntRoots && group[j + 1] == g) {
j++;
}
ll totalLen = 0;
ll maxLen = 0;
for (int k = i; k <= j; k++) {
int u = roots[k];
totalLen += par[u].len;
maxLen = max(maxLen, maxAny[u]);
}
ll len = 0;
for (int k = j; k > i; k--) {
int u = roots[k];
len += par[u].len;
s.insert(maxDown[u] + len);
}
ll lazy = 0;
for (int k = i, u = roots[i]; k <= j; k++) {
assert(s.empty() == false);
maxLen = max(maxLen, *s.rbegin() + lazy + maxDown[u]);
s.insert(maxDown[u] - lazy);
lazy += par[u].len;
u = par[u].to;
assert(s.find((maxDown[u] + totalLen) - lazy) != s.end());
s.erase(s.find((maxDown[u] + totalLen) - lazy));
}
answer += maxLen;
s.clear();
i = j + 1;
}
cout << answer << "\n";
return 0;
}
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
14 ms |
23764 KB |
Output is correct |
| 2 |
Correct |
13 ms |
23832 KB |
Output is correct |
| 3 |
Correct |
14 ms |
23892 KB |
Output is correct |
| 4 |
Correct |
15 ms |
23864 KB |
Output is correct |
| 5 |
Correct |
12 ms |
23844 KB |
Output is correct |
| 6 |
Correct |
15 ms |
23764 KB |
Output is correct |
| 7 |
Correct |
13 ms |
23860 KB |
Output is correct |
| 8 |
Correct |
13 ms |
23800 KB |
Output is correct |
| 9 |
Correct |
13 ms |
23760 KB |
Output is correct |
| 10 |
Correct |
13 ms |
23764 KB |
Output is correct |
| 11 |
Correct |
14 ms |
23864 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
12 ms |
23892 KB |
Output is correct |
| 2 |
Correct |
13 ms |
23912 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
12 ms |
24020 KB |
Output is correct |
| 2 |
Correct |
18 ms |
24252 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
25 ms |
24908 KB |
Output is correct |
| 2 |
Correct |
34 ms |
27044 KB |
Output is correct |
| 3 |
Correct |
24 ms |
25412 KB |
Output is correct |
| 4 |
Correct |
18 ms |
24600 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
52 ms |
28292 KB |
Output is correct |
| 2 |
Correct |
66 ms |
31680 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
97 ms |
38528 KB |
Output is correct |
| 2 |
Correct |
149 ms |
42112 KB |
Output is correct |
| 3 |
Correct |
189 ms |
49232 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
190 ms |
52304 KB |
Output is correct |
| 2 |
Correct |
255 ms |
69400 KB |
Output is correct |
| 3 |
Correct |
448 ms |
73944 KB |
Output is correct |
| 4 |
Correct |
456 ms |
88908 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
395 ms |
110472 KB |
Output is correct |
| 2 |
Correct |
940 ms |
116136 KB |
Output is correct |
| 3 |
Correct |
353 ms |
81032 KB |
Output is correct |
| 4 |
Correct |
511 ms |
109832 KB |
Output is correct |
| 5 |
Correct |
486 ms |
110416 KB |
Output is correct |
| 6 |
Correct |
1250 ms |
91648 KB |
Output is correct |
| 7 |
Correct |
777 ms |
125404 KB |
Output is correct |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
380 ms |
90448 KB |
Output is correct |
| 2 |
Correct |
361 ms |
90468 KB |
Output is correct |
| 3 |
Runtime error |
596 ms |
131072 KB |
Execution killed with signal 9 |
| 4 |
Halted |
0 ms |
0 KB |
- |
