题目：https://loj.ac/problem/2551
答案是排序后依次走到 K ~ K+r-l 。
想维护一个区间排序后的结果，使得可以在上面二分、求和；二分可以知道贡献是正还是负。
于是想用树套树维护一段区间的元素减去从0开始的等差数列的值。为了二分，维护 fr , sc 表示权值区间里第一个/最后一个权值。
时间空间都是 nlog2n 的，空间连 70 分的范围都开不下。而且对拍1000以内的数据还有错误，交上去 TLE 得只能得 70 分。
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
#define ls Ls[cr]
#define rs Rs[cr]
using namespace std;
int rdn()
{
int ret=;bool fx=;char ch=getchar();
while(ch>''||ch<''){if(ch=='-')fx=;ch=getchar();}
while(ch>=''&&ch<='')ret=ret*+ch-'',ch=getchar();
return fx?ret:-ret;
}
int Mx(int a,int b){return a>b?a:b;}
int Mn(int a,int b){return a<b?a:b;}
ll Abs(ll x){if(x<)x=-x;return x;}
const int N=1e5+,M=N<<,M2=N*;
int n,m,qk,fx,a[N],tp[N],tot,Ls[M],Rs[M],rt[M];
struct Node{
int ct,fr,sc;ll sm;
Node(int c=,ll s=,int fr=N,int sc=)://fr:mn,sc:mx
ct(c),sm(s),fr(fr),sc(sc) {}
Node operator+ (const Node &b)const
{return Node(ct+b.ct,sm+b.sm,Mn(fr,b.fr),Mx(sc,b.sc));}
}I;
ll cal(int fx,int ct){return (ll)(*fx-ct+)*ct/;}
namespace G{
int tot,Ls[M2],Rs[M2]; Node vl[M2];
void ins(int l,int r,int &cr,int p,int k)
{
if(!cr){cr=++tot; vl[cr]=I;}
vl[cr].sm+=tp[k]; vl[cr].ct++;
vl[cr].fr=Mn(vl[cr].fr,k); vl[cr].sc=Mx(vl[cr].sc,k);
if(l==r)return; int mid=l+r>>;
if(p<=mid)ins(l,mid,ls,p,k);
else ins(mid+,r,rs,p,k);
}
Node qry(int l,int r,int cr,int L,int R)
{
if(!cr)return I; if(l>=L&&r<=R)return vl[cr];
int mid=l+r>>;
if(mid<L)return qry(mid+,r,rs,L,R);
if(R<=mid)return qry(l,mid,ls,L,R);
return qry(l,mid,ls,L,R)+qry(mid+,r,rs,L,R);
}
}
void build(int l,int r,int cr)
{
if(l==r)return; int mid=l+r>>;
ls=++tot; build(l,mid,ls);
rs=++tot; build(mid+,r,rs);
}
void ins(int l,int r,int cr,int p,int p2)
{
G::ins(,n,rt[cr],p2,p);
if(l==r)return; int mid=l+r>>;
if(p<=mid)ins(l,mid,ls,p,p2);
else ins(mid+,r,rs,p,p2);
}
ll qry(int l,int r,int cr,int L,int R)
{
Node d=G::qry(,n,rt[cr],L,R);
if(!d.ct)return ;
int fr=tp[d.fr]+fx, sc=tp[d.sc]+(fx-d.ct+);
if((fr>=qk&&sc>=qk)||(fr<=qk&&sc<=qk))
{
ll ret=d.sm+cal(fx,d.ct),tmp=(ll)d.ct*qk;
fx-=d.ct;
return Abs(ret-tmp);
}
int mid=l+r>>;
return qry(l,mid,ls,L,R)+qry(mid+,r,rs,L,R);
}
int main()
{
n=rdn();m=rdn();
for(int i=;i<=n;i++)a[i]=tp[i]=rdn();
sort(tp+,tp+n+); int lm=unique(tp+,tp+n+)-tp-;
tot=;build(,n,);
for(int i=;i<=n;i++)
{
a[i]=lower_bound(tp+,tp+lm+,a[i])-tp;
ins(,n,,a[i],i);
}
for(int i=,l,r;i<=m;i++)
{
l=rdn();r=rdn();qk=rdn(); fx=;
printf("%lld\n",qry(,n,,l,r));
}
return ;
}
看题解发现不用树套树，用主席树即可。
在主席树上二分，无法维护 fr , sc 表示权值区间里第一个/最后一个权值。
又看题解，发现可以维护区间里元素个数 ct，只要看看 ct[ ls ] 和 mid-K+1 哪个大，就知道该往哪边走。此时可以把另一个孩子里的元素都贡献给答案。
log(1e6)=20 ，但空间开 N*20 不够。开 N*21 可以。
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
#define ls Ls[cr]
#define rs Rs[cr]
using namespace std;
int rdn()
{
int ret=;bool fx=;char ch=getchar();
while(ch>''||ch<''){if(ch=='-')fx=;ch=getchar();}
while(ch>=''&&ch<='')ret=ret*+ch-'',ch=getchar();
return fx?ret:-ret;
}
int Mx(int a,int b){return a>b?a:b;}
const int N=5e5+,M=N*;
int n,m,a[N],tp[N],mx,k,rt[N]; ll ans;
int tot,Ls[M],Rs[M],ct[M];ll sm[M];
ll cal(int x,int c){return (2ll*x+c-)*c/;}
void ins(int l,int r,int &cr,int pr,int p)
{
cr=++tot; ls=Ls[pr];rs=Rs[pr];
ct[cr]=ct[pr]+; sm[cr]=sm[pr]+p;
if(l==r)return; int mid=l+r>>;
if(p<=mid)ins(l,mid,ls,Ls[pr],p);
else ins(mid+,r,rs,Rs[pr],p);
}
void qry(int l,int r,int cr,int pr)
{
if(!(ct[cr]-ct[pr]))return;
if(l==r){ans+=abs(sm[cr]-k);return;}
int mid=l+r>>;
int lc=ct[ls]-ct[Ls[pr]],rc=ct[rs]-ct[Rs[pr]];
if(lc<=mid-k+)
{
ans+=sm[rs]-sm[Rs[pr]]-cal(k+lc,rc);
qry(l,mid,ls,Ls[pr]);
}
else
{
ans+=cal(k,lc)-sm[ls]+sm[Ls[pr]]; k+=lc;
qry(mid+,r,rs,Rs[pr]);
}
}
int main()
{
n=rdn();m=rdn();
for(int i=;i<=n;i++) a[i]=rdn(),mx=Mx(mx,a[i]);
for(int i=;i<=n;i++)
ins(,mx,rt[i],rt[i-],a[i]);
for(int i=,l,r;i<=m;i++)
{
l=rdn();r=rdn();k=rdn();
ans=; qry(,mx,rt[r],rt[l-]);
printf("%lld\n",ans);
}
return ;
}