AtCoder Problems in C++ #D - Stamp

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

#D - Stamp

atcoder.jp

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

/*
AtCoder Problems in C++
#D - Stamp
https://atcoder.jp/contests/abc185/tasks/abc185_d
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
using namespace std;
int main(void){
  int n,m;
  cin>>n>>m;
  vector<int> a(m+2),b;
  a[0]=0;
  a[m+1]=n+1;
  for(int i=1;i<=m;i++){
    cin>>a[i];
  }
  sort(a.begin(),a.end());
  int k=n;
  for(int i=1;i<=m+1;i++){
    int num=a[i]-a[i-1]-1;
    if(num>0){
      b.push_back(num);
      k=min(k,num);
    }
  }
  int ans=0;
  for(int i : b){
    ans+=(i+k-1)/k;
  }
  cout<<ans<<endl;
  return 0;
}

AtCoder Beginner Contestは、オンラインジャッジによるプログラミングコンテストです。
日本語と英語に対応していて、週末ごとに実施されているみたいです。
https://practice.contest.atcoder.jp/tutorial
アカウントを登録すれば、誰でも参加できます。