結果

問題 No.1526 Sum of Mex 2
ユーザー 沙耶花沙耶花
提出日時 2021-05-31 20:21:46
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 279 ms / 3,000 ms
コード長 1,332 bytes
コンパイル時間 5,303 ms
コンパイル使用メモリ 281,120 KB
実行使用メモリ 15,872 KB
最終ジャッジ日時 2024-11-08 21:33:51
合計ジャッジ時間 10,274 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 3 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 2 ms
5,248 KB
testcase_12 AC 3 ms
5,248 KB
testcase_13 AC 28 ms
5,248 KB
testcase_14 AC 34 ms
5,888 KB
testcase_15 AC 43 ms
6,144 KB
testcase_16 AC 251 ms
15,488 KB
testcase_17 AC 167 ms
13,348 KB
testcase_18 AC 16 ms
5,248 KB
testcase_19 AC 14 ms
5,248 KB
testcase_20 AC 95 ms
9,088 KB
testcase_21 AC 236 ms
15,228 KB
testcase_22 AC 127 ms
9,984 KB
testcase_23 AC 256 ms
15,360 KB
testcase_24 AC 279 ms
15,648 KB
testcase_25 AC 247 ms
15,184 KB
testcase_26 AC 254 ms
15,616 KB
testcase_27 AC 260 ms
15,744 KB
testcase_28 AC 278 ms
15,744 KB
testcase_29 AC 263 ms
15,596 KB
testcase_30 AC 267 ms
15,840 KB
testcase_31 AC 266 ms
15,844 KB
testcase_32 AC 246 ms
15,432 KB
testcase_33 AC 115 ms
15,872 KB
evil_largest AC 408 ms
46,048 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