题意
给出一个长度为(n)的序列(a),问有多少个区间([l,r])满足:在区间([l,r])内，([1,r-l+1])的每个整数都恰好出现了一次。
(n le 3 imes 10 ^ 5),(a_i le n)
思路
可以发现，其实最后的答案一定不会很大。
所以：暴力出奇迹！！！
先对题意进行小小的转化，题目等价于问有多少个区间([l,r])满足以下两个条件：
1.区间([l,r])中的每个数字都只在区间([l,r])中出现了一遍
2.(max{a_l,a_{l+1}...a_r}=r-l + 1)
首先只考虑条件一
从后往前扫这个序列。用(nxt_i)表示在满足每个数字只出现一遍的前提下，以i为左端，右端点最靠右的位置。(感性理解，我也不知道该咋表述了233.）换句话说，就是([i,nxt_i - 1])这个区间是满足条件的，而([i,nxt_i])是不满足条件的。用(pos_i)表示i这个数字上次出现的位置。那么就有(nxt_i = min(nxt_{i+1},pos[a_i]))
在上面的基础上，找满足第二个条件的区间
在当前区间左端点为l的情况下，右端点可以是([l,nxt_l-1])。
直接枚举肯定爆炸。
从左到右枚举右端点r，
当找到满足条件的区间时，就把答案加上1。然后继续枚举
如果当前枚举的区间不符合条件时，也就是说(l+max{a_l,a_{l+1}...a_r} > r)时。那么从r到(l+max{a_l,a_{l+1}...a_r})肯定也是不满足条件的，所以直接把(r)调到(l+max{a_l,a_{l+1}...a_r})就行了。
然后就可以跑过去这道题了(似乎还蛮快的233)。
代码
/*
* @Author: wxyww
* @Date: 2019-06-06 15:53:44
* @Last Modified time: 2019-06-06 16:36:31
*/
#include<cstdio>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<queue>
#include<vector>
#include<ctime>
using namespace std;
typedef long long ll;
const int N = 300000 + 100;
ll read() {
ll x=0,f=1;char c=getchar();
while(c<'0'||c>'9') {
if(c=='-') f=-1;
c=getchar();
}
while(c>='0'&&c<='9') {
x=x*10+c-'0';
c=getchar();
}
return x*f;
}
int tree[N << 2];
int a[N];
void build(int rt,int l,int r) {
if(l == r) {
tree[rt] = a[l];return;
}
int mid = (l + r) >> 1;
build(rt << 1,l,mid);
build(rt << 1 | 1,mid + 1,r);
tree[rt] = max(tree[rt << 1],tree[rt << 1 | 1]);
}
int query(int rt,int l,int r,int L,int R) {
if(L <= l && R >= r) return tree[rt];
int mid = (l + r) >> 1;
int ret = 0;
if(L <= mid) ret = max(ret,query(rt << 1,l,mid,L,R));
if(R > mid) ret = max(ret,query(rt << 1 | 1,mid + 1,r,L,R));
return ret;
}
int nxt[N],pos[N],n;
int main() {
n = read();
for(int i = 1;i <= n;++i) a[i] = read(),pos[i] = n + 1;
build(1,1,n);
int ans = 0;
nxt[n + 1] = n + 1;
for(int i = n;i >= 1;--i) {
nxt[i] = min(pos[a[i]],nxt[i + 1]);
pos[a[i]] = i;
for(int j = i;j < nxt[i];++j) {
int x = query(1,1,n,i,j);
if(i + x - 1 > j) j = i + x - 2;else ++ans;
}
}
cout<<ans;
return 0;
}