题意:区间建笛卡尔树,求每个节点的siz之和。
首先看到笛卡尔树,就应该想到,因为这是一个排列,可以找到通过左边和右边第一个比自己大的元素来“建立”笛卡尔树。
设 \(l(u)\) 为下标是 \(u\) 的元素左边第一个比自身大的元素,\(r(u)\) 同理。
答案就是
\[\sum_{i=L}^R \min(r(i)-1,R)-\max(l(i)+1,L)+1 \]将两部分拆开计算,本质是一样的。下面以右端为例
对于一个 \(\sum\),答案由两部分组成:
- \(r(i)\)
- \(R\)
我们只需要对其分别求和就好了
我们从 \(n\) 扫到 \(1\),对于一个 \(r(i)\) 会在扫到 \(r(i)\) 时变成 \(R\),且只会变一次。
用两颗树状数组和即可。复杂度 \(O(n\log n)\)
code:
#include<cstdio>
#include<vector>
const int M=1e6+6;
int n,m,a[M],l[M],r[M],L[M],R[M],num[M];long long BIT[M],ans[M];
std::vector<int>qL[M],qR[M],idL[M],idR[M];
int top,stk[M];
inline void Add1(int x,int val){
for(;x<=n;x+=1<<__builtin_ctz(x))BIT[x]+=val;
}
inline void Add2(int x,int val){
for(;x<=n;x+=1<<__builtin_ctz(x))num[x]+=val;
}
inline long long Query1(int x){
long long ans=0;
for(;x>=1;x-=1<<__builtin_ctz(x))ans+=BIT[x];
return ans;
}
inline int Query2(int x){
int ans=0;
for(;x>=1;x-=1<<__builtin_ctz(x))ans+=num[x];
return ans;
}
signed main(){
register int i,x;
scanf("%d%d",&n,&m);
for(i=1;i<=n;++i)scanf("%d",a+i);
for(i=1;i<=n;++i){
while(top&&a[i]>=a[stk[top]])--top;
idL[(L[i]=top?stk[top]:0)+1].push_back(i);stk[++top]=i;
}
top=0;
for(i=n;i>=1;--i){
while(top&&a[i]>=a[stk[top]])--top;
idR[(R[i]=top?stk[top]:n+1)-1].push_back(i);stk[++top]=i;
}
for(i=1;i<=m;++i)scanf("%d",l+i),qL[l[i]].push_back(i);
for(i=1;i<=m;++i)scanf("%d",r+i),qR[r[i]].push_back(i);
for(i=1;i<=n;++i)Add1(i,R[i]-1);
for(i=n;i>=1;--i){
for(int&id:idR[i])Add1(id,-R[id]+1),Add2(id,1);
for(int&id:qR[i]){
ans[id]+=(Query1(r[id])-Query1(l[id]-1))+1ll*i*(Query2(r[id])-Query2(l[id]-1));
}
}
for(i=1;i<=n;++i)BIT[i]=num[i]=0;
for(i=1;i<=n;++i)Add1(i,L[i]+1);
for(i=1;i<=n;++i){
for(int&id:idL[i])Add1(id,-L[id]-1),Add2(id,1);
for(int&id:qL[i]){
ans[id]-=(Query1(r[id])-Query1(l[id]-1))+1ll*i*(Query2(r[id])-Query2(l[id]-1));
}
}
for(i=1;i<=m;++i)printf("%lld ",ans[i]+r[i]-l[i]+1);
}