Subfactorial

En matemáticas, el subfactorial de un número natural n, a veces escrito como !n, es el número de posibles desarreglos (permutación donde ninguno de sus elementos aparece en la posición original) de un conjunto con n elementos. En términos concretos, el subfactorial cuenta el número de formas diferentes en que n personas podrían cambiar por ejemplo: regalos, donde cada persona da un regalo a otra persona, y cada uno recibe exactamente otro regalo. El subfactorial es una función del conjunto de números naturales que devuelve un valor también natural.

La función subfactorial define la secuencia A000166 en OEIS.

El nombre «subfactorial» viene de la función factorial (usualmente escrita n!), la cual cuenta el número total de permutaciones de un elemento n de un conjunto. El valor del subfactorial es siempre menor o igual que el factorial correspondiente a mismo n:

$!n\,\leq \,n!$

Computando los valores de la función Subfactorial

$n$	$!n$
0	1
1	0
2	1
3	2
4	9
5	44
6	265
7	1854
8	14 833
9	133 496
10	1 334 961
11	14 684 570
12	176 214 841
13	2 290 792 932
14	32 071 101 049
15	481 066 515 734
16	7 697 064 251 745
17	130 850 092 279 664
18	2 355 301 661 033 953
19	44 750 731 559 645 106
20	895 014 631 192 902 121
21	18 795 307 255 050 944 540
22	413 496 759 611 120 779 881
23	9 510 425 471 055 777 937 262

Los subfactoriales pueden ser calculados usando el principio de inclusión-exclusión.

$!n=n!\sum _{k=0}^{n}{\frac {(-1)^{k}}{k!}}$

También pueden ser calculados de las siguientes formas:

$!n=\int _{0}^{\infty }(x-1)^{n}e^{-x}dx={\frac {\Gamma (n 1,-1)}{e}}$

donde $\Gamma$ denota la función gamma incompleta, y e es la constante de Euler; o

$!n=\left[{\frac {n!}{e}}\right]\qquad {\mbox{ para }}n\geq 1$

donde $x$ denota la función parte entera más cercana.

$!n=!(n-1)\;n (-1)^{n}\qquad {\mbox{ para }}n\geq 1$

${\textstyle !n=(n-1)\;(!(n-1) !(n-2))\qquad {\mbox{ para }}n\geq 2}$

$!n=(n-1)\;a_{n-2}\qquad {\mbox{ para }}n\geq 2,$

donde la secuencia ${\bigl (}a_{n}{\bigr )}_{n}$ está dada por $\;a_{0}=a_{1}=1$ y $a_{n}=n\;a_{n-1} (n-1)\;a_{n-2}$; esta es la secuencia OEIS:A000255

Los subfactoriales también pueden ser calculados recursivamente:

$!n=n!-\sum _{k=1}^{n}{n \choose k}(!(n-k))$

Intuitivamente, la expresión anterior puede deducirse a partir de las siguientes observaciones:

• Para $n$ objetos existen un total de $n!$ permutaciones (primer término de la derecha).
• De los $n$ objetos escogemos un número $k$ objetos que mantendremos fijos (sumatorio en $k$).
• Existen un total de ${n \choose k}$ formas posibles de fijar $k$ objetos de una muestra de $n$.
• Asimismo, los $(n-k)$ objetos no fijados pueden permutarse de $!(n-k)$ formas diferentes (término dentro del sumatorio).

Recursivamente, el factorial de un número puede calcularse partiendo de que $!1=0$ y $!2=1$ como $!n=(n-1)(!(n-1) !(n-2)).\,$

Miscelánea

La notación !n no es universalmente aceptada. Da ambigüedad a la notación de la función factorial si hay algún valor que precede al subfactorial, lo cual hace que usualmente se necesite un inusual ordenamiento de los factores (véase por ejemplo las fórmulas arriba), o paréntesis rodeando el subfactorial. Sin embargo, existen otras notaciones que carecen de esta ambigüedad, como D_n, d_n, o n¡ (que usa el signo de exclamación invertido).​

El número 148 349 es el único número que es igual a la suma de los subfactoriales de sus dígitos:

$148349=!1 !4 !8 !3 !4 !9$

El uso de subfactoriales a veces es permitido en el juego matemático llamado Cuatro cuatros, donde el hecho que !4 sea 9 es útil.

Referencias

• David Wells, The Penguin Dictionary of Curious and Interesting Numbers (2nd ed 1997) ISBN 0 14 026149 4, p.104

• Datos: Q2361661