이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <iostream>
#include <vector>
#include <cassert>
using namespace std;
using ll = long long;
struct dpvl {
ll l;
ll r;
ll mn;
dpvl() {}
dpvl(ll l_, ll r_, ll mn_): l(l_), r(r_), mn(mn_) {}
ll operator()(ll x) {
if (l <= x && x <= r)
return mn;
return min(abs(l - x), abs(r - x)) + mn;
}
};
const int MAXN = 300003;
const ll INF = 1.77013e9;
vector<pair<int, ll>> edg[MAXN];
pair<int, ll> root[MAXN];
ll get_vl(vector<dpvl>& v, ll x) {
ll ans = 0;
for (auto d : v) {
ans += d(x);
}
return ans;
}
ll lower_bound_dir(vector<dpvl>& v, ll x) {
ll lb = -INF, ub = INF;
while (ub - lb > 1) {
ll mb = (lb + ub) / 2;
if (get_vl(v, mb + 1) - get_vl(v, mb) < x)
lb = mb;
else
ub = mb;
}
return ub;
}
dpvl dfs(int v, int n) {
if (v >= n) {
return {root[v].second, root[v].second, 0};
}
vector<dpvl> ch;
for (auto [u, d] : edg[v]) {
ch.push_back(dfs(u, n));
}
ll l = lower_bound_dir(ch, 0);
ll r = lower_bound_dir(ch, 1);
ll t = get_vl(ch, l);
assert(t == get_vl(ch, r) && t < get_vl(ch, l - 1) && t < get_vl(ch, r + 1));
assert(r >= l && l >= 0);
ll mn = 0;
for (auto d : ch)
mn += d(l);
return {l + root[v].second, r + root[v].second, mn};
}
signed main() {
int n, m;
cin >> n >> m;
ll addans = 0;
for (int i = 1; i < n + m; ++i) {
ll u, d;
cin >> u >> d;
--u;
if (u >= n) {
addans += d;
} else {
edg[u].push_back({i, d});
root[i] = {u, d};
}
}
cout << dfs(0, n).mn + addans << endl;
}
# | 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... |