Submission #421696

#TimeUsernameProblemLanguageResultExecution timeMemory
421696Kevin_Zhang_TWShortcut (IOI16_shortcut)C++17
38 / 100
2066 ms1028 KiB
#pragma GCC optimize("Ofast") #include <bits/stdc++.h> #include "shortcut.h" using namespace std; using ll = long long; #define pb emplace_back #define AI(i) begin(i), end(i) template<class T> bool chmin(T &a, T b) { return b < a && (a = b, true); } template<class T> bool chmax(T &a, T b) { return a < b && (a = b, true); } #ifdef KEV #define DE(args...) kout("[ " + string(#args) + " ] = ", args) void kout() { cerr << endl; } template<class T, class ...U> void kout(T a, U ...b) { cerr << a << ' ', kout(b...); } template<class T> void debug(T l, T r) { while (l != r) cerr << *l << " \n"[next(l)==r], ++l; } #else #define DE(...) 0 #define debug(...) 0 #endif const int MAX_N = 3010; // inf is big enough const ll inf = 1ll << 59; int n, C; ll pf[MAX_N], suf[MAX_N], loc[MAX_N]; ll pfd[MAX_N], sufd[MAX_N]; ll dis(int i, int j) { return abs(loc[i] - loc[j]); } vector<int> l, d; void init() { for (int i = 0;i+1 < n;++i) { loc[i+1] = loc[i] + l[i]; } { pfd[0] = pf[0] = d[0]; for (int i = 1;i < n;++i) { pf[i] = max(pf[i-1], d[i] - loc[i]); pfd[i] = max(pfd[i-1], d[i] + loc[i] + pf[i-1]); } } { sufd[n-1] = suf[n-1] = d[n-1]; for (int i = n-2;i >= 0;--i) { suf[i] = max(suf[i+1], d[i] - (loc[n-1] - loc[i])); sufd[i] = max(sufd[i+1], d[i] + (loc[n-1] - loc[i]) + suf[i+1]); } } } ll get_dia(int a, int b) { int m = b - a + 1; ll all = dis(a, b) + C; vector<ll> ml, md; ml.pb(0); for (int i = a;i <= b;++i) { if (i < b) ml.pb(l[i]); md.pb(d[i]); } ml.pb(C); for (int i = a;i <= b;++i) if (i < b) ml.pb(l[i]); for (int i = 0;i < m;++i) { md.pb(md[i]); } for (int i = 1;i < m+m;++i) ml[i] += ml[i-1]; ll res = 0; deque< pair<ll,ll> > dq; for (int i = 0, j = 0;i < m;++i) { auto push_in = [&](int id, ll v) { while (dq.size()) { auto [j, jv] = dq.back(); if (v <= jv) break; dq.pop_back(); } dq.pb(id, v); }; while (j < m + m) { if (2 * (ml[j] - ml[i]) > all) break; push_in(j, ml[j] + md[j]), ++j; } while (dq.size() && dq[0].first == i) dq.pop_front(); if (dq.size()) { chmax(res, md[i] + dq[0].second - ml[i]); } } return res; } ll ans; ll outer(int a, int b) { ll C = min((ll)::C, dis(a, b)); ll ld = dis(0, a) + pf[a], rd = dis(b, n-1) + suf[b]; ll res = max({pfd[a], sufd[b], ld + rd + C}); return res; } ll cal(int a, int b) { //if (C >= dis(a, b)) return inf - b; ll C = min((ll)::C, dis(a, b)); ll ld = dis(0, a) + pf[a], rd = dis(b, n-1) + suf[b]; ll res = max({pfd[a], sufd[b], ld + rd + C}); //if (res >= ans) return res; for (int i = a;i <= b;++i) { // first to l, r ll tol = min(dis(i, a), dis(i, b) + C), tor = min(dis(i, b), dis(i, a) + C); if (i > a) chmax(res, d[i] + tol + ld); if (i < b) chmax(res, d[i] + tor + rd); //if (res >= ans) return res; } return max(res, get_dia(a, b)); } long long find_shortcut(int n, std::vector<int> l, std::vector<int> d, int c) { ::n = n; ::l = l; ::d = d; C = c; init(); ans = pfd[n-1]; int x = 0, y = 0; for (int i = 0;i < n;++i) for (int j = n-1;j > i;--j) { //chmin(ans, cal(i, j)); if (d[i] + d[j] + dis(i, j) == ans) { x = i, y = j+1; break; // for (int l = i;l <= j;++l) // for (int k = l+1;k <= j;++k) // chmin(ans, cal(l, k)); // break; } } // for (int j = x+1;j < y;++j) // chmin(ans, cal(x, j)); // for (int j = x;j < y-1;++j) // chmin(ans, cal(j, y-1)); // for (int i = x;i < y;++i) // for (int j = i+1;j < y;++j) // chmin(ans, cal(i, j)); // // function<void(int,int,int,int)> dcop = [&](int l, int r, int sl, int sr) { // if (l > r) return; // int mid = l + r >> 1; // int bl = -1, br = -1; // ll cur = inf; // for (int i = sl;i <= sr && i < mid;++i) { // ll v = cal(i, mid); // if (chmin(cur, v)) // bl = br = i; // else if (ans == v) br = i; //// if (chmin(ans, cal(i, mid))) //// bst = i; // } // chmin(ans, cur); // // dcop(l, mid-1, sl, br); // dcop(mid+1, r, bl, sr); // // }; // // dcop(0, n-1, 0, n-1); for (int i = 0;i < n;++i) { DE(i); int l = max(i+1, x+1), r = y-1, mid; if (l > r) continue; function<void(int,int)> bins = [&](int l, int r) { if (l > r) return; if (l == r) { chmin(ans, cal(i, l)); return; } int a = l + r >> 1, b = a + 1; ll qa = cal(i, a), qb = cal(i, b); chmin(ans, min(qa, qb)); if (qa == qb) { bins(l, a-1), bins(b+1, r); } else { if (qa < qb) bins(l, a); else bins(b, r); } }; bins(l, r); // // ll ii = cal(i, l); // while (l < r) { // mid = l + r >> 1; // if (dis(i, mid) <= C) { // l = mid+1; // continue; // } // ll qa = cal(i, mid), qb = cal(i, mid+1); // //if (qa == qb) { //// if (ii == qa) //// l = mid+1; //// else // //r = mid; // //} // if (qa < qb) // r = mid; // else // l = mid+1; // } // chmin(ans, cal(i, l)); // chmin(ans, ii); // for (int j = l-50;j <= l+50;++j) // if (l+j > i && l+j < n) // chmin(ans, cal(i, l + j)); // chmin(ans, cal(i, l)); // ll lst = inf; // bool godn = true; // for (int j = i+1;j < n;++j) { // ll now = cal(i, j); // if (now > lst) { // godn = false; // } // if (godn) assert(now <= lst); // if (!godn) assert(now >= lst); // chmin(ans, now); // lst = now; //// chmin(ans, cal(i, j)); //// DE(j, cal(i, j)); // } } return ans; }

Compilation message (stderr)

shortcut.cpp: In function 'long long int find_shortcut(int, std::vector<int>, std::vector<int>, int)':
shortcut.cpp:16:17: warning: statement has no effect [-Wunused-value]
   16 | #define DE(...) 0
      |                 ^
shortcut.cpp:198:3: note: in expansion of macro 'DE'
  198 |   DE(i);
      |   ^~
shortcut.cpp: In lambda function:
shortcut.cpp:210:14: warning: suggest parentheses around '+' inside '>>' [-Wparentheses]
  210 |    int a = l + r >> 1, b = a + 1;
      |            ~~^~~
shortcut.cpp: In function 'long long int find_shortcut(int, std::vector<int>, std::vector<int>, int)':
shortcut.cpp:200:35: warning: unused variable 'mid' [-Wunused-variable]
  200 |   int l = max(i+1, x+1), r = y-1, mid;
      |                                   ^~~
#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...
#Verdict Execution timeMemoryGrader output
Fetching results...
#Verdict Execution timeMemoryGrader output
Fetching results...