正题

题目链接:https://www.luogu.com.cn/problem/P4491

---

题目大意

给$n$个物品染上$m$种颜色，若恰好有$k$个颜色的物品个数为$S$那么就会产生$W_k$的贡献。求所有染色方案的贡献和

$1\le n\le 10^7,1\le m\le 10^5,1\le S\le 150$

---

解题思路

先考虑一个简单的想法，我们强制染上$k$种颜色，那么方案就是
$$F(k)=\left(\genfrac{}{}{0ex}{}{m}{k}\right)\frac{P_n^{k\times S}}{(S!{)}^k}(m-k{)}^{n-k\times S}$$
（选出$k$种，然后重排公式，剩下的随便选）

发现这样剩下的颜色也有可能会有贡献，设$G(k)$表示恰好有$k$种出现次数为$S$的颜色的话，那么他们之间有公式
$$F(k)=\sum _{i=k}^n\left(\genfrac{}{}{0ex}{}{i}{k}\right)G(i)$$
然后直接二项式反演就有
$$\Rightarrow G(k)=\sum _{i=k}^n(-1{)}^{i-k}(\genfrac{}{}{0ex}{}{i}{k})F(i)$$
拆开组合数就有
$$G(k)=\sum _{i=k}^n(-1{)}^{i-k}\frac{i!}{k!(i-k)!}F(i)$$
这里面和$i$有关的下标只有$i$和$i-k$，是一个卷积的形式，直接$NTT$就好了。

时间复杂度$O(n\log n)$

当然也可以用指数型生成函数来推导，但是我不会

---

code

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=1e7+10,P=1004535809;
ll n,m,S,ans,inv[N],fac[N],f[N],g[N],r[N];
ll power(ll x,ll b){ll ans=1;while(b){if(b&1)ans=ans*x%P;x=x*x%P;b>>=1;}return ans;
}
void NTT(ll *f,ll n,ll op){for(ll i=0;i<n;i++)if(i<r[i])swap(f[i],f[r[i]]);for(ll p=2;p<=n;p<<=1){ll len=(p>>1),tmp=power(3,(P-1)/p);if(op==-1)tmp=power(tmp,P-2);for(ll k=0;k<n;k+=p){ll buf=1;for(ll i=k;i<k+len;i++){ll tt=buf*f[i+len]%P;f[i+len]=(f[i]-tt+P)%P;f[i]=(f[i]+tt)%P;buf=buf*tmp%P;}}}if(op==-1){ll invn=power(n,P-2);for(ll i=0;i<n;i++)f[i]=f[i]*invn%P;}return;
}
ll C(ll n,ll m)
{return fac[n]*inv[m]%P*inv[n-m]%P;}
signed main()
{scanf("%lld%lld%lld",&n,&m,&S);inv[1]=1;for(ll i=2;i<N;i++)inv[i]=P-(P/i)*inv[P%i]%P;inv[0]=fac[0]=1;ll pm=m;m=min(m,n/S);for(ll i=1;i<N;i++)fac[i]=fac[i-1]*i%P,inv[i]=inv[i-1]*inv[i]%P;for(ll i=0,z=1;i<=m;i++){f[i]=C(pm,i)*fac[n]%P*z%P*inv[n-i*S]%P;f[i]=f[i]*power(pm-i,n-i*S)%P;z=z*inv[S]%P;f[i]=f[i]*fac[i]%P;}for(ll i=0;i<=m;i++)g[i]=(i&1)?(P-inv[i]):(inv[i]);reverse(f,f+1+m);ll l=1;while(l<=2*m+1)l<<=1;for(ll i=0;i<l;i++)r[i]=(r[i>>1]>>1)|((i&1)?(l>>1):0);NTT(f,l,1);NTT(g,l,1);for(ll i=0;i<l;i++)f[i]=f[i]*g[i]%P;NTT(f,l,-1);reverse(f,f+1+m);for(ll i=0;i<=m;i++){ll p=f[i]*inv[i]%P;ll w;scanf("%lld",&w);(ans+=w*p%P)%=P;}printf("%lld\n",ans);return 0;
}