#pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #pragma GCC optimize("Ofast") #include #include using namespace std; #if __has_include() #include using namespace atcoder; #endif using ll = long long; using ld = long double; using ull = unsigned long long; #define endl "\n" typedef pair Pii; #define REP3(i, m, n) for (int i = (m); (i) < int(n); ++ (i)) #define FOR(i,a,b) for(ll i=a;i<=(ll)(b);i++) #define rep(i,a,b) for(int i=(int)(a);i<(int)(b);i++) #define ALL(x) begin(x), end(x) #define all(s) (s).begin(),(s).end() //#define rep2(i, m, n) for (int i = (m); i < (n); ++i) //#define rep(i, n) rep2(i, 0, n) #define PB push_back #define drep2(i, m, n) for (int i = (m)-1; i >= (n); --i) #define drep(i, n) drep2(i, n, 0) #define rever(vec) reverse(vec.begin(), vec.end()) #define sor(vec) sort(vec.begin(), vec.end()) //#define FOR(i,a,b) for(ll i=a;i<=(ll)(b);i++) #define fi first #define se second #define pb push_back #define P pair #define NP next_permutation //const ll mod = 1000000009; const ll mod = 998244353; //const ll mod = 1000000007; const ll inf = 4100000000000000000ll; const ld eps = ld(0.00000000001); //static const long double pi = 3.141592653589793; templatevoid vcin(vector &n){for(int i=0;i>n[i];} templatevoid vcin(vector &n,vector &m){for(int i=0;i>n[i]>>m[i];} templatevoid vcout(vector &n){for(int i=0;ivoid vcin(vector> &n){for(int i=0;i>n[i][j];}}} templatevoid vcout(vector> &n){for(int i=0;iauto min(const T& a){ return *min_element(all(a)); } templateauto max(const T& a){ return *max_element(all(a)); } templatevoid print(pair a){cout<bool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b void ifmin(T t,T u){if(t>u){cout<<-1< void ifmax(T t,T u){if(t>u){cout<<-1<auto make_vector(T x,int arg,Args ...args){if constexpr(sizeof...(args)==0)return vector(arg,x);else return vector(arg,make_vector(x,args...));} ll fastgcd(ll u,ll v){ll shl=0;while(u&&v&&u!=v){bool eu=!(u&1);bool ev=!(v&1);if(eu&&ev){++shl;u>>=1;v>>=1;}else if(eu&&!ev){u>>=1;}else if(!eu&&ev){v>>=1;}else if(u>=v){u=(u-v)>>1;}else{ll tmp=u;u=(v-u)>>1;v=tmp;}}return !u?v<>= 1; } return ret; } vector divisor(ll x){ vector ans; for(ll i = 1; i * i <= x; i++){ if(x % i == 0) {ans.push_back(i); if(i*i!=x){ ans.push_back(x / ans[i]);}}}sor(ans); return ans; } ll pop(ll x){return __builtin_popcountll(x);} ll poplong(ll x){ll y=-1;while(x){x/=2;y++;}return y;} template struct Sum{ vector data; Sum(const vector& v):data(v.size()+1){ for(ll i=0;i struct Sum2{ vector> data; Sum2(const vector> &v):data(v.size()+1,vector(v[0].size()+1)){ for(int i=0;i class MinCostFlowDAG { public: using Cat = CapType; using Cot = CostType; using pti = pair; struct edge { int to, rev; Cat cap; Cot cost; }; const int V; const Cot inf; vector > G; vector h, dist; vector deg, ord, prevv, preve; MinCostFlowDAG(const int node_size) : V(node_size), inf(numeric_limits::max()), G(V), h(V, inf), dist(V), deg(V, 0), prevv(V), preve(V){} void add_edge(const int from, const int to, const Cat cap, const Cot cost){ if(cap == 0) return; G[from].push_back((edge){to, (int)G[to].size(), cap, cost}); G[to].push_back((edge){from, (int)G[from].size() - 1, 0, -cost}); ++deg[to]; } bool tsort(){ queue que; for(int i = 0; i < V; ++i){ if(deg[i] == 0) que.push(i); } while(!que.empty()){ const int p = que.front(); que.pop(); ord.push_back(p); for(auto& e : G[p]){ if(e.cap > 0 && --deg[e.to] == 0) que.push(e.to); } } return (*max_element(deg.begin(), deg.end()) == 0); } void calc_potential(const int s){ h[s] = 0; for(const int v : ord){ if(h[v] == inf) continue; for(const edge& e : G[v]){ if(e.cap > 0) h[e.to] = min(h[e.to], h[v] + e.cost); } } } void Dijkstra(const int s){ priority_queue,greater > que; fill(dist.begin(), dist.end(), inf); dist[s] = 0; que.push(pti(0, s)); while(!que.empty()){ pti p = que.top(); que.pop(); const int v = p.second; if(dist[v] < p.first) continue; for(int i = 0; i < (int)G[v].size(); ++i){ edge& e = G[v][i]; if(e.cap > 0 && dist[e.to] > dist[v] + e.cost + h[v] - h[e.to]){ dist[e.to] = dist[v] + e.cost + h[v] - h[e.to]; prevv[e.to] = v, preve[e.to] = i; que.push(pti(dist[e.to], e.to)); } } } } void update(const int s, const int t, Cat& f, Cot& res){ for(int i = 0; i < V; i++){ if(dist[i] != inf) h[i] += dist[i]; } Cat d = f; for(int v = t; v != s; v = prevv[v]){ d = min(d, G[prevv[v]][preve[v]].cap); } f -= d; res += h[t] * d; for(int v = t; v != s; v = prevv[v]){ edge& e = G[prevv[v]][preve[v]]; e.cap -= d; G[v][e.rev].cap += d; } } Cot solve(const int s, const int t, Cat f){ if(!tsort()) assert(false); // not DAG calc_potential(s); Cot res = 0; while(f > 0){ Dijkstra(s); if(dist[t] == inf) return -inf; update(s, t, f, res); } return res; } }; int main() { cincout(); ll n,k; cin>>n>>k; MinCostFlowDAG mcf(n); vector now(n); for(int i=0;i>x>>y; now[i]=x; for(int j=0;j>z; z--; mcf.add_edge(z,i,1,-(now[i]-now[z])); } if(i) mcf.add_edge(i-1,i,inf,0); } cout<<-mcf.solve(0,n-1,k)<