#include using namespace std; template inline bool chmax(T &a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T &a, T b) { if (a > b) { a = b; return 1; } return 0; } typedef long long int ll; #define ALL(v) (v).begin(), (v).end() #define RALL(v) (v).rbegin(), (v).rend() const double EPS = 1e-7; const int INF = INT_MAX; const ll LLINF = INT64_MAX; const double PI = acos(-1); const int MOD = 1000000007; const int dx[4] = {1, 0, -1, 0}; const int dy[4] = {0, 1, 0, -1}; //------------------------------------- template struct SegmentTree { using F = function; private: int n; vector node; Monoid E; F f; public: SegmentTree(vector &v, Monoid e, const F func) : f(func), E(e) { int sz = v.size(); n = 1; while (n < sz) { n *= 2; } node.resize(2 * n - 1, E); for (int i = 0; i < sz; i++) { node[i + n - 1] = v[i]; } for (int i = n - 2; i >= 0; i--) { node[i] = f(node[2 * i + 1], node[2 * i + 2]); } } void update(int i, Monoid val) { i += (n - 1); node[i] = val; while (i > 0) { i = (i - 1) / 2; node[i] = f(node[2 * i + 1], node[2 * i + 2]); } } Monoid query(int a, int b, int i = 0, int l = 0, int r = -1) { if (r < 0) { r = n; } if (r <= a || b <= l) { return E; } if (a <= l && r <= b) { return node[i]; } Monoid vl = query(a, b, 2 * i + 1, l, (l + r) / 2); Monoid vr = query(a, b, 2 * i + 2, (l + r) / 2, r); return f(vl, vr); } Monoid operator[](const int &i) const { return node[i + n - 1]; } }; int main() { cin.tie(0); ios::sync_with_stdio(false); const int mxw = 1000000; vector a(mxw + 1); SegmentTree seg(a, 0, [](ll a, ll b) { return a + b; }); int n; ll k; cin >> n >> k; for (int i = 0; i < n; i++) { ll w; cin >> w; if (w > 0) { if (seg.query(w, mxw + 1) < k) { seg.update(w, seg[w] + 1); } } else { w = -w; if (seg[w] > 0) { seg.update(w, seg[w] - 1); } } } ll ans = seg.query(1, mxw + 1); cout << ans << endl; }