結果

問題 No.1526 Sum of Mex 2
ユーザー vjudge1
提出日時 2025-07-20 21:48:10
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 22 ms / 3,000 ms
コード長 2,501 bytes
コンパイル時間 2,072 ms
コンパイル使用メモリ 200,584 KB
実行使用メモリ 10,092 KB
最終ジャッジ日時 2025-07-20 21:48:14
合計ジャッジ時間 3,514 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 31 WA * 1
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;
int n;
long long a[200005];
long long nxt[200005];
long long dd[200005];
long long val;
long long ans=0;
long long now[200005];
set<long long>s;
int main() {
    ios_base::sync_with_stdio(0);
    cin.tie(0);
    cout.tie(0);
    cin>>n;
    for(long long i=1; i<=n; i++)cin>>a[i];
    for(long long i=1; i<=n+1; i++)dd[i]=n+1;
    for(long long i=n; i>=1; i--)nxt[i]=dd[a[i]],dd[a[i]]=i;
    long long maxx=0;
    for(long long i=1; i<=n+1; i++) {
        if(dd[i]>maxx) {
            maxx=dd[i];
            s.insert(i);
        }
        now[i]=dd[i];

    }
    long long pre=1;
    for(auto it=s.begin(); it!=s.end(); it++) {
        val+=(*it)*(now[*it]-pre);
        pre=now[*it];
    }
    ans=val;
    for(long long i=1; i<=n-1; i++) {
        if(now[*s.begin()]>i)
            val-=(*s.begin());
        auto it=s.lower_bound(a[i]);
        if(it==s.end()) {
            ans+=val;
            continue;
        }
        if(it!=s.begin()&&now[*prev(it)]>nxt[i]){ans+=val;continue;}
        if(*it==a[i]) {
            long long ll;
            long long r;
            if(it==s.begin())ll=i+1;
            else ll=now[*prev(it)];
            r=*next(it);
            if(now[a[i]]>=ll)
                val-=a[i]*(now[a[i]]-ll);
            val-=r*(now[r]-now[a[i]]);
            val+=r*(now[r]-ll);
            s.erase(it++);
        }
        now[a[i]]=nxt[i];
        while(next(it)!=s.end()&&now[a[i]]>now[*it]) {
            long long ll;
            long long r;
            if(it==s.begin())ll=i+1;
            else ll=now[*prev(it)];
            r=*next(it);
            val-=(*it)*(now[*it]-ll);
            val-=r*(now[r]-now[*it]);
            val+=r*(now[r]-ll);
            s.erase(it++);
        }
        if(*it<a[i]) {
            ans+=val;
            continue;
        }
        if(now[a[i]]>=now[*it]) {
            long long ll;
            long long r;
            if(it==s.begin())ll=i+1;
            else ll=now[*prev(it)];
            val-=(*it)*(now[*it]-ll);
            val+=a[i]*(now[a[i]]-ll);
            s.erase(it);
        } else {
            long long ll;
            long long r;
            if(it==s.begin())ll=i+1;
            else ll=now[*prev(it)];
            r=*it;
            val-=(*it)*(now[*it]-ll);
            val+=a[i]*(now[a[i]]-ll);
            val+=r*(now[r]-now[a[i]]);
        }
        s.insert(a[i]);
        ans+=val;
        //cout<<i<<" "<<val<<'\n';
    }
    cout<<ans;
    return 0;
}
0