标签：begin right end matrix 斯特林 多项式 sum 下降 left
阶乘幂 (Factorial Power)
主要有递进阶乘和递降阶乘两种. 分别记为:
\[\begin{aligned} x^{\overline{n}} = \prod_{i = 0}^{n - 1} (x + i) &= \frac{(x + n - 1)!}{(x - 1)!}\\ x^{\underline{n}} = \prod_{i = 0}^{n - 1} (x - i) &= \frac{x!}{(x - n)!} \end{aligned} \]一般常用的是递降阶乘, 也就是 OI 中经常提到的下降幂.
第一类斯特林数
我们定义第一类斯特林数 \(s(a, b)\) 为:
\[x^{\underline n} = \sum_{i = 0}^n s(n, i)x^i \]我们记:
\[\left [\begin{matrix}a\\b\end{matrix}\right] = \left|s(a, b)\right|\\ s(a, b) = (-1)^{a - b}\left [\begin{matrix}a\\b\end{matrix}\right] \]\(\left[\begin{matrix}a\\b\end{matrix}\right]\) 即为无符号斯特林数. 无符号斯特林数有性质:
\[x^{\overline n} = \sum_{i = 0}^n \left[\begin{matrix}n\\i\end{matrix}\right]x^i \]圆排列
圆排列指从全集中取特定数量元素排成一个环而不是一个序列的总方案数. 记 \(Q(a, b)\) 表示把大小为 \(a\) 的全集中取 \(b\) 个元素排成一个环的方案数. 因为对于 \(Q(a, b)\), 每个方案对应了 \(b!\binom ab\) 中的 \(b\) 个方案, 因此有:
\[Q(a, b) = \frac {b!\binom ab}{b} = \frac {a!}{(a - b)!b} \]无符号斯特林数 \(\left[\begin{matrix}a\\b\end{matrix}\right]\) 的组合意义是把 \(a\) 个元素分成 \(b\) 个子集, 并且将每个子集圆排列的方案数.
根据组合意义, 我们可以得到无符号斯特林数的递推式:
\[\left[\begin{matrix}a\\b\end{matrix}\right] = (a - 1)\left[\begin{matrix}a - 1\\b\end{matrix}\right] + \left[\begin{matrix}a - 1\\b - 1\end{matrix}\right] \]其意义为: \(\left[\begin{matrix}a\\b\end{matrix}\right]\) 中的方案, 由两种情况组成: 第一种是任意 \(\left[\begin{matrix}a - 1\\b - 1\end{matrix}\right]\) 中的情况, 加上第 \(a\) 个元素自成一环; 第二种是将 \(\left[\begin{matrix}a - 1\\b\end{matrix}\right]\) 中的每种方案, 将第 \(a\) 个元素插入到前 \(a - 1\) 个元素中任意一个的后面形成的方案.
根据 \(s(a, b)\) 和 \(\left[\begin{matrix}a\\b\end{matrix}\right]\) 的互推式可以得到 \(s(a, b)\) 的递推式:
\[s(a, b) = (1 - a)s(a - 1, b) + s(a - 1, b - 1) \]第二类斯特林数
定义第二类斯特林数 \(\left\{\begin{matrix}a\\b\end{matrix}\right\}\) 为:
\[x^n = \sum_{i = 0}^n \left\{\begin{matrix}n\\i\end{matrix}\right\} x^{\underline i} \]第二类斯特林数有定义式:
\[\left\{\begin{matrix}a\\b\end{matrix}\right\} = \frac {1}{b!}\sum_{i = 0}^b (-1)^i\binom{b}{i}(b - i)^a = \sum_{i = 0}^b (-1)^i\frac{(b - i)^a}{i!(b - i)!} \]第二类斯特林数 \(\left\{\begin{matrix}a\\b\end{matrix}\right\}\) 的组合意义是将 \(a\) 个元素分成 \(k\) 个非空子集的方案数. 因此有递推式:
\[\left\{\begin{matrix}a\\b\end{matrix}\right\} = b\left\{\begin{matrix}a - 1\\b\end{matrix}\right\} + \left\{\begin{matrix}a - 1\\b - 1\end{matrix}\right\} \]对于 \(\left\{\begin{matrix}a\\b\end{matrix}\right\}\) 的所有方案, 可以分为两种情况. 一种是元素 \(a\) 独自分到第 \(a\) 个集合, 和 \(\left\{\begin{matrix}a - 1\\b - 1\end{matrix}\right\}\) 中的方案一一对应; 另一种是元素 \(a\) 加入到 \(\left\{\begin{matrix}a - 1\\b\end{matrix}\right\}\) 任意方案中的 \(b\) 个集合之一, 所以一个 \(\left\{\begin{matrix}a - 1\\b\end{matrix}\right\}\) 的方案对应 \(b\) 个 \(\left\{\begin{matrix}a\\b\end{matrix}\right\}\) 的元素.
下降幂多项式
我们把形如下式的多项式称为下降幂多项式.
\[f(x) = \sum_{i = 0}^n a_ix^{\underline i} \]如果我们有多项式 \(f(x) = \displaystyle\sum_{i = 0}^n a_ix^i\), 需要求出一组系数 \(b\), 使得 \(f(x) = g(x) = \displaystyle \sum_{i = 0}^n b_ix^{\underline i}\), 可以尝试使用第二类斯特林数:
\[\begin{aligned} \sum_{i = 0}^n b_ix^{\underline i} &= \sum_{i = 0}^n a_ix^i\\ \sum_{i = 0}^n b_ix^{\underline i} &= \sum_{i = 0}^n a_i\sum_{j = 0}^i\left\{\begin{matrix}i\\j\end{matrix}\right\}x^{\underline j}\\ \sum_{i = 0}^n b_ix^{\underline i} &= \sum_{j = 0}^n x^{\underline j}\sum_{i = j}^n a_i\left\{\begin{matrix}i\\j\end{matrix}\right\}\\ b_i &= \sum_{j = i}^n a_j\left\{\begin{matrix}j\\i\end{matrix}\right\}\\ \end{aligned} \]下降幂和组合数
如果有组合数 \(\binom ab\), 那么它乘以 \(b\) 的下降幂有如下式子:
\[\begin{aligned} &b^{\underline x}\binom ab\\ = &\frac{a!}{b!(a - b)!} \times \frac{b!}{(b - x)!}\\ = &\frac{a!}{(a - b)!(b - x)!}\\ = &\frac{(a - x)!}{(a - b)!(b - x)!} a^{\underline x}\\ = &\binom{a - x}{b - x}a^{\underline x} \end{aligned} \]标签：begin,right,end,matrix,斯特林,多项式,sum,下降,left 来源： https://www.cnblogs.com/Wild-Donkey/p/16110498.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。