题意：给你一个序列，让你求出对于所有区间<i, j>的mex和，mex表示该区间没有出现过的最小的整数。
思路：从时限和点数就可以看出是线段树，并且我们可以枚举左端点i， 然后求出所有左端点为i的区间内mex值的和。
先把数插满，然后先询问后删除当前最左边的断点i。而且显然线段树里面保存的是mex值，而且这个序列是非递减的。
分析：我们先预处理出对于右端点为i的所有<1，i>的mex，分别插入线段树的i位置。然后每次删除最左边的左端点i
,假如当前我们要删除a[i] ，我们找到它之后第一个位置j满足a[i] == a[j], 那么区间i------j-1里面的所有mex都要更新，取线段树内的值和a[i]的最小值。 实际操作我们只要找到第一个比a[i]的位置l， r = j-1， 更新<l，r>之间的mex为a[i]即可。
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long ll;
#define lson l, m, rt<<1
#define rson m+1, r, rt<<1|1
#define ls rt<<1
#define rs rt<<1|1
#define Mid int m = l+r>>1
const int maxn = 2000006;
int next[maxn], pre[maxn], n;
int a[maxn], mex;
bool vis[maxn];
ll sum[maxn<<2];
int mx[maxn<<2], col[maxn<<2];
void build(int l=1, int r=n, int rt=1) {
col[rt] = -1;
sum[rt] = 0;
mx[rt] = 0;
if(l == r) return;
Mid;
build(lson);
build(rson);
}
inline void down(int l, int r, int rt) {
if(~col[rt]) {
col[ls] = col[rs] = col[rt];
Mid;
sum[ls] = (ll)(m-l+1)*col[rt];
mx[ls] = mx[rs] = col[rt];
sum[rs] = (ll)(r-m)*col[rt];
col[rt] = -1;
}
}
inline void up(int rt) {
sum[rt] = sum[ls] + sum[rs];
mx[rt] = max(mx[ls], mx[rs]);
}
void update(int L, int R, int v, int l=1, int r=n, int rt=1) {
if(L <= l && r <= R) {
col[rt] = mx[rt] = v;
sum[rt] = (ll)(r-l+1)*v;
return;
}
Mid; down(l, r, rt);
if(L <= m) update(L, R, v, lson);
if(R > m) update(L, R, v, rson);
up(rt);
}
ll query(int L, int R, int l=1, int r=n, int rt=1) {
if(L <= l && r <= R)
return sum[rt];
Mid; down(l, r, rt);
ll ret = 0;
if(L <= m) ret += query(L, R, lson);
if(R > m) ret += query(L, R, rson);
up(rt);
return ret;
}
int find(int v, int l=1, int r=n, int rt=1) {
if(mx[rt] <= v) return n+1;
if(l == r) return l;
Mid; down(l, r, rt);
if(mx[ls] > v) return find(v, lson);
else return find(v, rson);
}
int main() {
int i, j;
while(~scanf("%d", &n) && n) {
for(i = 1; i <= n; i++) {
scanf("%d", &a[i]);
pre[i] = vis[i] = 0;
next[i] = n+1;
}
pre[0] = vis[0] = 0;
for(i = 1; i <= n; i++)
if(a[i] <= n) {
if(pre[a[i]])
next[pre[a[i]]] = i;
pre[a[i]] = i;
}
build();
mex = 0;
for(i = 1; i <= n; i++) {
if(a[i] <= n){
vis[a[i]] = 1;
while(vis[mex]) mex++;
}
update(i, i, mex);
}
ll ans = 0;
for(i = 1; i <= n; i++) {
ans += query(i, n);
if(a[i] <= mex) {
int l = max(find(a[i]), i);
int r = next[i]-1;
if(l <= r) update(l, r, a[i]);
}
}
printf("%I64d\n", ans);
}
return 0;
}
/*
3
0 10000 20000
*/
