HAOI2018 [HAOI2018]染色 【組合數 + 容斥 + NTT】
題目
為了報答小 C 的蘋果, 小 G 打算送給熱愛美術的小 C 一塊畫布, 這塊畫布可 以抽象為一個長度為 \(N\) 的序列, 每個位置都可以被染成 \(M\) 種顏色中的某一種.
然而小 C 只關心序列的 \(N\) 個位置中出現次數恰好為 \(S\) 的顏色種數, 如果恰 好出現了 \(S\) 次的顏色有 \(K\) 種, 則小 C 會產生 \(W_k\) 的愉悅度.
小 C 希望知道對於所有可能的染色方案, 他能獲得的愉悅度的和對 1004535809 取模的結果是多少.
輸入格式
從標準輸入讀入數據. 第一行三個整數 \(N, M, S\).
接下來一行 \(M + 1\) 個整數, 第 \(i\)
? .
輸出格式
輸出到標準輸出中. 輸出一個整數表示答案．
輸入樣例
8 8 3
3999 8477 9694 8454 3308 8961 3018 2255 4910
輸出樣例
524070430
提示
特殊性質: \(\forall 1 \le i \le m, W_i = 0\)
對於 \(100\%\) 的數據, 滿足 \(0 \le W_i < 10045358090\)
題解
令\(E = min(\lfloor \frac{N}{S} \rfloor,M)\)
我們枚舉有幾種顏色有\(K\)次，那麽剩余的就不能有\(K\)次，利用容斥我們可以得出式子：
\[ans = \sum\limits_{i = 0}^{E} w[i]{M \choose i} {N \choose iS} \frac{(iS)!}{(S!)^{i}} \sum\limits_{j = 0}^{E - i} (-1)^{j} {M - i \choose j} {N - iS \choose jS} \frac{(jS)!}{(S!)^{j}} (M - i - j)^{N - iS - jS}\]
那個\((M - i - j)^{N - iS - jS}\)非常不好處理，我們考慮轉化一下：
\[ans = \sum\limits_{i = 0}^{E} w[i]{M \choose i} {N \choose iS} \frac{(iS)!}{(S!)^{i}} \sum\limits_{j = i}^{E} (-1)^{j - i} {M - i \choose j - i} {N - iS \choose jS - iS} \frac{(jS - iS)!}{(S!)^{j - i}} (M - j)^{N - jS}\]
然後展開組合數，分子分母對消，剩余如下：
\[ans = \sum\limits_{i = 0}^{E} w[i]\frac{M!N!}{i!} \sum\limits_{j = i}^{E} \frac{(-1)^{j - i}(M - j)^{N -jS}}{(j - i)!(M - j)!(N - jS)!(S!)^{j}}\]
我們交換一下\(i,j\)的位置，經整理得：
\[ans = \sum\limits_{j = 0}^{E} \frac{M!N!(M-j)^{N - jS}}{(M - j)!(N - jS)!(S!)^{j}} \sum\limits_{i = 0}^{j} \frac{w[i]}{i!} * \frac{(-1)^{j - i}}{(j - i)!}\]
左邊是只與\(j\)有關的式子，右邊是\(f(x) = \frac{w[x]}{x!}\)與\(g(x) = \frac{(-1)^{x}}{x!}\)的卷積
NTT即可
\(10045358090\)的原根是\(3\)
#include<iostream>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<algorithm>
#define LL long long int
#define Redge(u) for (int k = h[u],to; k; k = ed[k].nxt)
#define REP(i,n) for (int i = 1; i <= (n); i++)
#define BUG(s,n) for (int i = 1; i <= (n); i++) cout<<s[i]<<‘ ‘; puts("");
using namespace std;
const int maxn = 100005,maxm = 10000005,INF = 1000000000;
inline int read(){
int out = 0,flag = 1; char c = getchar();
while (c < 48 || c > 57){if (c == ‘-‘) flag = -1; c = getchar();}
while (c >= 48 && c <= 57){out = (out << 3) + (out << 1) + c - 48; c = getchar();}
return out * flag;
}
const int G = 3,P = 1004535809;
int qpow(int a,int b){
int ans = 1;
for (; b; b >>= 1,a = 1ll * a * a % P)
if (b & 1) ans = 1ll * ans * a % P;
return ans;
}
int fac[maxm],fv[maxm],inv[maxm];
int L,R[maxn << 2],f[maxn << 2],g[maxn << 2],n,m;
int N,M,S,W[maxn];
void NTT(int* a,int F){
for (int i = 0; i < n; i++) if (i < R[i]) swap(a[i],a[R[i]]);
for (int i = 1; i < n; i <<= 1){
int gn = qpow(G,(P - 1) / (i << 1));
for (int j = 0; j < n; j += (i << 1)){
LL g = 1,x,y;
for (int k = 0; k < i; k++,g = 1ll * g * gn % P){
x = a[j + k]; y = 1ll * g * a[j + k + i] % P;
a[j + k] = (x + y) % P; a[j + k + i] = (x - y + P) % P;
}
}
}
if (F == 1) return;
int nv = qpow(n,P - 2); reverse(a + 1,a + n);
for (int i = 0; i < n; i++) a[i] = 1ll * a[i] * nv % P;
}
void init(){
int E = max(N,M);
fac[0] = 1;
for (int i = 1; i <= E; i++) fac[i] = 1ll * fac[i - 1] * i % P;
inv[0] = inv[1] = 1;
for (int i = 2; i <= E; i++) inv[i] = 1ll * (P - P / i) * inv[P % i] % P;
fv[0] = 1;
for (int i = 1; i <= E; i++) fv[i] = 1ll * fv[i - 1] * inv[i] % P;
}
void solve(){
int t,E = min(M,N / S);
for (int i = 0; i <= E; i++){
t = (i & 1) ? -1 : 1;
f[i] = 1ll * W[i] * fv[i] % P;
g[i] = 1ll * t * fv[i] % P;
}
L = 0; m = E + E;
for (n = 1; n <= m; n <<= 1) L++;
for (int i = 1; i < n; i++) R[i] = (R[i >> 1] >> 1) | ((i & 1) << (L - 1));
NTT(f,1); NTT(g,1);
for (int i = 0; i < n; i++) f[i] = 1ll * f[i] * g[i] % P;
NTT(f,-1);
int ans = 0,tmp;
for (int i = 0; i <= E; i++){
tmp = 1ll * fac[M] * fac[N] % P * qpow(M - i,N - i * S) % P;
tmp = 1ll * tmp * fv[N - i * S] % P * fv[M - i] % P * qpow(fv[S],i) % P;
ans = (ans + 1ll * tmp * f[i] % P) % P;
}
printf("%d\n",(ans % P + P) % P);
}
int main(){
N = read(); M = read(); S = read();
for (int i = 0; i <= M; i++) W[i] = read();
init();
solve();
return 0;
}HAOI2018 [HAOI2018]染色 【組合數 + 容斥 + NTT】