結果

問題 No.1526 Sum of Mex 2
ユーザー 沙耶花沙耶花
提出日時 2021-05-31 20:21:46
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 251 ms / 3,000 ms
コード長 1,332 bytes
コンパイル時間 4,645 ms
コンパイル使用メモリ 277,192 KB
実行使用メモリ 15,784 KB
最終ジャッジ日時 2023-08-08 15:40:19
合計ジャッジ時間 9,778 ms
ジャッジサーバーID
（参考情報） 		judge14 / judge15
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 2 ms
4,380 KB
testcase_03 AC 2 ms
4,380 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 1 ms
4,380 KB
testcase_06 AC 2 ms
4,376 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 2 ms
4,384 KB
testcase_11 AC 2 ms
4,380 KB
testcase_12 AC 2 ms
4,376 KB
testcase_13 AC 27 ms
4,976 KB
testcase_14 AC 32 ms
5,572 KB
testcase_15 AC 41 ms
6,180 KB
testcase_16 AC 240 ms
15,300 KB
testcase_17 AC 159 ms
13,240 KB
testcase_18 AC 15 ms
4,452 KB
testcase_19 AC 13 ms
4,380 KB
testcase_20 AC 92 ms
8,724 KB
testcase_21 AC 227 ms
15,036 KB
testcase_22 AC 123 ms
9,892 KB
testcase_23 AC 234 ms
15,256 KB
testcase_24 AC 245 ms
15,624 KB
testcase_25 AC 229 ms
15,092 KB
testcase_26 AC 239 ms
15,200 KB
testcase_27 AC 244 ms
15,564 KB
testcase_28 AC 246 ms
15,416 KB
testcase_29 AC 245 ms
15,420 KB
testcase_30 AC 251 ms
15,756 KB
testcase_31 AC 251 ms
15,748 KB
testcase_32 AC 235 ms
15,304 KB
testcase_33 AC 112 ms
15,784 KB
evil_largest AC 390 ms
46,136 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001
vector<int> A;

struct Data{
	long long v = 0;
	long long sz = 0;
};

Data op(Data a,Data b){
	a.v += b.v;
	a.sz += b.sz;
	return a;
}

Data e(){
	return Data();
}

Data mapping(long long a,Data b){
	if(a==-1)return b;
	b.v = a * b.sz;
	return b;
}

long long composition(long long a,long long b){
	if(a==-1)return b;
	if(b==-1)return a;
	return a;
}

long long id(){
	return -1;
}

int main(){
	
	int N;
	cin>>N;
	
	A.resize(N);
	
	rep(i,N){
		scanf("%d",&A[i]);
	}
	
	vector<int> Nxt(N+1,N);
	vector<int> nxt(N);
	for(int i=N-1;i>=0;i--){
		nxt[i] = Nxt[A[i]];
		Nxt[A[i]] = i;
	}
	
	vector<Data> mexs(N);
	
	set<int> S;
	map<int,int> mp;
	for(int i=1;i<=N+1;i++){
		S.insert(i);
	}
	rep(i,N){
		mp[A[i]]++;
		S.erase(A[i]);
		mexs[i].v = (*S.begin());
		mexs[i].sz = 1;
	}
	
	lazy_segtree<Data,op,e,long long,mapping,composition,id> seg(mexs);
	
	long long ans = 0LL;
	
	rep(i,N){
		ans += seg.prod(i,N).v;
		//cout<<seg.prod(i,N).v<<endl;
		
		int ok = nxt[i],ng = i;
		while(ok-ng>1){
			int mid = (ok+ng)/2;
			if(seg.get(mid).v >= A[i])ok = mid;
			else ng=  mid;
		}
		seg.apply(ok,nxt[i],A[i]);
		
		
	}
	
	cout<<ans<<endl;
	
	
	return 0;
}
0