斯特灵数
在数学中,史特灵数用于解决各种数学分析和组合数学问题,史特灵数是两组不同的数,均是18世纪由詹姆士·史特灵引入并以其命名,以第一类史特灵数和第二类史特灵数的称呼区分。此外,有时候也将拉赫数称为第三类史特灵数[1]。
第一类史特灵数
定义
第一类史特灵数可以定义为对应递降阶乘展开式的各项系数,即
其中,()即为第一类史特灵数。例如:
则
于是, , , 。
由此可知,是代数数,或称为有符号(第一类)史特灵数(英语:signed Stirling numbers of the first kind)。
有符号史特灵数的绝对值可以看作(或直接定义为)把个元素排列成个非空圆圈(循环排列)的方法数目。所以是算术数,或称为无符号(第一类)史特灵数(英语:unsigned Stirling numbers of the first kind)。无符号史特灵数一般可以记为或。例如:把,,三个数排列成个非空圆圈,显然有零种方法;排列成个非空圆圈,有,两种方法;排列成个非空圆圈,有,和三种方法;排列成个非空圆圈,有一种方法,所以,,。可以看到这和前面有符号史特灵数在时的结果一致(只是符号差异)。
与有符号史特灵数类似,无符号史特灵数可以定义为对应递高端乘展开式的各项系数,即
其中,()即为无符号史特灵数。不过要注意,这里的记号有时候会用来表示高斯二项式系数。
有符号史特灵数和无符号史特灵数有如下关系:
拓展示例
无符号史特灵数有更多的应用。例如,将个元素分成组,每组内的元素再进行排列的方法数目即可用无符号史特灵数求得。以为例:
- (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)
或用有向图表示如下:

递推关系式
无符号史特灵数有如下递推关系式:
其中,,且初始条件为 ,()。
有符号史特灵数有如下递推关系式:
第一类史特灵数表
下表其实是一部分无符号史特灵数,要想获得有符号史特灵数,可以通过它们之间的关系式:
求得。
k n |
0 | 1 | 2 | 3 | 4 | 5 | 6 |
---|---|---|---|---|---|---|---|
0 | 1 | ||||||
1 | 0 | 1 | |||||
2 | 0 | 1 | 1 | ||||
3 | 0 | 2 | 3 | 1 | |||
4 | 0 | 6 | 11 | 6 | 1 | ||
5 | 0 | 24 | 50 | 35 | 10 | 1 | |
6 | 0 | 120 | 274 | 225 | 85 | 15 | 1 |
第二类史特灵数
定义
第二类史特灵数与第一类史特灵数类似,可以用递降阶乘定义为
其中,[2][3]即为第二类史特灵数,也可以记为[4]。例如:
即
将递降阶乘展开并合并同类项,得
比较等式两边系数,得
解得
,,,。
第二类史特灵数计算的是将含有个元素的集合拆分为个非空子集的方法数目[5]。例如:对于集合,若拆分为个非空子集,显然有零种方法;拆分为个非空子集,只有一种方法;拆分为个非空子集,有,,三种方法;拆分为个非空子集,有一种方法。于是,,,。
第二类史特灵数可以使用以下公式进行计算:[6]
取进行验算,有
即
于是
拓展示例
将个人分成组的分组方法的数目。例如有甲、乙、丙、丁四人,若所有人分成组,只能所有人在同一组,因此;若所有人分成组,只能每人独立一组,因此;若分成组,可以是甲乙一组、丙丁一组,或甲丙一组、乙丁一组,或甲丁一组、乙丙一组,或其中三人同一组另一人独立一组,即:
- {甲, 乙}{丙, 丁}
- {甲, 丙}{乙,丁}
- {甲, 丁}{乙, 丙}
- {甲}{乙, 丙, 丁}
- {乙}{甲, 丙, 丁}
- {丙}{甲, 乙, 丁}
- {丁}{甲, 乙, 丙}
因此。同理,可以得到。
递推关系式
第二类史特灵数有与第一类史特灵数类似的递推关系式:
其中,,且初始条件为 ,()。
第二类史特灵数表
下面为部分第二类史特灵数:
k n |
0 | 1 | 2 | 3 | 4 | 5 | 6 |
---|---|---|---|---|---|---|---|
0 | 1 | ||||||
1 | 0 | 1 | |||||
2 | 0 | 1 | 1 | ||||
3 | 0 | 1 | 3 | 1 | |||
4 | 0 | 1 | 7 | 6 | 1 | ||
5 | 0 | 1 | 15 | 25 | 10 | 1 | |
6 | 0 | 1 | 31 | 90 | 65 | 15 | 1 |
简单性质
观察前面的“第二类史特灵数表”,我们可以得到一些简单的性质:
- ,()。
如果,我们有
- ;
或更一般地,如果,我们有
- 。
还有
- ,
- ,
- ,
- ,
- ,
- ,
- 。
拉赫数
定义
拉赫数是由伊沃·拉赫在1954年发现的[7][8],因为拉赫数与史特灵数关系密切,所以有时拉赫数也被称为第三类史特灵数。可以用递高端乘和递降阶乘定义为
或
其中, 即为拉赫数。例如:
即
等式两边展开并合并同类项,得
比较等式两边系数,得
解得 ,, ,。
或
即
等式两边展开并合并同类项,得
比较等式两边系数,得
解得 ,, ,。
以上定义的拉赫数是无符号拉赫数(英语: signed Lah numbers),有符号拉赫数(英语:signed Lah numbers)的定义如下:
或
无符号拉赫数计算的是将含有个元素的集合拆分为个非空线性有序子集的方法数目[9]。例如:对于集合,若拆分为个非空线性有序子集,显然有零种方法;拆分为个非空线性有序子集,有,,,,,六种方法;拆分为个非空线性有序子集,有,,,,,六种方法;拆分为个非空线性有序子集,有,,一种方法。于是,, ,。
无符号拉赫数可以使用以下公式进行计算:
有符号拉赫数可以使用以下公式进行计算:
拓展示例

