Me encontré con el rompecabezas de los "dragones de ojos verdes" (también conocido como el rompecabezas de los "aldeanos de ojos azules"). La prueba típica utiliza una estrategia inductiva directa. Se me ocurrió una prueba probabilística, y me pregunté si hay agujeros en ella.
El rompecabezas en su forma (posiblemente original) se puede encontrar aquí: https://www.physics.harvard.edu/uploads/files/undergrad/probweek/prob2.pdf y la prueba inductiva aquí: https://www.physics.harvard.edu/uploads/files/undergrad/probweek/sol2.pdf .
Teorema : Los 100 dragones se transforman a medianoche de la primera noche.
Prueba : Basta con demostrar que cada dragón concluye independientemente $$\Pr[\textrm{exactly 100 dragons have green eyes}] = 1$$
Al partir, les decimos a los dragones colectivamente que al menos uno de de ellos tiene los ojos verdes. En concreto, les comunicamos que $$\Pr[\textrm{at least 1 dragon has green eyes}] = 1$$
Definir $L_i$ para ser el evento que al menos $i$ los dragones tienen ojos verdes, y $E_i$ para ser el evento que exactamente $i$ los dragones tienen ojos verdes.
Entonces la probabilidad anterior se puede replantear como
\begin{align*} \Pr[L_1] = {100 \choose 1} \Pr[E_1] + {100 \choose 2} \Pr[E_2] + \dots + {100 \choose 100} \Pr[E_{100}] \end{align*}
Como cada dragón observa el color de los ojos de todos los demás dragones, excepto el suyo, cada dragón concluye de forma independiente que:
\begin{align*} \Pr[E_0] = \Pr[E_1] = \Pr[E_2] = \dots = \Pr[E_{98}] = 0 \end{align*}
Por lo tanto, cada dragón concluye
\begin{align*} \Pr[L_1] = {100 \choose 99} \Pr[E_{99}] + \Pr[E_{100}] = 1 \end{align*}
Tenga en cuenta que
\begin{align*} \Pr[E_{99}] &= 1-\left(\Pr[E_0] + {100 \choose 1}\Pr[E_1] + \dots + {100 \choose 98}\Pr[E_{98}] + \Pr[E_{100}]\right) \\ &= 1- \Pr[E_{100}] \end{align*}
Por lo tanto, \begin{align*} {100 \choose 99} \Pr[E_{99}] + \Pr[E_{100}] &= 1 \\ 100(1-\Pr[E_{100}]) + \Pr[E_{100}] &= 1 \\ 100 - 99\Pr[E_{100}] &= 1 \\ \Pr[E_{100}] &= 1 \end{align*}
Así, cada dragón concluye individualmente que con probabilidad 1, todos 100 dragones tienen ojos verdes (incluido él mismo). Este razonamiento ocurre simultáneamente en todos los dragones, y así todos se transforman juntos en la primera medianoche, QED.
0 votos
Hmm... ha habido unas 1.000 visitas pero ningún comentario. ¿Hay un lugar mejor para hacer esta pregunta, o hay mejores etiquetas para usar aquí?
3 votos
Creo que se transformarán en la noche 100 y no en la primera.
0 votos
Además $\Pr[L_{99}]=1$ ya que todos los dragones pueden ver que los otros 99 tienen los ojos verdes, por lo que su cálculo para demostrar que $\Pr[L_1]=1$ es redundante. Sin embargo, yo tendría cuidado con el uso de la palabra "probabilidad". La probabilidad se refiere a los resultados de los experimentos que nadie puede saber con seguridad. Aquí la probabilidad se refiere a la ignorancia de un dragón (como ocurre cuando usamos la palabra "confianza" en lugar de intervalo de "probabilidad" en estadística), así que yo usaría al menos la palabra probabilidad subjetiva.
0 votos
Lo que has hecho es asumir que [cada dragón sabe que] 1) la probabilidad de que cada dragón tenga los ojos verdes es idéntica y 2) en todos los universos posibles, los otros 99 dragones siempre tienen los ojos verdes (eso es lo que $0=P(E_0) = \ldots$ significa). Por supuesto, entonces concluirían [incluso sin el visitante] que todos tienen los ojos verdes. Como se responde a continuación, la probabilidad no es particularmente útil o apropiada para este problema.