Ten en cuenta que, en teoría, no hay límite a la duración de la partida: si tienes suficiente mala suerte, en teoría no hay límite a cuántas rondas seguidas puedes obtener un resultado "sin regalos" en el dado. Dicho esto, el número previsto de rondas antes de que se abran todos los N regalos es 3N (como se muestra a continuación), y existe una buena fórmula para calcular la probabilidad de que el juego haya terminado después de k rondas, para cualquier k . Aunque esta probabilidad nunca es exactamente del 100%, se aproxima al 100% a medida que k se hace grande.
El número esperado de rondas es 3N
Podemos relacionar los resultados de este juego con los resultados de un juego relacionado en el que lanzamos una moneda que tiene una probabilidad \frac{1}{3} de HEADS y una probabilidad \frac{2}{3} de COLAS. En concreto, HEADS significa "abre un regalo" y TAILS significa "no abras un regalo".
Existen N regalos en total y el juego termina cuando están todos abiertos. Por lo tanto, el número esperado de rondas antes de que el juego termine es el número esperado de lanzamientos de moneda antes de que N éxitos. El número esperado de lanzamientos de moneda antes de N éxitos es N/p donde p es la probabilidad de éxito. Aquí, "éxito" significa "abrir un regalo", así que:
Expectativa = \frac{N}{p} = \frac{N}{1/3} = 3N rondas para abrir todos los N regalos.
Es decir, se espera que el juego termine después de 3N rondas, donde N es el número de regalos que hay que abrir. (Esto tiene sentido: imagínese si la probabilidad de abrir un regalo fuera del 100%, o si fuera de 1/2, y así sucesivamente).
Una fórmula para la probabilidad de terminar después de k rondas
Del mismo modo, la probabilidad de que el juego haya terminado después de M turnos es la probabilidad de dar la vuelta M monedas y conseguir como mínimo N cabezas. (La razón por la que está bien conseguir más de N cabezas es porque podemos imaginar que el juego terminó después de N caras y seguíamos tirando monedas de todos modos aunque ya no tuviera ningún efecto).
La probabilidad de voltear M monedas y conseguir al menos N cabezas es:
P(M,N) \equiv \sum_{h=N}^M {M \choose h} \left(\frac{1}{3}\right)^h \left(\frac{2}{3}\right)^{M-h} = \left(\frac{2}{3}\right)^M\sum_{h=N}^M {M \choose h} 2^{-h}
Esto equivale a la probabilidad de que el juego termine tras M rondas o menos. Desgraciadamente, es una fórmula bastante complicada con muchos términos. En la próxima sección, mostraré cómo podemos utilizar la matemática matricial para obtener una forma más compacta de calcular estas y otras probabilidades.
Una fórmula mejorada utilizando matemáticas matriciales
Supongamos que llevamos la cuenta del número g de regalos que hemos abierto hasta ahora. Al principio, g=0 y sabemos que el juego termina cuando g=N . En cada ronda g se incrementa (probabilidad 1/3) o permanece igual (probabilidad 2/3).
Como podemos modelizar este problema como varios "estados del mundo" con una probabilidad de transición entre ellos, podemos utilizar una rama de la matemática matricial (en concreto, los procesos de Markov) para calcular eficazmente las probabilidades de los distintos resultados.
Para ello, hacemos una (N+1)\times (N+1) matriz de transición T . La entrada T_{i,j} es la probabilidad de comenzar en el estado g=i e ir al estado g=j después de una ronda. En nuestro caso, tenemos:
T_{i,j} = \begin{cases}\frac{1}{3}&\text{if }i=j-1\\\frac{2}{3} &\text{if }i=j<N\\1&\text{if }i=j=N\\0&\text{otherwise}\end{cases}
(También hemos incluido la regla de que siempre que g=N permanece en g=N porque el número de regalos abiertos ya no puede aumentar).
Así, por ejemplo, si hay N=4 regalos, la matriz de transición es de 5×5 y tiene el siguiente aspecto:
T = \begin{bmatrix}\frac{2}{3}&&&&\\\frac{1}{3}&\frac{2}{3}&&&\\&\frac{1}{3}&\frac{2}{3}&&\\&&\frac{1}{3}&\frac{2}{3}&\\&&&\frac{1}{3}&1\end{bmatrix}
Ahora resulta que los poderes T, T^2, T^3, \ldots, T^k de la matriz de transición T calcular probabilidades importantes. Específicamente:
La primera columna de T^k enumera las probabilidades de que varios números de regalos estén abiertos después de exactamente k rondas. En particular, la entrada inferior izquierda de T^k es la probabilidad de que todos N regalos están abiertos-así que el juego ha terminado-por el k ª ronda.
Esto proporciona una forma compacta de calcular la probabilidad de que el juego haya terminado por el k ª ronda, para cualquier k .