This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <iostream>
#include <vector>
#include <algorithm>
#include <deque>
#define ll long long
#define pii pair<int, int>
#define fst first
#define snd second
using namespace std;
namespace dq
{
pair<ll, int> A[2000001]; int L = 0, R = 0;
inline int size() {return R - L;}
inline void push_back(const pair<ll, int>& x) {A[R++] = x;}
inline void pop_back() {R--;}
inline void pop_front() {L++;}
inline pair<ll, int> front() {return A[L];}
inline pair<ll, int> back() {return A[R - 1];}
inline void clear() {L = 0; R = 0;}
}
int N;
vector<pii> adj[1000001];
int H[1000001]; vector<int> vis;
vector<pii> cyc;
ll DP[1000001];
ll ans = 0;
int DFS1(int u, pii p)
{
int ret = H[u] + 1;
vis.push_back(u);
//cerr << "D1: " << u << " " << H[u] << "\n";
for (const pii &v : adj[u])
{
if (p == v) {p = {-1, -1}; continue;}
if (H[v.fst] == -1)
{
H[v.fst] = H[u] + 1;
ret = DFS1(v.fst, {u, v.snd});
}
else if (H[v.fst] < H[u]) {ret = H[v.fst];}
if (ret <= H[u])
{
cyc.push_back({u, v.snd});
break;
}
}
return ret;
}
ll DFS2(int u)
{
ll M[2] = {0, 0}; ll ret = 0;
for (const pii &v : adj[u])
{
if (H[v.fst] == -1)
{
H[v.fst] = H[u] + 1;
ret = max(ret, DFS2(v.fst));
if (DP[v.fst] + v.snd > M[0]) {M[1] = M[0]; M[0] = DP[v.fst] + v.snd;}
else if (DP[v.fst] + v.snd > M[1]) {M[1] = DP[v.fst] + v.snd;}
DP[u] = max(DP[u], DP[v.fst] + v.snd);
}
}
return max(ret, M[0] + M[1]);
}
int main()
{
ios :: sync_with_stdio(0); cin.tie(0); cout.tie(0);
cin >> N;
for (int i = 0; i < N; i++)
{
int u, c; cin >> u >> c; u--;
adj[u].push_back({i, c});
adj[i].push_back({u, c});
H[i] = -1;
}
for (int k = 0; k < N; k++)
{
if (H[k] == -1)
{
ll rr = 0; H[k] = 0;
DFS1(k, {-1, -1});
for (const auto &u : vis) H[u] = -1;
vis.clear();
for (const auto &u : cyc) H[u.fst] = 0;
for (const auto &u : cyc) rr = max(rr, DFS2(u.fst));
//cerr << k << ": " << rr << " " << cyc.size() << "\n";
ll s = 0, t = 0;
for (int i = 1; i < cyc.size(); i++)
{
//cerr << "id: " << i << " " << cyc[i].fst << " - " << DP[cyc[i].fst] << "\n";
s += cyc[i].snd;
while (dq::size() && dq::back().fst <= s + DP[cyc[i].fst])
{
//cerr << "Popped\n";
dq::pop_back();
}
//cerr << "Pushed: " << s + DP[cyc[i].fst] << ", " << i << "\n";
dq::push_back({s + DP[cyc[i].fst], i});
}
s += cyc[0].snd;
for (int i = 0; i < cyc.size(); i++)
{
if (dq::front().snd == i) dq::pop_front();
//cerr << i << " " << " " << cyc[i].fst << " " << dq.front().fst << " " << t << " " << DP[cyc[i].fst] << "\n";
rr = max(rr, dq::front().fst + t + DP[cyc[i].fst]);
while (dq::size() && dq::back().fst + t <= s + DP[cyc[i].fst]) {dq::pop_back();}
dq::push_back({s + DP[cyc[i].fst] - t, i});
t -= cyc[(i + 1) % cyc.size()].snd;
}
dq::clear();
cyc.clear();
//cerr << k << ": " << rr << "\n";
ans += rr;
}
}
cout << ans << "\n";
return 0;
}
Compilation message (stderr)
islands.cpp: In function 'int main()':
islands.cpp:101:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
101 | for (int i = 1; i < cyc.size(); i++)
| ~~^~~~~~~~~~~~
islands.cpp:115:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
115 | for (int i = 0; i < cyc.size(); i++)
| ~~^~~~~~~~~~~~
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |