#include using namespace std; #define int long long #define REP(i,m,n) for(int i=(m);i<(n);i++) #define rep(i,n) REP(i,0,n) #define pb push_back #define all(a) a.begin(),a.end() #define rall(c) (c).rbegin(),(c).rend() #define mp make_pair #define endl '\n' //#define vec vector //#define mat vector > #define fi first #define se second #define double long double typedef long long ll; typedef unsigned long long ull; typedef pair pll; //typedef long double ld; typedef complex Complex; const ll INF=1e9+7; const ll MOD=998244353; const ll inf=INF*INF; const ll mod=MOD; const ll MAX=200010; const double PI=acos(-1.0); typedef vector > mat; typedef vector vec; //SegmentTree template< typename Monoid > struct SegmentTree { using F = function< Monoid(Monoid, Monoid) >; int sz; vector< Monoid > seg; const F f; const Monoid M1; SegmentTree(int n, const F f, const Monoid &M1) : f(f), M1(M1) { sz = 1; while(sz < n) sz <<= 1; seg.assign(2 * sz, M1); } void set(int k, const Monoid &x) { seg[k + sz] = x; } void build() { for(int k = sz - 1; k > 0; k--) { seg[k] = f(seg[2 * k + 0], seg[2 * k + 1]); } } void update(int k, const Monoid &x) { k += sz; seg[k] = x; while(k >>= 1) { seg[k] = f(seg[2 * k + 0], seg[2 * k + 1]); } } Monoid query(int a, int b) { Monoid L = M1, R = M1; for(a += sz, b += sz; a < b; a >>= 1, b >>= 1) { if(a & 1) L = f(L, seg[a++]); if(b & 1) R = f(seg[--b], R); } return f(L, R); } Monoid operator[](const int &k) const { return seg[k + sz]; } }; void solve(){ ll n,d;cin>>n>>d; vectorx(0); rep(i,n){ ll a,b;cin>>a>>b; x.pb(mp(-a,b-a)); } sort(all(x)); SegmentTree >seg(n,[](pair a,pair b){ pairc; if(a.fi.fi>b.fi.fi){ c=a; if(a.se.fi1){ ll mid=(r+l)/2; ll la=-1; ll now=0; bool f=1; rep(i,d){ ll p=lower_bound(all(x),mp(-now-mid,-inf))-x.begin(); pairc=seg.query(p,n); if(c.fi.se==-1){ f=0; break; } if(c.fi.se!=la){ la=c.fi.se; now+=c.fi.fi; }else{ if(c.se.se==-1){ f=0; break; } la=c.se.se; now+=c.se.fi; } } if(f)r=mid; else l=mid; } cout<<-r<