傳送


這題比賽的時候考了原題，顧子哥推了出來一個挺複雜的線段樹，沒想到竟然是正解。


我們列舉大小為\(x\)的數，那麼如果在區間\([L, R]\)中，\(x\)符合題目的條件，記\(num[i]\)為\(1\)到\(i\)中\(x\)的出現次數，那麼有\(\frac{num[R] - num[L - 1]}{R - L + 1} > \frac1{2}\)，整理得$$2num[R] - R > 2num[L - 1] - (L - 1)$$
所以我們令\(b[i] = 2num[i] - i\)，就變成了要統計\(b[j] < b[i](j < i)\)的個數了。

隨便用什麼資料結構維護，對於大小為\(x\)的數的統計，大概能達到\(O(n^2logn)\)的複雜度。


但每次從\(1\)到\(n\)掃一遍當然不行，所以我們想，能不能只遍歷\(x\)出現的位置。

記\(i\)為\(x\)這一次出現的位置，\(nxt[i]\)為\(x\)下一次出現的位置，那麼我們要快速的找到所有的\(j\)，滿足\(b[j] < b[i], j < i, i \in [i, nxt[i] - 1]\).

對於\((i, nxt[i] - 1]\)中的\(b[i]\)，有\(b[i] = b[i - 1] - 1\)，那麼要查詢的實際是連續的一段字首和，即\(sum[b[i]], sum[b[i]-1], \cdots, sum[b[i] - (nxt[i] - i - 1)]\)

因為還要有修改，遂啟發我們用線段樹維護字首和，即每個節點維護小於等於右端點的所有數的和。

那麼上述的詢問就相當於對區間\([b[i] - (nxt[i] - i - 1) - 1, b[i] - 1]\)進行查詢。

而修改，如果加入一個數\(t\)，因為維護的是字首和，要對區間\([t, n]\)都加\(1\)。但是現在我們應該把\([i, nxt[i] - 1]\)的貢獻全部加入線段樹中，即將區間\([b[i], n],[b[i] - 1, n], \cdots, [b[i] - (nxt[i] - i), n]\)全部加\(1\)。

稍微想一下，會發現，其實是將區間\([b[i] - (nxt[i] - i), b[i]]\)

#include<cstdio>
#include<iostream>
#include<cmath>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#include<cctype>
#include<vector>
#include<queue>
#include<assert.h>
#include<ctime>
using namespace std;
//#define int long long
#define enter puts("") 
#define space putchar(' ')
#define Mem(a, x) memset(a, x, sizeof(a))
#define In inline
#define forE(i, x, y) for(int i = head[x], y; ~i && (y = e[i].to); i = e[i].nxt)
typedef long long ll;
typedef double db;
const int INF = 0x3f3f3f3f;
const db eps = 1e-8;
const int maxn = 5e5 + 5;
In ll read()
{
	ll ans = 0;
	char ch = getchar(), las = ' ';
	while(!isdigit(ch)) las = ch, ch = getchar();
	while(isdigit(ch)) ans = (ans << 1) + (ans << 3) + ch - '0', ch = getchar();
	if(las == '-') ans = -ans;
	return ans;
}
In void write(ll x)
{
	if(x < 0) x = -x, putchar('-');
	if(x >= 10) write(x / 10);
	putchar(x % 10 + '0');
}

int n, a[maxn];

int pos[maxn], nxt[maxn];
struct Tree
{
	int l, r;
	bool cl;
	ll lzi, lzy, sum;
	In void Clear()
	{
		cl = 1;
		lzi = lzy = sum = 0;
	}
}t[maxn << 3];
In void build(int L, int R, int now)
{
	t[now].l = L, t[now].r = R; 
	if(L == R) return (void)t[now].Clear();
	int mid = (L + R) >> 1;
	build(L, mid, now << 1), build(mid + 1, R, now << 1 | 1);
}
In void Change(int now, ll d1, ll d2)
{
	int len = t[now].r - t[now].l + 1;
	t[now].lzi += d1;
	t[now].sum += (d1 * (1LL * t[now].l + t[now].r) * len >> 1);
	t[now].lzy += d2;
	t[now].sum += d2 * len;
}
In void pushdown(int now)
{
	if(t[now].cl) t[now << 1].Clear(), t[now << 1 | 1].Clear(), t[now].cl = 0;
	if(t[now].lzi || t[now].lzy)
	{
		Change(now << 1, t[now].lzi, t[now].lzy);
		Change(now << 1 | 1, t[now].lzi, t[now].lzy);
		t[now].lzi = t[now].lzy = 0;
	}
}
In void update(int L, int R, int now, int d1, int d2)
{
	if(L > R) return;
	if(t[now].l == L && t[now].r == R)
	{
		Change(now, d1, d2);
		return;
	}
	pushdown(now);
	int mid = (t[now].l + t[now].r) >> 1;
	if(R <= mid) update(L, R, now << 1, d1, d2);
	else if(L > mid) update(L, R, now << 1 | 1, d1, d2);
	else update(L, mid, now << 1, d1, d2), update(mid + 1, R, now << 1 | 1, d1, d2);
	t[now].sum = t[now << 1].sum + t[now << 1 | 1].sum;
}
In ll query(int L, int R, int now)
{
	if(t[now].l == L && t[now].r == R) return t[now].sum;
	pushdown(now);
	int mid = (t[now].l + t[now].r) >> 1;
	if(R <= mid) return query(L, R, now << 1);
	else if(L > mid) return query(L, R, now << 1 | 1);
	else return query(L, mid, now << 1) + query(mid + 1, R, now << 1 | 1) ;
}

In ll solve(int p)
{
	nxt[0] = p;
	int x = 0, num = 0; ll ret = 0;
	while(x <= n)
	{
		if(x > 0) num++;
		int val = (num << 1) - x, tp = nxt[x] - x - 1;
		ret += query(val - tp - 1, val - 1, 1);
		update(val - tp, val, 1, 1, -(val - tp - 1));
		update(val + 1, n, 1, 0, tp + 1);
		x = nxt[x]; 
	}
	t[1].Clear();
	return ret;
}

int main()
{
	n = read(); int TYPE = read();
	for(int i = 1; i <= n; ++i) a[i] = read(), pos[i - 1] = n + 1;
	for(int i = n; i; --i) nxt[i] = pos[a[i]], pos[a[i]] = i;
	Mem(pos, 0);		//重複利用 
	build(-n, n, 1);
	ll ans = 0;
	for(int i = 1; i <= n; ++i) if(!pos[a[i]]) ans += solve(i), pos[a[i]] = 1;
	write(ans), enter;
	return 0;
}