luogu P5162 WD与积木 FFT
\(NTT\) 神仙题，强烈建议先自己推一推式子再看题解,顺便orz memset0。
题面没看太懂，大概意思就是求有n个不同的小球，放进 \(1\)、\(2\)、$……n $ 个不同的盒子，不可空的情况下，期望用了几个盒子。
按照套路，我们应该分别求出总的方案数\(g_i\)和总共用的盒子数 \(f_i\) ,答案就是 \(f_i\times g_i^{-1}\)。
我们先来求总的方案数，设 \(S\) 是第二类斯特林数，则
\(\displaystyle g_n=\sum_{i=1}^nS[n][i]\times i!\)
就是我们枚举用了几个盒子，在乘上 \(i!\) 将盒子看成是不一样的。
但是我们没办法进行下去了，我们考虑一下递推式。
\(\displaystyle g_n=\sum_{i=1}^nC_n^ig_{n-i}\)
含义就是我们枚举第一个盒子里都有哪些球，再乘上剩下的球的方案数 \(g_{n-i}\) 。我们尝试化简一下式子。
\(\displaystyle g_n=\sum_{i=1}^n \frac{n!}{i!(n-i)!}g_{n-i}\)
\(\displaystyle \frac{g_n}{n!}=\sum_{i=1}^n \frac{1}{i!}\frac{g_{n-i}}{(n-i)!}\)
设 \(\displaystyle G_n=\frac{g_n}{n!}\) \(\displaystyle H_n=\frac{1}{n!}\) ,注意 \(H_0=1,G_0=1\) 那么
\(\displaystyle G_n=\sum_{i=1}^nH_iG_{n-i}\)
有点像分治 \(FFT\) ，但我们会多项式求逆,我们按照分治 \(FFT\) 的套路来。
设 \(\displaystyle G=\sum_{i=0}^{\infty}G_ix^i\) \(\displaystyle H=\sum_{i=0}^{\infty}H_ix^i\)
\(\displaystyle G*H=\sum_{i=0}^{\infty}(\sum_{j+k=i}G_jH_k)x^i\)
当 \(i>0\) 时，\(\displaystyle \sum_{j+k=i}G_jH_k=\sum_{j=0}^iH_jG_{i-j}=\sum_{j=1}^iH_jG_{i-j}+H_0G_i=2G_i\)
当 \(i=0\) 时，\(G_0H_0=1=2G_0-1\)
所以
\(G*H=2G-1\)
\(G=(2-H)^{-1}\)
多项式求逆一波带走。
我们再来看看怎么求总共的盒子数。
\(\displaystyle f_n=g_n+\sum_{i=1}^nC_n^if_{n-i}\)
含义就是首先我们每一种方案至少有一个盒子，所以我们先加上 \(g_n\) ,对于剩下的 \(n-i\) 个小球，对答案的贡献就是 \(f_{n-i}\) ,因为第一个盒子有 \(C_n^i\) 种选法，所以就是 \(\displaystyle f_n=g_n+\sum_{i=1}^nC_n^if_{n-i}\)
我们再来搞一搞。现将 \(\displaystyle g_n=\sum_{i=1}^nC_n^ig_{n-i}\) 带进去。
\(\displaystyle f_n=\sum_{i=1}^nC_n^ig_{n-i}+\sum_{i=1}^nC_n^if_{n-i}\)
\(\displaystyle \frac{f_n}{n!}=\sum_{i=1}^{n}\frac{1}{i!}\frac{g_{n-i}}{(n-i)!}+\sum_{i=1}^{n}\frac{1}{i!}\frac{f_{n-i}}{(n-i)!}\)
设 \(\displaystyle F_n=\frac{f_n}{n!}\)
\(\displaystyle F_n=\sum_{i=1}^nH_i(F_{n-i}+G_{n-i})\)
设 \(\displaystyle F=\sum_{i=0}^{\infty}F_ix^i\)
那么
\(\displaystyle H*(F+G)=\sum_{i=0}^{\infty}(\sum_{j+k=i}((F_k+G_k)H_j))x^i\) （注意看清大括号）
当 \(i>0\) 时，\(\displaystyle \sum_{j+k=i}(F_k+G_k)H_j=\sum_{j=0}^i(F_{i-j}+G_{i-j})H_{j}=\sum_{j=1}^i(F_{i-j}+G_{i-j})H_{j}+F_i+G_i=2F_i+G_i\)
当 \(i=0\) 时，\((F_0+G_0)H_0=1=2F_0+G_0\)
所以
\(\displaystyle H*(F+G)=2F+G\)
\(\displaystyle F=\frac{G-GH}{H-2}\)
因为 \(G=(2-H)^{-1}\)
所以 \(G-GH=1-G\)
带进去
\(\displaystyle F=(1-G)(H-2)^{-1}\)
最后答案就是 \(F_nG_n^{-1}\)
推这些式子我竟然推了一下午，我还是太菜了。
#include<iostream>
#include<cstdio>
#define DB double
#define LL long long
using namespace std;
int T, n;
const int N = 400010, M = 100000, mod = 998244353, YY = 3, YYinv = (mod + 1) / 3;
int r[N];
LL jc[N], inv[N], H[N], g[N], G[N], F[N];
inline int read()
{
int res = 0; char ch = getchar(); bool XX = false;
for (; !isdigit(ch); ch = getchar())(ch == '-') && (XX = true);
for (; isdigit(ch); ch = getchar())res = (res << 3) + (res << 1) + (ch ^ 48);
return XX ? -res : res;
}
void Write(int x, int opt)
{
if (opt && !x)putchar('0');
if (!x)return;
Write(x / 10, 0);
putchar((x - x / 10 * 10) + '0');
}
LL ksm(LL a, LL b, LL mod)
{
LL res = 1;
for (; b; b >>= 1, a = a * a % mod)
if (b & 1)res = res * a % mod;
return res;
}
void NTT(LL *A, int lim, int opt)
{
for (int i = 0; i < lim; ++i)
r[i] = (r[i >> 1] >> 1) | ((i & 1) ? (lim >> 1) : 0);
for (int i = 0; i < lim; ++i)
if (i < r[i])swap(A[i], A[r[i]]);
int len;
LL wn, w, x, y;
for (int mid = 1; mid < lim; mid <<= 1)
{
len = mid << 1;
wn = ksm(opt == 1 ? YY : YYinv, (mod - 1) / len, mod);
for (int j = 0; j < lim; j += len)
{
w = 1;
for (int k = j; k < j + mid; ++k, w = w * wn % mod)
{
x = A[k]; y = A[k + mid] * w % mod;
A[k] = (x + y) % mod;
A[k + mid] = (x - y + mod) % mod;
}
}
}
if (opt == 1)return;
int ni = ksm(lim, mod - 2, mod);
for (int i = 0; i < lim; ++i)A[i] = A[i] * ni % mod;
}
LL c[N];
void INV(int siz, LL *A, LL *B)
{
if (siz == 1)
{
B[0] = ksm(A[0], mod - 2, mod);
return;
}
INV((siz + 1) >> 1, A, B);
int lim = 1;
while (lim < (siz << 1))lim <<= 1;
for (int i = 0; i < siz; ++i)c[i] = A[i];
for (int i = siz; i < lim; ++i)c[i] = 0;
NTT(c, lim, 1); NTT(B, lim, 1);
for (int i = 0; i < lim; ++i)B[i] = B[i] * (2 - c[i] * B[i] % mod + mod) % mod;
NTT(B, lim, -1);
for (int i = siz; i < lim; ++i)B[i] = 0;
}
void MUL(LL *A, int n, LL *B, int m)
{
int lim = 1;
while (lim < (n + m))lim <<= 1;
NTT(A, lim, 1); NTT(B, lim, 1);
for (int i = 0; i < lim; ++i)A[i] = A[i] * B[i] % mod;
NTT(A, lim, -1);
}
void YYCH()
{
inv[0] = inv[1] = jc[0] = jc[1] = 1;
for (int i = 2; i <= M; ++i)jc[i] = jc[i - 1] * i % mod;
inv[M] = ksm(jc[M], mod - 2, mod);
for (int i = M - 1; i >= 1; --i)inv[i] = inv[i + 1] * (i + 1) % mod;
for (int i = 0; i <= M; ++i)
{
H[i] = inv[i];
g[i] = mod - H[i];
}
g[0] += 2;
INV(M + 1, g, G);
for (int i = 0; i <= M; ++i)
{
F[i] = G[i]; g[i] = G[i];
}
F[0]--;
MUL(F, M, g, M);
}
int main()
{
YYCH();
cin >> T;
while (T--)
{
n = read();
printf("%lld\n", F[n]*ksm(G[n], mod - 2, mod) % mod);
}
return 0;
}
