一半看到这种代价为 \(k\) 次方的形式,且需要转移复杂度的题,都是用第二类斯特林数解决的
第二类斯特林数我们记作 \(\begin{Bmatrix} n \\\\ m \end{Bmatrix}\) 表示将 \(n\) 个相互作区分的元素放入 \(m\) 个不做区分的集合里,每个集合元素非空的方案数,我们很容易就能有多项式得到一个恒等式
我们不妨计 \(\begin{Bmatrix} n \\\\ m
\end{Bmatrix}\times m!\) 的 egf
为 \(f\),即集合做区分的母函数,考虑另一个
egf
为 \(g_n\) 满足
\[ g_n=\sum_{i}i^n\frac{x^i}{i!} \]