题意
有一个长度为\(n\) 的序列，有三个操作：
\(I \ \ a\ b\ c\ :\)表示将\([a,b]\)这一段区间的元素集体增加\(c\)；
\(R \ \ a\ b\ :\)表示将\([a,b]\)区间内所有元素变成相反数；
\(Q \ \ a\ b\ c\ :\)表示询问\([a,b]\)这一段区间中选择\(c\) 个数相乘的所有方案的和\(mod19940417\)的值。
对于100%的数据，\(n≤50000,q≤50000\)，初始序列的元素的绝对值\(≤10^9\)，保证\([a,b]\)是一个合法区间，\(I\)操作中\(|c|\le10^9\)，\(Q\)操作中\(1≤c≤min?(b?a+1,20)\)
sol
维护的信息就是在每一个区间内选出\(0...20\)个数的乘积之和吧。
向上合并就是一个类似卷积的形式，直接\(O(c^2)\)转移即可。
区间取反简单一些，就是把所有\(i\)为奇数的信息取反即可。
加一个数相对来说复杂一点，可以把原来的式子大力展开，得到了一个组合数乘\(x\)的若干次幂之和的形式。
记得处理两种标记合并的问题。
code
#include<cstdio>
#include<algorithm>
using namespace std;
int gi()
{
int x=0,w=1;char ch=getchar();
while ((ch<'0'||ch>'9')&&ch!='-') ch=getchar();
if (ch=='-') w=0,ch=getchar();
while (ch>='0'&&ch<='9') x=(x<<3)+(x<<1)+ch-'0',ch=getchar();
return w?x:-x;
}
const int N = 5e4+5;
const int mod = 19940417;
struct Data{int f[21];}t[N<<2];
int n,m,C[N][21],tag[N<<2],rev[N<<2];
inline Data operator + (Data a,Data b)
{
Data c;
for (int i=0;i<=20;++i)
{
c.f[i]=0;
for (int j=0;j<=i;++j)
(c.f[i]+=1ll*a.f[j]*b.f[i-j]%mod)%=mod;
}
return c;
}
void build(int x,int l,int r)
{
if (l==r) {t[x].f[0]=1;t[x].f[1]=(gi()%mod+mod)%mod;return;}
int mid=l+r>>1;
build(x<<1,l,mid);build(x<<1|1,mid+1,r);
t[x]=t[x<<1]+t[x<<1|1];
}
inline void cover(int x,int l,int r,int v)
{
Data a;a.f[0]=1;
for (int i=1;i<=20;++i)
{
int w=1;a.f[i]=0;
for (int j=i;~j;--j,w=1ll*w*v%mod)
(a.f[i]+=1ll*t[x].f[j]*C[r-l+1-j][i-j]%mod*w%mod)%=mod;
}
t[x]=a;(tag[x]+=v)%=mod;
}
inline void reverse(int x)
{
for (int i=1;i<=20;i+=2) t[x].f[i]=mod-t[x].f[i];
rev[x]^=1;tag[x]=mod-tag[x];
}
inline void pushdown(int x,int l,int r)
{
if (rev[x])
{
reverse(x<<1);reverse(x<<1|1);
rev[x]^=1;
}
if (tag[x])
{
int mid=l+r>>1;
cover(x<<1,l,mid,tag[x]);cover(x<<1|1,mid+1,r,tag[x]);
tag[x]=0;
}
}
void modify_tag(int x,int l,int r,int ql,int qr,int v)
{
if (l>=ql&&r<=qr) {cover(x,l,r,v);return;}
pushdown(x,l,r);int mid=l+r>>1;
if (ql<=mid) modify_tag(x<<1,l,mid,ql,qr,v);
if (qr>mid) modify_tag(x<<1|1,mid+1,r,ql,qr,v);
t[x]=t[x<<1]+t[x<<1|1];
}
void modify_rev(int x,int l,int r,int ql,int qr)
{
if (l>=ql&&r<=qr) {reverse(x);return;}
pushdown(x,l,r);int mid=l+r>>1;
if (ql<=mid) modify_rev(x<<1,l,mid,ql,qr);
if (qr>mid) modify_rev(x<<1|1,mid+1,r,ql,qr);
t[x]=t[x<<1]+t[x<<1|1];
}
Data query(int x,int l,int r,int ql,int qr)
{
if (l>=ql&&r<=qr) return t[x];
pushdown(x,l,r);int mid=l+r>>1;
if (qr<=mid) return query(x<<1,l,mid,ql,qr);
if (ql>mid) return query(x<<1|1,mid+1,r,ql,qr);
return query(x<<1,l,mid,ql,qr)+query(x<<1|1,mid+1,r,ql,qr);
}
int main()
{
n=gi();m=gi();C[0][0]=1;
for (int i=1;i<=n;++i)
{
C[i][0]=1;
for (int j=1;j<=min(i,20);++j)
C[i][j]=(C[i-1][j]+C[i-1][j-1])%mod;
}
build(1,1,n);
while (m--)
{
char ch=getchar();
while (ch!='I'&&ch!='R'&&ch!='Q') ch=getchar();
int l=gi(),r=gi(),c;if (ch!='R') c=(gi()%mod+mod)%mod;
if (ch=='I') modify_tag(1,1,n,l,r,c);
if (ch=='R') modify_rev(1,1,n,l,r);
if (ch=='Q') printf("%d\n",query(1,1,n,l,r).f[c]);
}
return 0;
}