#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define REP(i, n) for (int (i) = 0; (i) < (n); (i)++) #define FOR(i, a, b) for (int (i) = (a); (i) < (b); (i)++) #define RREP(i, a) for(int (i) = (a) - 1; (i) >= 0; (i)--) #define FORR(i, a, b) for(int (i) = (a) - 1; (i) >= (b); (i)--) #define DEBUG(C) cerr << #C << " = " << C << endl; using LL = long long; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; using VD = vector; using VVD = vector; using PII = pair; using PDD = pair; using PLL = pair; using VPII = vector; template using VT = vector; #define ALL(a) begin((a)), end((a)) #define RALL(a) rbegin((a)), rend((a)) #define SORT(a) sort(ALL((a))) #define RSORT(a) sort(RALL((a))) #define REVERSE(a) reverse(ALL((a))) #define MP make_pair #define FORE(a, b) for (auto &&a : (b)) #define FIND(s, e) ((s).find(e) != (s).end()) #define EB emplace_back const int INF = 1e9; const int MOD = INF + 7; const LL LLINF = 1e18; /** * Binary_Indexed_Tree(BIT) * Fenwick Tree * 1-indexed!!! */ template class BIT { private: std::vector bit; const int N; public: BIT() : N(-1) {} BIT(int n) : N(n), bit(n + 1, 0) {} //bit[point]にnum追加 void add(int point, T num) { assert(N != -1 && 0 <= point && point <= N); while (point <= N) { bit[point] += num; point += point & -point; } } //pointまでの値の和を返す T sum(int point) { assert(N != -1 && 0 <= point && point <= N); T res = 0; while (point > 0) { res += bit[point]; point -= point & -point; } return res; } }; int N, K; const int MAX = 1000000; int main(void) { scanf("%d%d", &N, &K); BIT bt(MAX); REP(i, N) { int n; scanf("%d", &n); if (n < 0) { n *= -1; if(bt.sum(n) - bt.sum(n - 1) > 0) { bt.add(n, -1); } } else { if (bt.sum(MAX) - bt.sum(n - 1) < K) { bt.add(n, 1); } } } cout << bt.sum(MAX) << endl; }