斯特林数

最新推荐文章于 2021-08-22 10:08:37 发布

晓风残月xj

最新推荐文章于 2021-08-22 10:08:37 发布

阅读量1k

点赞数

分类专栏：数学-斯特林数文章标签：数学

数学-斯特林数专栏收录该内容

1 篇文章 0 订阅

订阅专栏

原创作品，出自 “晓风残月xj” 博客，欢迎转载，转载时请务必注明出处（http://blog.csdn.net/xiaofengcanyuexj）。

由于各种原因，可能存在诸多不足，欢迎斧正！

斯特林数

分类：算法 2013-07-03 14:16 113人阅读评论(0) 收藏举报

目录(?)[+]

斯特林数出现在许多组合枚举问题中. 对第一类斯特林数 StirlingS1[n,m]，给出恰包含 m 个圈的 n 个元素的排列数目. 斯特林数满足母函数关系 . 注意某些的定义与 Mathematica 中的不同，差别在于因子 . 第二类斯特林数 StirlingS2[n,m]给出把 n 个可区分小球分配到m个不可区分的的盒子，且盒子没有空盒子的方法的数量. 它们满足关系 . 划分函数 PartitionsP[n]给出把整数 n 写为正整数的和，不考虑顺序的方法的数目. PartitionsQ[n]给出把整数 n 写为正整数的和，并且和中的整数是互不相同的写法的数目

设S(p,k)是斯特林数

S(p,k)的一个组合学解释是：将p个物体划分成k个非空的不可辨别的（可以理解为盒子没有编号）集合的方法数。

S(p,k)的递推公式是：

　**S(p,k) = k*S(p-1,k) + S(p-1,k-1) ,1<= k <=p-1

边界条件：

S(p,p) = 1 ,p>=0

S(p,0) = 0 ,p>=1**

递推关系的说明：考虑第p个物品，p可以单独构成一个非空集合，此时前p-1个物品构成k-1个非空的不可辨别的集合，方法数为S(p-1,k-1)；也可以前p-1种物品构成k个非空的不可辨别的集合，第p个物品放入任意一个中，这样有kS(p-1,k)种方法。

第一类斯特林数和第二类斯特林数有相同的初始条件，但递推关系不同。引用Brualdi《组合数学》里的一段注释“对于熟悉线性代数的读者，解释如下：具有（比如）实系数，最多为p次的那些各项式形成一个p+1维的向量空间。组1，n，n^2，...。n^p和组A(n, 0)，A(n,1)，A(n,2)，... ，A(n,p)都是该空间的基。第一类Stirling数和第二类Stirling数告诉我们如何用其中的一组基表示另一组基。

斯特灵数[编辑]

维基百科，自由的百科全书



在组合数学，Stirling数可指两类数，都是由18世纪数学家James Stirling提出的。

第一类[编辑]

s(4,2)=11

第一类Stirling数是有正负的，其绝对值是 $n$ 个元素的项目分作 $k$ 个环排列的方法数目。常用的表示方法有 $s(n,k) , \left[\begin{matrix} n \\ k \end{matrix}\right]$ 。

换个较生活化的说法，就是有 $n$ 个人分成 $k$ 组，每组内再按特定顺序围圈的分组方法的数目。例如 $s(4,2)$ ：

{A,B},{C,D}
{A,C},{B,D}
{A,D},{B,C}
{A},{B,C,D}
{A},{B,D,C}
{B},{A,C,D}
{B},{A,D,C}
{C},{A,B,D}
{C},{A,D,B}
{D},{A,B,C}
{D},{A,C,B}

这可以用有向图来表示。

给定 $s(n,0)=0,s(1,1)=1$ ，有递归关系 $s(n+1,k)=s(n,k-1) + n \; s(n,k)$

递推关系的说明：考虑第n+1个物品，n+1可以单独构成一个非空循环排列，这样前n种物品构成k-1个非空循环排列，方法数为s(n,k-1)；也可以前n种物品构成k个非空循环排列，而第n+1个物品插入第i个物品的左边，这有ns(n,k)种方法。

$| s(n,1) | =(n-1)!$
$s(n,k) = (-1)^{n+k} | s(n,k) |$
$s(n,n-1) = - C(n,2)$
$s(n,2) = (-1)^n (n-1)!\; H_{n-1}$
$s(n,3) = \frac{1}{2} (-1)^{n-1} (n-1)! [ (H_{n-1})^2 - H_{n-1}^{(2)} ]$

$H_n^{(m)}$ 是调和数的推广。

$s(n,k)$ 是递降阶乘多项式的系数：

$x^{\underline{n}}= x(x-1)(x-2)\ldots(x-n+1) = \sum_{k=1}^n s(n,k)x^k$

第二类[编辑]

第二类Stirling数是 $n$ 个元素的集定义k个等价类的方法数目。常用的表示方法有 $S(n,k) , S_n^{(k)} , \left\{\begin{matrix} n \\ k \end{matrix}\right\}$ 。

换个较生活化的说法，就是有 $n$ 个人分成 $k$ 组的分组方法的数目。例如有甲、乙、丙、丁四人，若所有人分成1组，只有所有人在同一组这个方法，因此 $S(4,1)=1$ ；若所有人分成4组，只可以人人独立一组，因此 $S(4,4)=1$ ；若分成2组，可以是甲乙一组、丙丁一组，或甲丙一组、乙丁一组，或甲丁一组、乙丙一组，或其中三人同一组另一人独立一组，即是：

{A,B},{C,D}
{A,C},{B,D}
{A,D},{B,C}
{A},{B,C,D}
{B},{A,C,D}
{C},{A,B,D}
{D},{A,B,C}

因此 $S(4,2)=7$ 。

给定 $S(n,n)=S(n,1)=1$ ，有递归关系 $S(n,k) = S(n-1,k-1) + k S(n-1,k)$
递推关系的说明：考虑第n个物品，n可以单独构成一个非空集合，此时前n-1个物品构成k-1个非空的不可辨别的集合，方法数为S(n-1,k-1)；也可以前n-1种物品构成k个非空的不可辨别的集合，第n个物品放入任意一个中，这样有k*S(n-1,k)种方法。
$S(n,n-1)=C(n,2)=n(n-1)/2$
$S(n,2)=2^{n-1} - 1$
$S(n,k) =\frac{1}{k!}\sum_{j=1}^{k}(-1)^{k-j} C(k,j) j^n$
$B_n=\sum_{k=1}^n S(n,k)$

$C(k,j)$ 是二项式系数，B_n是贝尔数。

两者关系[编辑]

$\sum_{n=0}^{\max\{j,k \}} S(n,j) s(k,n) = \sum_{n=0}^{\max\{j,k \}} s(n,j) S(k,n) = \delta_{jk}$

$\delta_{jk}$ 是克罗内克尔δ。

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
斯特林数

斯特林数分类：算法 2013-07-03 14:16 113人阅读评论(0)收藏举报目录(?)[+]斯特灵数编辑第一类编辑第二类编辑两者关系编辑HDU 3625 Examining the Rooms 斯特林数的应用HDU 3625 Examining the Rooms 斯特林数的应用斯特林数出现在
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。