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 "roads.h"
#include <bits/stdc++.h>
// #define DEBUGGING
#ifdef DEBUGGING
#define dout(msg) cout << msg
#else
#define dout(msg)
#endif
#define f first
#define s second
using namespace std;
using ll = long long;
using pi = pair<int,int>;
using pl = pair<ll,ll>;
const int MAX_N = 1e5 + 5;
const ll INF_LL = 1e18;
const int INF = 2e9;
struct SlowKSum {
int _k = 0;
multiset<int> _vals;
int getK() { return _k; }
void incK() {
_k++;
}
void decK() {
_k--;
}
void setK(int k) {
while(_k < k) {
incK();
}
while(_k > k) {
decK();
}
}
void insert(int x) {
_vals.insert(x);
}
void erase(int x) {
_vals.erase(_vals.find(x));
}
ll getSum() {
if(_vals.size() < _k) { return INF_LL; }
ll res = 0;
auto it = _vals.begin();
for(int i = 0; i < _k; i ++) {
res += *it;
it++;
}
return res;
}
ll getKSum(int k) {
setK(k);
return getSum();
}
void pre() {
}
void post() {
}
};
struct KSum {
private:
int _k = 0;
ll _sum = 0;
int _overflowCount = 0;
int _opCount = 0;
set<pi> _vals;
set<pi>::iterator sep = _vals.end();
void incSep() {
if (sep == _vals.end()) {
_overflowCount++;
return;
}
_sum += sep->f;
sep++;
};
void decSep() {
if (_overflowCount) {
_overflowCount--;
return;
}
assert(sep != _vals.begin());
sep--;
_sum -= sep->f;
}
int sepVal() {
if(_overflowCount || sep == _vals.end()) { return INF; }
return sep->f;
}
public:
int getK() { return _k; }
void incK() {
_k++;
incSep();
}
void decK() {
_k--;
decSep();
}
void setK(int k) {
while(_k < k) {
incK();
}
while(_k > k) {
decK();
}
}
void insert(int x) {
_vals.insert({x,_opCount++});
if(x < sepVal()) {
_sum += x;
decSep();
}
}
void erase(int x) {
if(x <= sepVal()) {
_sum -= x;
incSep();
}
_vals.erase(_vals.lower_bound({x,-INF}));
}
ll getSum() {
return _overflowCount ? INF_LL : _sum;
}
ll getKSum(int k) {
setK(k);
return getSum();
}
void pre() {
_k = INF;
_overflowCount = INF;
}
void post() {
_k = 0;
_overflowCount = 0;
_sum = 0;
sep = _vals.begin();
}
};
template<const int BOUND>
struct BoundKSum {
private:
int _k = 0;
vector<ll> hist = vector<ll>(BOUND);
public:
int getK() { return _k; }
void incK() {
_k++;
}
void decK() {
_k--;
}
void setK(int k) {
while(_k < k) {
incK();
}
while(_k > k) {
decK();
}
}
void insert(int x) {
hist[x]++;
}
void erase(int x) {
hist[x]--;
}
ll getSum() {
ll lft = _k;
ll res = 0;
for(ll i = 0; i < BOUND; i ++) {
ll cnt = min(lft,hist[i]);
lft -= cnt;
res += cnt * i;
}
return lft ? INF_LL : res;
}
ll getKSum(int k) {
setK(k);
return getSum();
}
void pre() {
}
void post() {
}
};
vector<pi> nei[MAX_N];
vector<pi> bigNei[MAX_N];
int vis[MAX_N];
BoundKSum<11> smalls[MAX_N];
pl dfs(int node, int K, int par = -1) {
vis[node] = true;
int deg = bigNei[node].size();
int dif = nei[node].size()-K;
dout(node << ' ' << K << ' ' << par << endl);
assert(dif > 0);
ll total = 0;
vector<ll> bigCosts;
bigCosts.reserve(deg - (par != -1));
ll parentWeight = INF_LL;
for(pi edge : bigNei[node]) {
int ne = edge.f, w = edge.s;
if(ne == par) {
parentWeight = w;
continue;
}
pl parts = dfs(ne, K, node);
total += parts.f;
bigCosts.push_back(parts.s);
}
sort(bigCosts.begin(),bigCosts.end());
if(bigCosts.size() > dif) {
bigCosts.resize(dif);
}
dout(bigCosts.size() << endl);
vector<ll> smallCosts(dif+1);
for(int i = dif; i >= 0; i --) {
smallCosts[i] = smalls[node].getKSum(dif-i);
}
dout("NODE " << node << endl);
dout("DIF " << dif << endl);
for(int i = 0; i <= dif; i ++) {
dout(smallCosts[i] << ' ');
}
dout(endl);
ll best = smallCosts[0];
ll bestWithParent = smallCosts[1] + parentWeight;
ll preSum = 0;
for(int i = 0; i < bigCosts.size(); i ++) {
dout("cost " << bigCosts[i] << endl);
preSum += bigCosts[i];
best = min(best, preSum + smallCosts[i+1]);
if(i < dif-1) {
bestWithParent = min(bestWithParent, preSum + parentWeight + smallCosts[i+2]);
}
}
best = min(best,bestWithParent);
dout("BEST " << best << endl);
return {best+total,bestWithParent-best};
}
vector<ll> minimum_closure_costs(int N, vector<int> U, vector<int> V,
vector<int> W) {
vector<ll> ans(N);
vector<int> big(N);
for(int i = 0; i < N; i ++) {
smalls[i].pre();
}
for (int i = 0; i < N - 1; i++) {
int a = U[i], b = V[i], h = W[i];
nei[a].push_back({b,h});
nei[b].push_back({a,h});
smalls[a].insert(h);
smalls[b].insert(h);
}
for(int i = 0; i < N; i ++) {
smalls[i].post();
}
vector<vector<int>> degHist(N);
for (int i = 0; i < N; i++) {
int d = nei[i].size();
degHist[d].push_back(i);
bigNei[i].reserve(d);
}
vector<int> bigs;
bigs.reserve(N);
for (int K = N - 1; K >= 0; K--) {
dout("~~~~~~~~ " << K << endl);
ll res = 0;
for(int big : bigs) {
if(!vis[big]) {
res += dfs(big,K).f;
}
}
ans[K] = res;
for(int big : bigs) {
vis[big] = false;
}
for (int node : degHist[K]) {
dout(" + " << node << endl);
big[node] = true;
bigs.push_back(node);
for (pi edge : nei[node]) {
int ne = edge.f, weight = edge.s;
if (!big[ne]) {
continue;
}
bigNei[node].push_back({ne,weight});
bigNei[ne].push_back({node,weight});
smalls[node].erase(weight);
smalls[ne].erase(weight);
}
}
}
return ans;
}
Compilation message (stderr)
roads.cpp: In member function 'll SlowKSum::getSum()':
roads.cpp:49:25: warning: comparison of integer expressions of different signedness: 'std::multiset<int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
49 | if(_vals.size() < _k) { return INF_LL; }
| ~~~~~~~~~~~~~^~~~
roads.cpp: In function 'pl dfs(int, int, int)':
roads.cpp:223:24: warning: comparison of integer expressions of different signedness: 'std::vector<long long int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
223 | if(bigCosts.size() > dif) {
| ~~~~~~~~~~~~~~~~^~~~~
roads.cpp:240:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<long long int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
240 | for(int i = 0; i < bigCosts.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... |