En combinatoria , los números de encuentro son una matriz triangular de números enteros que enumeran permutaciones del conjunto {1, ..., n } con un número específico de puntos fijos : en otras palabras, desarreglos parciales . ( Rencontre es la palabra francesa para encuentro . Según algunas versiones, el problema recibe su nombre de un juego de solitario ). Para n ≥ 0 y 0 ≤ k ≤ n , el número de encuentro D n , k es el número de permutaciones de {1, ..., n } que tienen exactamente k puntos fijos.
Por ejemplo, si se dan siete regalos a siete personas diferentes, pero solo dos están destinadas a recibir el regalo correcto, hay D 7, 2 = 924 posibilidades de que esto suceda. Otro ejemplo que se cita a menudo es el de una escuela de baile con 7 parejas, donde, después de la pausa del té, se les pide a los participantes que encuentren al azar una pareja para continuar, luego, una vez más, hay D 7, 2 = 924 posibilidades de que las 2 parejas anteriores se vuelvan a encontrar por casualidad.
Aquí está el comienzo de esta matriz (secuencia A008290 en la OEIS ):
Los números en la columna k = 0 enumeran los trastornos . Por lo tanto
para n no negativo . Resulta que
donde la razón se redondea hacia arriba para n par y hacia abajo para n impar . Para n ≥ 1, esto da el entero más cercano.
De manera más general, para cualquier , tenemos
La prueba es fácil una vez que uno sabe cómo enumerar los desequilibrios: elija los k puntos fijos de n ; luego elija el desequilibrio de los otros n − k puntos.
Los números D n ,0 /( n !) son generados por la serie de potencias e − z /(1 − z ) ; en consecuencia, una fórmula explícita para D n , m se puede derivar de la siguiente manera:
Esto implica inmediatamente que
para n grande, m fijo.
La suma de las entradas en cada fila de la tabla de " Valores numéricos " es el número total de permutaciones de { 1, ..., n }, y por lo tanto es n !. Si se dividen todas las entradas en la fila n por n !, se obtiene la distribución de probabilidad del número de puntos fijos de una permutación aleatoria uniformemente distribuida de { 1, ..., n }. La probabilidad de que el número de puntos fijos sea k es
Para n ≥ 1, el número esperado de puntos fijos es 1 (un hecho que se desprende de la linealidad de la expectativa).
De manera más general, para i ≤ n , el i ésimo momento de esta distribución de probabilidad es el i ésimo momento de la distribución de Poisson con valor esperado 1. [1] Para i > n , el i ésimo momento es menor que el de esa distribución de Poisson. Específicamente, para i ≤ n , el i ésimo momento es el i ésimo número de Bell , es decir, el número de particiones de un conjunto de tamaño i .
A medida que aumenta el tamaño del conjunto permutado, obtenemos
Esta es simplemente la probabilidad de que una variable aleatoria distribuida por Poisson con valor esperado 1 sea igual a k . En otras palabras, a medida que n crece, la distribución de probabilidad del número de puntos fijos de una permutación aleatoria de un conjunto de tamaño n se aproxima a la distribución de Poisson con valor esperado 1.