第 个子阶乘(也称为错位数;Goulden 和 Jackson 1983, p. 48; Graham et al. 2003, p. 1050)是没有物体出现在其自然位置上的
个物体的排列的数量(即,“错位排列”)。
术语“子阶乘”由 Whitworth (1867 或 1878; Cajori 1993, p. 77) 引入。 欧拉 (Euler) (1809) 计算了前十项。
对于 , 2, ...,
的前几个值是 0, 1, 2, 9, 44, 265, 1854, 14833, ... (OEIS A000166)。 例如,
的唯一错位排列是
和
,因此
。 类似地,
的错位排列是
,
,
,
,
,
,
,
, 和
,因此
。
对于 的求和与公式包括
(1)
| |||
(2)
| |||
(3)
| |||
(4)
|
子阶乘在 Wolfram 语言中实现为子阶乘[n].
上面展示了推广到任何实数参数的子阶乘的实部和虚部的图,其中通常的整数值子阶乘对应于非负整数 。
子阶乘也称为重合数,并满足递推关系
(5)
| |||
(6)
|
子阶乘可以被认为是受限车摆放问题的一个特例。
子阶乘具有生成函数
(7)
| |||
(8)
| |||
(9)
|
(10)
| |||
(11)
| |||
(12)
|
子阶乘通常表示为 ,
(Graham et al. 2003, p. 194),
(Dörrie 1965, p. 19),
(Pemmaraju 和 Skiena 2003, p. 106),
(Goulden 和 Jackson 1983, p. 48; van Lint 和 Wilson 1992, p. 90), 或
(Riordan 1980, p. 59; Stanley 1997, p. 489),后者在将它们视为错位排列时尤其常用。
另一个方程由下式给出
(13)
|
其中 是通常的阶乘,而
是最接近整数函数。 M. Hassani(私人通信,2004 年 10 月 28 日)给出了以下形式
(14)
|
对于 和
(15)
|
对于 ,其中
是向下取整函数。
对于 的积分由下式给出
(16)
|
对于 的连分数由下式给出
(17)
|
对于 , 1, ...,
中的十进制数字的数量是 7, 158, 2568, 35660, 456574, 5565709, 65657059, ... (OEIS A114485)。
唯一的素数子阶乘是 。
唯一等于其数字的子阶乘之和的数字是
(18)
|
(Madachy 1979)。
子阶乘可以解析延拓到复平面,如上图所示。