Submission #666435

#TimeUsernameProblemLanguageResultExecution timeMemory
666435MilosMilutinovicThe short shank; Redemption (BOI21_prison)C++14
80 / 100
2051 ms111240 KiB
/**
 *    author:  wxhtzdy
 *    created: 28.11.2022 15:11:47
**/
#include <bits/stdc++.h>

using namespace std;

int readint() {
  char c = getchar();
  while (c < '0' || c > '9') {
    c = getchar();
  }
  int x = 0;
  while (c >= '0' && c <= '9') {
    x = x * 10 + (c - '0');
    c = getchar();
  }
  return x;
}

const int N = 2000005;

int a[N];
int add[4 * N];
int mx[4 * N];
int idx[4 * N];
pair<int, int> mn[4 * N];
int prv[N];

int main() {
  int n = readint();
  int d = readint();
  int t = readint();   
  for (int i = 0; i < n; i++) {
    a[i] = readint();
  }
  vector<int> stk;
  for (int i = 0; i < n; i++) {
    while (!stk.empty() && a[stk.back()] + i - stk.back() > t) {
      stk.pop_back();
    }
    while (!stk.empty() && a[stk.back()] - stk.back() > a[i] - i) {
      stk.pop_back();
    }      
    prv[i] = (a[i] <= t ? i : (stk.empty() ? -1 : stk.back()));
    stk.push_back(i);
  }
  function<void(int, int, int)> Build = [&](int x, int l, int r) {
    idx[x] = l;
    if (l == r) {
      mn[x] = make_pair(prv[l] == -1 ? n + 1 : prv[l], l);
      return;
    }
    int y = (l + r) >> 1;
    int z = x + 2 * (y - l + 1);
    Build(x + 1, l, y);
    Build(z, y + 1, r);
    mn[x] = min(mn[x + 1], mn[z]);
  };
  function<void(int, int, int)> Pull = [&](int x, int y, int z) {
    if (mx[y] >= mx[z]) {
      mx[x] = mx[y];
      idx[x] = idx[y];
    } else {
      mx[x] = mx[z];
      idx[x] = idx[z];
    }
  };
  function<void(int, int, int, int, int, int)> Modify = [&](int x, int l, int r, int ll, int rr, int v) {
    if (ll <= l && r <= rr) {
      add[x] += v;
      mx[x] += v;
      return;
    }  
    if (l > rr || r < ll) {
      return;
    }
    int y = (l + r) >> 1;
    int z = x + 2 * (y - l + 1);
    if (add[x] != 0) {
      mx[x + 1] += add[x];
      mx[z] += add[x];
      add[x + 1] += add[x];
      add[z] += add[x];
      add[x] = 0;
    }
    Modify(x + 1, l, y, ll, rr, v);
    Modify(z, y + 1, r, ll, rr, v);
    Pull(x, x + 1, z);
  };
  Build(0, 0, n - 1);
  function<pair<int, int>(int, int, int, int, int)> Query = [&](int x, int l, int r, int ll, int rr) {
    if (ll <= l && r <= rr) {
      return mn[x];
    }
    if (l > rr || r < ll) {
      return make_pair(n + 2, -1);
    }
    int y = (l + r) >> 1;
    int z = x + 2 * (y - l + 1);
    return min(Query(x + 1, l, y, ll, rr), Query(z, y + 1, r, ll, rr));
  };
  function<void(int, int, int, int)> Remove = [&](int x, int l, int r, int i) {
    if (l == r) {
      mn[x] = make_pair(n + 1, l);
      return;
    }
    int y = (l + r) >> 1;
    int z = x + 2 * (y - l + 1);
    if (i <= y) {
      Remove(x + 1, l, y, i);
    } else {
      Remove(z, y + 1, r, i);
    }
    mn[x] = min(mn[x + 1], mn[z]);
  };
  int ans = 0;
  for (int i = 0; i < n; i++) {
    if (prv[i] != -1) {
      ans += 1;
      if (prv[i] < i) {
        Modify(0, 0, n - 1, prv[i], i - 1, +1);
      } 
    }  
  }
  while (d--) {
    int i = idx[0];
    ans -= mx[0];
    assert(mx[0] >= 0);
    Modify(0, 0, n - 1, i, i, -1e9);
    while (i < n - 1) {
      auto p = Query(0, 0, n - 1, i + 1, n - 1);
      if (p.first <= i) {
        Modify(0, 0, n - 1, p.first, p.second - 1, -1);
        Remove(0, 0, n - 1, p.second);
      } else {
        break;
      }                      
    }
  }
  printf("%d", ans);
  return 0;
}
#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...