【BZOJ5306】染色（NTT）
题面
题解
我们只需要考虑每一个(W[i])的贡献就好了
令(lim=min(M,frac{N}{S}))
那么，开始考虑每一个(W[i])的贡献
[sum_{k=0}^{lim}W[k]C_M^kC_N^{kS}frac{(kS)!}{(S!)^k} imes Others
]
(Others)是其他的东西，先考虑前面这堆东西的意义。
我们枚举恰好出现了(S)次的颜色个数(k)，那么，选定这些颜色的方案数
首先是从(M)中颜色中选出(k)种，
然后从(N)个格子中选择(kS)个来染这(k)种颜色，
这个的方案数显然是(frac{(kS)!}{(S!)^k})，也就是先假设每种颜色的每个格子都不一样
然后再把每种颜色之间的顺序给除掉就好了。
现在考虑(Others)部分是个什么东西。
显然是后面的格子随便染色，当然，我们不能再让某种颜色出现了(S)次，所以考虑容斥。
枚举一下有多少个颜色出现了(S)次然后容斥下就好了。
那么，最后写出来的式子就是
[sum_{k=0}^{lim}W[k]C_M^kC_N^{kS}frac{(kS)!}{(S!)^k}sum_{i=0}^{lim-k}(-1)^iC_{M-k}^iC_{N-kS}^{iS}frac{(iS)!}{(S!)^i}(M-i-k)^{N-iS-kS}
]
这部分本质上和前面是一样的，最后再让剩下的颜色随意染色就好了。
后面的项过于冗杂，我们换种写法，后面不再枚举剩下的格子中出现(S)次的颜色个数，
直接枚举总的恰好出现(S)次的颜色个数
[sum_{k=0}^{lim}W[k]C_M^kC_N^{kS}frac{(kS)!}{(S!)^k}sum_{i=k}^{lim}(-1)^{i-k}C_{M-k}^{i-k}C_{N-kS}^{iS-kS}frac{(iS-kS)!}{(S!)^{i-k}}(M-i)^{N-iS}
]
然后把组合数全部给拆开yyb因为(LaTeX)公式而阵亡
先拆后面
[(-1)^{i-k}frac{(M-k)!}{(i-k)!(M-i)!}frac{(N-kS)!}{(iS-kS)!(N-iS)!}frac{(iS-kS)!}{(S!)^{i-k}}(M-i)^{N-iS}
]
然后再拆掉前面的
[W[k]frac{M!}{(M-k)!k!}frac{N!}{(kS)!(N-kS)!}frac{(kS)!}{(S!)^k}
]
把后半部分与(i)无关的式子提到前面来，把前面式子中的((S!)^k)放到后面去。
于是整个式子就变成了
[sum_{k=0}^{lim}W[k]frac{M!N!}{k!}sum_{i=k}^{lim}frac{(-1)^{i-k}(M-i)^{N-iS}}{(i-k)!(M-i)!(N-iS)!(S!)^{i}}
]
呜，什么时候见过把一个不是从(0)开始的东西丢在后面的？
当然是前面递增，后面从(0)开始才能卷积啊，
再说了，作为一个正常的(Oier)一般都是(i)在(k)前面啊，反过来反过来。
[sum_{i=0}^{lim}frac{M!N!(M-i)^{N-iS}}{(M-i)!(N-iS)!(S!)^{i}}sum_{k=0}^{i}frac{W[k]}{k!}
frac{(-1)^{i-k}}{(i-k)!}]
呜，这个多好看，后面就是个卷积，前面这个东西之和(i)有关系。
那么大力预处理一波再(NTT)卷一下后面的东西就好啦。
#include<cstdio>
#include<algorithm>
using namespace std;
#define MOD 1004535809
#define MAX 300000
#define MAXX 10000001
inline int read()
{
int x=0;bool t=false;char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=-1,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return t?-x:x;
}
int fpow(int a,int b)
{
int s=1;
while(b){if(b&1)s=1ll*s*a%MOD;a=1ll*a*a%MOD;b>>=1;}
return s;
}
int r[MAX],Og[MAX],N,E,l;
void NTT(int *P,int opt)
{
for(int i=0;i<N;++i)if(i<r[i])swap(P[i],P[r[i]]);
for(int i=1;i<N;i<<=1)
{
int w=fpow(3,(MOD-1)/(i<<1));Og[0]=1;
for(int k=1;k<i;++k)Og[k]=1ll*Og[k-1]*w%MOD;
for(int p=i<<1,j=0;j<N;j+=p)
for(int k=0;k<i;++k)
{
int X=P[j+k],Y=1ll*P[i+j+k]*Og[k]%MOD;
P[j+k]=(X+Y)%MOD;P[i+j+k]=(X+MOD-Y)%MOD;
}
}
if(opt==-1)
{
reverse(&P[1],&P[N]);
for(int i=0,inv=fpow(N,MOD-2);i<N;++i)P[i]=1ll*P[i]*inv%MOD;
}
}
int n,S,m,jc[MAXX],jv[MAXX],W[MAX];
int A[MAX],B[MAX],f[MAX],ans;
void pre()
{
jc[0]=jv[0]=1;int mx=max(n,max(m,S));
for(int i=1;i<=mx;++i)jc[i]=1ll*jc[i-1]*i%MOD;
jv[mx]=fpow(jc[mx],MOD-2);
for(int i=mx-1;i;--i)jv[i]=1ll*jv[i+1]*(i+1)%MOD;
for(int i=0;i<=E;++i)f[i]=1ll*fpow(m-i,n-i*S)*jv[m-i]%MOD*jv[n-i*S]%MOD*fpow(jv[S],i)%MOD;
}
int main()
{
n=read();m=read();S=read();E=min(m,n/S);
for(int i=0;i<=m;++i)W[i]=read();pre();
for(N=1;N<=E+E;N<<=1)++l;
for(int i=0;i<N;++i)r[i]=(r[i>>1]>>1)|((i&1)<<(l-1));
for(int i=0;i<=E;++i)A[i]=1ll*W[i]*jv[i]%MOD;
for(int i=0;i<=E;++i)B[i]=(i&1)?MOD-jv[i]:jv[i];
NTT(A,1);NTT(B,1);
for(int i=0;i<N;++i)A[i]=1ll*A[i]*B[i]%MOD;
NTT(A,-1);
for(int i=0;i<=E;++i)ans=(ans+1ll*f[i]*A[i]%MOD)%MOD;
ans=1ll*ans*jc[n]%MOD*jc[m]%MOD;
printf("%d
",ans);
return 0;
}