递推关系式
无符号拉赫数有如下递推关系:
或
其中,,,(),
拉赫数表
下面为部分无符号拉赫数:
k n |
0 | 1 | 2 | 3 | 4 | 5 | 6 |
---|---|---|---|---|---|---|---|
0 | 1 | ||||||
1 | 0 | 1 | |||||
2 | 0 | 2 | 1 | ||||
3 | 0 | 6 | 6 | 1 | |||
4 | 0 | 24 | 36 | 12 | 1 | ||
5 | 0 | 120 | 240 | 120 | 20 | 1 | |
6 | 0 | 720 | 1800 | 1200 | 300 | 30 | 1 |
简单性质
观察前面的“拉赫数表”,我们可以得到一些简单性质:
, ()
如果,有 ,
还有
三类之间的关系
三类史特灵数以及乘方、阶乘之间的关系可以用下图表示:
参考数据
- Sándor, Jozsef; Crstici, Borislav. . Kluwer Academic Publishers. 2004: 464. ISBN 9781402025464.
- . Imanuel Marx, The American Mathematical Monthly 69, #6 (June–July 1962). : 530–532,. JSTOR 2311194..
- Antonio Salmeri (编). . : pp. 44–54.
- Knuth, D.E. (1992) (编). . : 403-422. JSTOR 2325085. arXiv:math/9205211
. doi:10.2307/2325085.
- Brualdi,R.A. (编). . 由冯速等人翻译. 北京: 机械工业出版社. 2012.4: 176页. ISBN 978-7-111-37787-0.
- Weisstein, Eric W. (编). . at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2019-06-06]. (原始内容存档于2019-06-06) (英语).
- Lah, Ivo. 9. 1954: 7–15.
|journal=
被忽略 (帮助) - John Riordan, Introduction to Combinatorial Analysis (页面存档备份,存于), Princeton University Press (1958, reissue 1980) ISBN 978-0-691-02365-6 (reprinted again in 2002 by Dover Publications).
- Petkovsek, Marko; Pisanski, Tomaz. 12. Fall 2007: 417–424. JSTOR 24340704.
|journal=
被忽略 (帮助);|number=
被忽略 (帮助) - Comtet, Louis. . Dordrecht, Holland: Reidel. 1974: 156.