AtCoder Problems in C++ #D - サプリメント

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

#D - サプリメント

atcoder.jp

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

/*
AtCoder Problems in C++
#D - サプリメント
https://atcoder.jp/contests/abc017/tasks/abc017_4
提出コードの解答例
https://neguse-atama.hatenablog.com
*/
#include<bits/stdc++.h>
#include<atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
using mi=modint1000000007;
int main(void){
  ll n,m;
  cin>>n>>m;
  vector<ll> f(n);
  for(ll i=0;i<n;i++){
    cin>>f[i];
    f[i]--;
  }
  vector<ll> v(m);
  ll nu=0;
  vector<mi> dp(n+1);
  mi num=0;
  dp[0]=1;
  for(ll i=0;i<n;i++){
    num+=dp[i];
    v[f[i]]++;
    while(v[f[i]]>1){
      num-=dp[nu];
      v[f[nu++]]--;
    }
    dp[i+1]=num;
  }
  cout<<dp[n].val()<<endl;
  return 0;
}

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