Three Occurrences【CF-1418G】【线段树】

题目链接

---

  题意：有一个长度为N的数组，现在我们要查询合法区间的数量，合法区间定义为“在区间中出现的数值都是刚好只出现3次的区间”。譬如“1 1 2 2 1 2”是一个合法区间，每个数值都恰好出现三次。

  那么，我们可以知道一点，我们定义为值为i的数在此之前第j次出现的位置（倒叙的），我们只需要知道前面三个的位置，就可以确定我们想知道的东西了，因为合法区间就在之间，此时保证了价值为i的这个数取了刚好三次。

  所以我们不妨做一个“滑动”一样的操作，现在我们知道，那么我们来做这样的一个东西：

1. 给定义为非法区间；
2. 给定义为合法区间；
3. 给区间定义为过时区间（非法区间）。

  那么，现在的问题就是去维护这样的一个状态了，我们需要找到一个共同合法区间的这么一个数目。所以，也就是找共同合法区间的这样一个状态。

  我们又可以发现除去操作3的强制定义过时操作，其余的操作1会被操作2抵消，所以我们不妨看成永久化的区间操作，然后记录这样的情况就可以了，千万不要将给值的区间pushdown了，直接永久化即可。

#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#include <bitset>
#include <unordered_map>
#include <unordered_set>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
#define HalF (l + r)>>1
#define lsn rt<<1
#define rsn rt<<1|1
#define Lson lsn, l, mid
#define Rson rsn, mid+1, r
#define QL Lson, ql, qr
#define QR Rson, ql, qr
#define myself rt, l, r
#define pii pair<int, int>
#define MP(a, b) make_pair(a, b)
using namespace std;
typedef unsigned long long ull;
typedef unsigned int uit;
typedef long long ll;
const int maxN = 5e5 + 7;
int N, a[maxN], las[maxN][4] = {0};
int tree[maxN << 2], lazy[maxN << 2];
void pushup(int rt, int l, int r)
{
    if(lazy[rt]) tree[rt] = 0;
    else tree[rt] = l == r ? 1 : tree[lsn] + tree[rsn];
}
void update(int rt, int l, int r, int ql, int qr, int val)
{
    if(ql <= l && qr >= r)
    {
        lazy[rt] += val;
        pushup(myself);
        return;
    }
    int mid = HalF;
    if(qr <= mid) update(QL, val);
    else if(ql > mid) update(QR, val);
    else { update(QL, val); update(QR, val); }
    pushup(myself);
}
int main()
{
    scanf("%d", &N);
    ll ans = 0;
    for(int i=1; i<=N; i++)
    {
        scanf("%d", &a[i]);
        update(1, 1, N, i, i, 0);
        update(1, 1, N, las[a[i]][1] + 1, i, 1);
        if(las[a[i]][3] + 1 <= las[a[i]][2]) update(1, 1, N, las[a[i]][3] + 1, las[a[i]][2], -1);
        if(las[a[i]][3] >= 1) update(1, 1, N, 1, las[a[i]][3], 1);
        las[a[i]][3] = las[a[i]][2];
        las[a[i]][2] = las[a[i]][1];
        las[a[i]][1] = i;
        ans += tree[1];
    }
    printf("%lld\n", ans);
    return 0;
}