#![allow(unused_macros, unused_imports)] macro_rules! dbg { ($($xs:expr),+) => { if cfg!(debug_assertions) { std::dbg!($($xs),+) } else { ($($xs),+) } } } fn main() { input!{ n: usize, d: usize, xs: [(i64, i64); n], } let mut xs = xs; xs.sort(); let mut ok = -10_000_000_000i64; let mut ng = 0; while ng - ok > 1 { let x = (ok + ng) / 2; let mut a = 0; let mut j = usize::max_value(); let mut done = false; for m in 0..d { let mut b = i64::min_value(); let mut k = 0; for i in 0..n { if i == j { continue; } let c = a - xs[i].0 + xs[i].1; if a - xs[i].0 >= x && c >= b { b = c; k = i; } } if b == i64::min_value() { break; } a = b; j = k; if m == d-1 { done = true; } } if !done { ng = x; } else { ok = x; } } println!("{}", ok); } pub mod input { use std::{cell::RefCell, io::Read, mem}; thread_local!(static DONE: RefCell = RefCell::new(false)); #[macro_export] macro_rules! input{ (read=$read:expr,$($r:tt)*)=>{ let mut sc = input::Scanner::new($read); input_inner!{sc,$($r)*} }; ($($r:tt)*)=>{ let mut sc = input::Scanner::default(); input_inner!{sc,$($r)*} }; } #[macro_export] macro_rules! input_inner{ ($sc:expr)=>{}; ($sc:expr,)=>{}; ($sc:expr,$var:ident:$t:tt$($r:tt)*)=>{ let $var=read_value!($sc,$t); input_inner!{$sc $($r)*} }; } #[macro_export] macro_rules! read_value{ ($sc:expr,($($t:tt),*))=>{($(read_value!($sc,$t)),*)}; ($sc:expr,[$t:tt;$len:expr])=>{ (0..$len).map(|_|read_value!($sc,$t)).collect::>() }; ($sc:expr,[$t:tt])=>{{ let len = read_value!($sc, usize); (0..len).map(|_|read_value!($sc,$t)).collect::>() }}; ($sc:expr,Chars)=>{read_value!($sc,String).chars().collect::>()}; ($sc:expr,Bytes)=>{read_value!($sc,String).bytes().collect::>()}; ($sc:expr,Usize1)=>{read_value!($sc,usize)-1}; ($sc:expr,$t:ty)=>{$sc.next::<$t>()}; } pub fn buf_stdin() -> Box String> { Box::new(|| { DONE.with(|f| { assert!(!*f.borrow(), "Insufficient input"); *f.borrow_mut() = true; }); let stdin = std::io::stdin(); let mut s = String::new(); stdin.lock().read_to_string(&mut s).unwrap(); s }) } pub fn line_stdin() -> Box String> { Box::new(|| { let stdin = std::io::stdin(); let mut s = String::new(); stdin.read_line(&mut s).unwrap(); s }) } pub fn file>(path: P) -> Box String> { let path = path.as_ref().to_owned(); Box::new(move || { DONE.with(|f| { assert!(!*f.borrow(), "Insufficient input"); *f.borrow_mut() = true; }); std::fs::read_to_string(&path).unwrap() }) } pub struct Scanner { read_fn: Box String>, s: Box, input: std::str::SplitAsciiWhitespace<'static>, } impl Default for Scanner { fn default() -> Self { Self::new(if cfg!(debug_assertions) { line_stdin() } else { buf_stdin() }) } } impl Scanner { pub fn new(read_fn: Box String>) -> Self { Self { read_fn, s: "".into(), input: "".split_ascii_whitespace(), } } pub fn next(&mut self) -> T where T::Err: std::fmt::Debug, { if let Some(v) = self.input.next() { v.parse::().expect("Parse error") } else { self.s = (&mut self.read_fn)().into_boxed_str(); let s: &'static str = unsafe { mem::transmute(&*self.s) }; self.input = s.split_ascii_whitespace(); self.next() } } } }