(UPD: 2024-12-04 14:48 UTC) Judge is not working due to Cloudflare incident. (URL) We can do nothing about it, sorry. After the incident is resolved, we will grade all submissions.

Submission #1120535

#TimeUsernameProblemLanguageResultExecution timeMemory
1120535InvMODElection Campaign (JOI15_election_campaign)C++14
100 / 100
285 ms36100 KiB
#include <bits/stdc++.h> using namespace std; #define fi first #define se second #define gcd __gcd #define sz(v) (int) v.size() #define pb push_back #define pi pair<int,int> #define all(v) (v).begin(), (v).end() #define compact(v) (v).erase(unique(all(v)), (v).end()) #define FOR(i, a, b) for(int i = (a); i <= (b); i++) #define dbg(x) "[" #x " = " << (x) << "]" ///#define int long long using ll = long long; using ld = long double; using ull = unsigned long long; template<typename T> bool ckmx(T& a, const T& b){if(a < b) return a = b, true; return false;} template<typename T> bool ckmn(T& a, const T& b){if(a > b) return a = b, true; return false;} const int N = 1e5+5; const int lg = 20; int n, q, timerDFS, curChain; int id[N], head[N], tin[N], tour[N], parLCA[lg][N], h[N], sz[N], par[N]; ll dp[N], sumDP[N], bit[2][N]; vector<int> adj[N]; vector<array<int, 2>> Query[N]; vector<array<int, 3>> QueryPair[N]; void update(int id, int p, ll val){ for(; p <= timerDFS; p += p&-p){ bit[id][p] += val; } return; } ll get_range(int id, int l, int r){ ll res = 0; for(r; r > 0; r -= r&-r){ res += bit[id][r]; } for(--l; l > 0; l -= l&-l){ res -= bit[id][l]; } return res; } void dfs(int x = 1, int p = -1){ sz[x] = 1; for(int v : adj[x])if(v != p){ parLCA[0][v] = x; for(int i = 1; i < lg; i++){ parLCA[i][v] = parLCA[i-1][parLCA[i-1][v]]; } par[v] = x, h[v] = h[x] + 1; dfs(v, x); sz[x] += sz[v]; } return; } void decompose(int x = 1, int p = -1){ if(!head[curChain]) head[curChain] = x; id[x] = curChain; tour[tin[x] = ++timerDFS] = x; int nxt = 0; for(int v : adj[x]) if(v != p && sz[v] > sz[nxt]) nxt = v; if(nxt) decompose(nxt, x); for(int v : adj[x]){ if(v == p || v == nxt) continue; ++curChain; decompose(v, x); } return; } int get_LCA(int u, int v){ while(id[u] != id[v]){ if(id[u] > id[v]) u = par[head[id[u]]]; else{ v = par[head[id[v]]]; } } return h[u] < h[v] ? u : v; } void update_Node(int id, int x, ll val){ update(id, tin[x], val); } ll query_Path(int idx, int u, int v){ int lca = get_LCA(u, v); ll res = 0; while(id[u] != id[lca]){ res = res + get_range(idx, tin[head[id[u]]], tin[u]); u = par[head[id[u]]]; } while(id[v] != id[lca]){ res = res + get_range(idx, tin[head[id[v]]], tin[v]); v = par[head[id[v]]]; } if(h[u] > h[v]) swap(u, v); res = res + get_range(idx, tin[u], tin[v]); return res; } int binlift(int u, int k){ if(k < 0) return u; for(int i = 0; i < lg; i++){ if(k >> i & 1){ u = parLCA[i][u]; } } return u; } ll compute(int u, int v){ if(h[u] > h[v]) swap(u, v); int parV = binlift(v, h[v] - h[u] - 1); return query_Path(0, u, v) - query_Path(1, parV, v); } // [0]: sumDP of x // [1]: DP of x void proc_dp(int x = 1, int p = -1){ for(int v : adj[x])if(v != p){ proc_dp(v, x); sumDP[x] += dp[v]; } for(array<int,2> arr : Query[x]){ int v = arr[0], cost = arr[1]; ll curDP = sumDP[x] + compute(x, v) + (1ll * cost); //cout << dbg(compute(x, v)) <<"\n"; dp[x] = max(dp[x], curDP); } for(array<int,3> arr : QueryPair[x]){ int a = arr[0], b = arr[1], cost = arr[2]; ll curDP = sumDP[x] + compute(x, a) + compute(x, b) + (1ll * cost); //cout << dbg(compute(x, a)) << dbg(compute(x, b)) <<"\n"; dp[x] = max(dp[x], curDP); } //cout << dbg(x) << dbg(sumDP[x]) << dbg(dp[x]) <<"\n"; dp[x] = max(dp[x], sumDP[x]); update_Node(0, x, sumDP[x]); update_Node(1, x, dp[x]); return; } void solve() { cin >> n; FOR(i, 1, n-1){ int u,v; cin >> u >> v; adj[u].pb(v), adj[v].pb(u); } dfs(), decompose(); cin >> q; FOR(i, 1, q){ int a,b,cost; cin >> a >> b >> cost; int lca = get_LCA(a, b); if(lca == a || lca == b){ Query[lca].push_back({lca ^ a ^ b, cost}); } else{ QueryPair[lca].push_back({a, b, cost}); } } proc_dp(); cout << *max_element(dp+1, dp+1+n) <<"\n"; return; } signed main() { ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0); #define name "InvMOD" if(fopen(name".INP", "r")){ freopen(name".INP","r",stdin); freopen(name".OUT","w",stdout); } int t = 1; //cin >> t; while(t--) solve(); return 0; }

Compilation message (stderr)

election_campaign.cpp: In function 'll get_range(int, int, int)':
election_campaign.cpp:47:9: warning: statement has no effect [-Wunused-value]
   47 |     for(r; r > 0; r -= r&-r){
      |         ^
election_campaign.cpp: In function 'int main()':
election_campaign.cpp:211:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  211 |         freopen(name".INP","r",stdin);
      |         ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~
election_campaign.cpp:212:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  212 |         freopen(name".OUT","w",stdout);
      |         ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...