import std.conv, std.functional, std.stdio, std.string; import std.algorithm, std.array, std.bigint, std.container, std.math, std.numeric, std.range, std.regex, std.typecons; import core.bitop; class EOFException : Throwable { this() { super("EOF"); } } string[] tokens; string readToken() { for (; tokens.empty; ) { if (stdin.eof) { throw new EOFException; } tokens = readln.split; } auto token = tokens.front; tokens.popFront; return token; } int readInt() { return readToken.to!int; } long readLong() { return readToken.to!long; } real readReal() { return readToken.to!real; } bool chmin(T)(ref T t, in T f) { if (t > f) { t = f; return true; } else { return false; } } bool chmax(T)(ref T t, in T f) { if (t < f) { t = f; return true; } else { return false; } } int binarySearch(alias pred, T)(in T[] as) { int lo = -1, hi = cast(int)(as.length); for (; lo + 1 < hi; ) { const mid = (lo + hi) >> 1; (unaryFun!pred(as[mid]) ? hi : lo) = mid; } return hi; } int lowerBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a >= val)); } int upperBound(T)(in T[] as, T val) { return as.binarySearch!(a => (a > val)); } void bAdd(T)(T[] bit, int pos, T val) in { assert(0 <= pos && pos < bit.length, "bAdd: 0 <= pos < |bit| must hold"); } do { for (int x = pos; x < bit.length; x |= x + 1) { bit[x] += val; } } // sum of [0, pos) T bSum(T)(T[] bit, int pos) in { assert(0 <= pos && pos <= bit.length, "bSum: 0 <= pos <= |bit| must hold"); } do { T sum = 0; for (int x = pos - 1; x >= 0; x = (x & (x + 1)) - 1) { sum += bit[x]; } return sum; } // min pos s.t. pred(sum of [0, pos)) T bBinarySearch(alias pred, T)(T[] bit) in { assert(!(bit.length & (bit.length - 1)), "bBinarySearch: |bit| must be a power of 2"); } do { import std.functional : unaryFun; alias predFun = unaryFun!pred; if (predFun(0)) return 0; if (!predFun(bit[$ - 1])) return cast(int)(bit.length) + 1; int lo = 0, hi = cast(int)(bit.length); T sum = 0; for (; lo + 1 < hi; ) { const mid = (lo + hi) >> 1; if (predFun(sum + bit[mid - 1])) { hi = mid; } else { lo = mid; sum += bit[mid - 1]; } } return hi; } enum LIM = 1 << 17; int N, M; int[] X, A, B; void main() { try { for (; ; ) { N = readInt(); M = readInt(); X = new int[N]; A = new int[N]; B = new int[N]; foreach (i; 0 .. N) { X[i] = readInt(); A[i] = readInt(); B[i] = readInt(); } auto as = new Tuple!(int, int)[N]; foreach (i; 0 .. N) { as[i] = tuple(A[i], i); } as.sort; auto bits = new int[][](5, LIM); foreach (i; 0 .. N) { bits[X[i] + 1].bAdd(B[i], +1); } int ans = N + 1; for (int j = 0, k; j < N; j = k) { for (k = j; k < N && as[j][0] == as[k][0]; ++k) { const i = as[k][1]; bits[X[i] + 1].bAdd(B[i], -1); bits[X[i] + 0].bAdd(B[i], +1); } const sum4 = bits[4].bSum(LIM); const sum3 = bits[3].bSum(LIM); const sum2 = bits[2].bSum(LIM); const sum1 = bits[1].bSum(LIM); const b = bits[1].bBinarySearch!(s => (sum4 + sum3 + sum2 + sum1 - s < M)) - 1; if (b >= 0) { const score = sum4 + sum3 + sum2 - bits[2].bSum(b); debug { writeln(as[j][0], " ", b, ": ", score); } chmin(ans, score); } } writeln(ans); } } catch (EOFException e) { } }