2018.01.04 bzoj5291: [Bjoi2018]链上二次求和（线段树）

传送门
线段树基础题。
题意：给出一个序列，要求支持区间加，查询序列中所有满足区间长度在 $[L,R]$ 之间的区间的权值之和（区间的权值即区间内所有数的和）。

~~想题 $5$ 分钟，写题 $20$ 分钟，调题两小时真 $TM$ 好玩~~
我们令 $s$ 表示前缀和， $s^2$ 表示前缀和的前缀和。
首先读完题发现要求的是：
$\sum_{i=l}^r\sum_{j=i}^{n}(s_j-s_{j-i})$
= $\sum_{i=l}^r(s^2_n-s^2_{i-1}-s^2_{l-i})$
= $(r-l+1)s^2_n-\sum_{i=l-1}^{r-1}s^2_i-\sum_{i=n-r}^{n-l}s^2_i$
推到这里发现用线段树维护动态的 $s^2$ 数组即可。
考虑区间修改 $[l,r,v]$ 对于 $s^2$ 数组的影响。

$i<l$ ，无影响。
$l\le i\le r$ ，那么 $s^2_i+=v*1+v*2+...+v*(i-l+1)=\frac{v(i-l+1)(i-l+2)}2=\frac v2i^2+\frac{v(3-2l)}2i+\frac{v(1-l)(r-l)}2$
$r<i$ ，那么 $s^2_i+=v*1+v*2+...+v*(r-l+1)+(i-r)*v*(r-l+1)=v(r-l+1)i+\frac{v(r-l+1)(-l-r+2)}2$

然后就可以分开更新了。
然而我码完之后常数太大， $TLE$ 了2个小时，然后换了写法才过。
代码：

#include<bits/stdc++.h>
#define lc (p<<1)
#define rc (p<<1|1)
#define mid (l+r>>1)
#define ri register int
using namespace std;
inline int read(){
    int ans=0;
    char ch=getchar();
    while(!isdigit(ch))ch=getchar();
    while(isdigit(ch))ans=(ans<<1)+(ans<<3)+(ch^48),ch=getchar();
    return ans;
}
typedef long long ll;
const ll mod=1e9+7,N=2e5+5,inv=5e8+4;
int n,m;
ll a[N],s1[N],s2[N];
struct Node{ll l1,l2,l3,sum,a,b,c;}T[N<<2];
inline void pushup(int p){T[p].sum=(T[lc].sum+T[rc].sum)%mod;}
inline void pushnow(int p,ll a,ll b,ll c){
	T[p].a+=a,T[p].b+=b,T[p].c+=c,(T[p].sum+=a*T[p].l1+b*T[p].l2+c*T[p].l3)%=mod;
	if(T[p].a>=mod)T[p].a-=mod;
	if(T[p].b>=mod)T[p].b-=mod;
	if(T[p].c>=mod)T[p].c-=mod;
}
inline void pushdown(int p){
	if(!T[p].a&&!T[p].b&&!T[p].c)return;
	pushnow(lc,T[p].a,T[p].b,T[p].c),pushnow(rc,T[p].a,T[p].b,T[p].c);
	T[p].a=T[p].b=T[p].c=0;
}
inline void build(int p,int l,int r){
	T[p].l3=r-l+1,T[p].l2=s1[r]-(l?s1[l-1]:0),T[p].l1=s2[r]-(l?s2[l-1]:0);
	if(l==r){T[p].sum=a[l];return;}
	build(lc,l,mid),build(rc,mid+1,r),pushup(p);
}
inline void update(int p,int l,int r,int ql,int qr,ll a,ll b,ll c){
	if(ql>r||qr<l)return;
	if(ql<=l&&r<=qr)return pushnow(p,a,b,c);
	pushdown(p);
	if(qr<=mid)update(lc,l,mid,ql,qr,a,b,c);
	else if(ql>mid)update(rc,mid+1,r,ql,qr,a,b,c);
	else update(lc,l,mid,ql,mid,a,b,c),update(rc,mid+1,r,mid+1,qr,a,b,c);
	pushup(p);
}
inline ll query(int p,int l,int r,int ql,int qr){
	if(ql>r||qr<l)return 0;
	if(ql<=l&&r<=qr)return T[p].sum;
	pushdown(p);
	if(qr<=mid)return query(lc,l,mid,ql,qr);
	if(ql>mid)return query(rc,mid+1,r,ql,qr);
	return (query(lc,l,mid,ql,mid)+query(rc,mid+1,r,mid+1,qr))%mod;
}
int main(){
	n=read(),m=read();
	for(ri i=1;i<=n;++i)a[i]=(read()+a[i-1])%mod,s1[i]=(s1[i-1]+i)%mod,s2[i]=(s2[i-1]+(ll)i*i%mod)%mod;
	for(ri i=1;i<=n;++i)(a[i]+=a[i-1])%=mod;
	build(1,1,n);
	while(m--){
		int op=read(),l=read(),r=read(),len;
		ll v;
		if(l>r)swap(l,r);
		if(op==1){
			v=read(),len=r-l+1;
			ll a=v*inv%mod,b=v*(3-2*l+mod)%mod*inv%mod,c=v*(l-1)%mod*(l-2)%mod*inv%mod;
			update(1,1,n,l,r,a,b,c);
			if(r==n)continue;
			a=0,b=v*len%mod,c=(((ll)(len+1)*len/2%mod*v-v*len%mod*r)%mod+mod)%mod;
			update(1,1,n,r+1,n,a,b,c);
		}
		else{
			l=max(l,1);
			ll s1=query(1,1,n,n,n)*(r-l+1)%mod,s2=query(1,1,n,max(l-1,1),r-1),s3=query(1,1,n,max(n-r,1),n-l);
			cout<<(s1-s2-s3+mod*3)%mod<<'\n';
		}
	}
}

2018.01.04 bzoj5291: [Bjoi2018]链上二次求和（线段树）

猜你喜欢