标签：斯特林 sum 元素 笔记 学习 划分 空集合 choose brace

第二类斯特林数

组合意义

将 \(n\) 个元素划分到 \(k\) 个非空集合中的方案数，记作 \(\displaystyle {n\brace k}\) 或 \(S(n,k)\)。

特殊地，定义 \(\displaystyle {n\brace 0}=[n=0],{n\brace n}=1\)。

重要恒等式

Formula 1.1：

\[{n\brace k}={n-1\brace{k-1}}+k{n-1\brace{k}},n\ge 1 \]

证明：若将第 \(n\) 个元素单独划分入一个集合，那么需要将前 \(n-1\) 个元素划分到 \(k-1\) 个非空集合中；若不单独将第 \(n\) 个元素划分入一个集合，那么需要将前 \(n-1\) 个元素划分到 \(k\) 个非空集合中，并将第 \(n\) 个元素划入这 \(k\) 个集合中的任意一个，根据加法原理与乘法原理可知 Formula 1.1 成立。

Formula 1.2：

\[{n\brace k}=\frac{1}{k!}\sum_{i=0}^{k}{k\choose i}(-1)^{k-i}i^n \]

证明：考虑用两种不同的方式计数将 \(n\) 个元素划分到 \(k\) 个有标号且可以为空的集合的方案数。

• 每个元素都可以划入 \(k\) 个集合中的任意一个，根据乘法原理，方案数为 \(n^k\)。

• 钦定不为空的集合有 \(i\) 个，再将 \(n\) 个元素划分入这 \(i\) 个非空集合中，根据第二类斯特林数的定义及乘法原理，方案数为 \(\displaystyle \sum_{i=0}^{k}{k\choose i}{n\brace i}i!\)

故有

\[n^k=\sum_{i=0}^{k}{k\choose i}{n\brace i}i! \]

二项式反演得

\[{n\brace k}k!=\sum_{i=0}^k{k\choose i}(-1)^{k-i}i^n\iff{n\brace k}=\frac{1}{k!}\sum_{i=0}^{k}{k\choose i}(-1)^{k-i}i^n \]

未完待续，明天初赛加油！

标签：斯特林,sum,元素,笔记,学习,划分,空集合,choose,brace
来源： https://www.cnblogs.com/Gauss0320/p/15310373.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。