use std::cmp::*; // https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8 macro_rules! input { ($($r:tt)*) => { let stdin = std::io::stdin(); let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock())); let mut next = move || -> String{ bytes.by_ref().map(|r|r.unwrap() as char) .skip_while(|c|c.is_whitespace()) .take_while(|c|!c.is_whitespace()) .collect() }; input_inner!{next, $($r)*} }; } macro_rules! input_inner { ($next:expr) => {}; ($next:expr,) => {}; ($next:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($next, $t); input_inner!{$next $($r)*} }; } macro_rules! read_value { ($next:expr, ( $($t:tt),* )) => { ($(read_value!($next, $t)),*) }; ($next:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($next, $t)).collect::>() }; ($next:expr, $t:ty) => ($next().parse::<$t>().expect("Parse error")); } fn main() { input! { n: usize, m: usize, xab: [(usize, usize, usize); n], } const W: usize = 100_100; let mut ans = n; let mut aidd = vec![vec![]; W]; let mut two = 0; let mut three = 0; let mut freq = vec![[0; 3]; W]; let mut pos = 0; for i in 0..n { let (x, a, b) = xab[i]; aidd[a].push(i); if x == 3 { three += 1; } if x == 2 { two += 1; } if x <= 2 { freq[b][x] += 1; } } for sa in (0..W).rev() { for &idx in &aidd[sa] { let (x, _a, b) = xab[idx]; let nx = x + if pos >= b { 1 } else { 0 }; if nx <= 2 { freq[b][x] -= 1; if nx <= 1 { freq[b][nx + 1] += 1; } } if pos >= b { match x { 1 => two += 1, 2 => { two -= 1; three += 1; } _ => {} } } } if pos < W && two + three >= m { if two + three - freq[pos][1] >= m { three += freq[pos][2]; two += freq[pos][1] - freq[pos][2]; for j in (0..2).rev() { freq[pos][j + 1] = freq[pos][j]; } pos += 1; } else { break; } } if two + three >= m { ans = min(ans, three); } } println!("{}", ans); }