思路:
由于数组数值是1-N的一个排列,可以从小到大处理([1, n-k+1]),
对于每个值x的贡献就是枚举左边有i个>=x的个数,
然后如果能知道存在一段长度区间Left_Len都满足左边有i个>=x的个数,还能知道存在一段长度区间Right_Len都满足左边有k+1-i个>=x的个数,那么对于x,i的贡献就是Left_len*Right_len*x,因为对于当前x,它一定是最小的,比它小的已经删除了(其实对于它来说本来就不影响)。
然后就可以祭出这个好棒的写法,用双端链表连接位置,可以很轻松的求出>=x的那些相邻位置差,删除处理也是O(1),总的复杂度O(nk).
#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
const int Maxn = 5e5 + 10;
LL nex[Maxn], pre[Maxn], ans, Left[85], Right[85], L, R;
int n, p[Maxn], k, x;
void solve(int x){
int pos = p[x], p1 = 0, p2 = 0;
for(L = pos;L && p1 <= k;L = pre[L]) Left[++p1] = L - pre[L];
for(R = pos;R <= n && p2 <= k;R = nex[R]) Right[++p2] = nex[R] - R;
for(int i=1;i<=p1;i++)
if(k+1-i>=1 && k+1-i <= p2)
ans = ans + Left[i] * Right[k+1-i] * x;
}
void del(int x){
pre[nex[x]] = pre[x];
nex[pre[x]] = nex[x];
}
int main(){
int T;
scanf("%d", &T);
while(T--){
scanf("%d%d", &n, &k);
for(int i=1;i<=n;i++){
pre[i] = i - 1;
nex[i] = i + 1;
scanf("%d", &x);
p[x] = i;
}
ans = 0;
for(LL i = 1;i<=n-k+1;i++){
solve(i);
del(p[i]);
}
printf("%lld\n", ans);
}
return 0;
}