AtCoder Problems in C++ #A - ストーブ (Stove)

JOI 2017/2018 本選の過去問から、その提出コードの解答例です。
AtCoderとは、コンテストを通じて、プログラミングやアルゴリズムを学習するサービスです。
atcoder.jp
プログラミングコンテストとは、「与えられた問題をいかに素早く、正確に」解くことができるかを競うものです。
「競技プログラミング」を略して、「競プロ」などと呼ばれています。

#A - ストーブ (Stove)

atcoder.jp

僕が作成、提出したコードは、以下のとおりです。

/*
AtCoder Problems in C++
#A - ストーブ (Stove)
https://atcoder.jp/contests/joi2018ho/tasks/joi2018ho_a
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
using namespace std;
using ll=long long;
int main(void){
  ll n,k;
  cin>>n>>k;
  vector<ll> t(n);
  for(int i=0;i<n;i++){
    cin>>t[i];
  }
  ll ans=n;
  priority_queue<ll,vector<ll>,greater<ll>> pq;
  for(ll i=1;i<n;i++){
    pq.emplace(t[i]-t[i-1]-1);
  }
  for(ll i=0;i<n-k;i++){
    ans+=pq.top();
    pq.pop();
  }
  cout<<ans<<endl;
  return 0;
}