第 個子階乘(也稱為錯位數;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)。
子階乘可以解析延拓到複平面,如上圖所示。