OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
En primer lugar, para $n=2$, está claro que se pueden sentar $n^2=4$ representantes de la siguiente manera: \[1\succ 2\succ 2\succ 1.\]
En este diagrama entendemos que un representante del país $1$ (el primer uno) tiene a su derecha a uno del país $2$ (el primer dos), quien tiene a su derecha a otro del país $2$ (el segundo dos), quien tiene a su derecha a uno del país $1$ (el último uno) y, cerrando el ciclo, éste tiene a su derecha a uno del país $1$ (otra vez el primer uno). Supongamos entonces que podemos sentar a $n^2$ representantes de $n$ países e intentemos hacerlo con $n+1$ países. En los $n^2$ representantes habrá dos del país $1$ consecutivos, luego su cadena podremos escribirla de la forma \[1\succ\ldots\succ1.\] Ahora añadimos los $(n+1)^2-n^2=2n+1$ representantes adicionales ($n+1$ del país $n+1$ y uno de cada uno de los $n$ países originales) de la siguiente manera: \[\overbrace{1\succ\ldots\succ 1}^{\text{cadena original}}\succ(n+1)\succ 2\succ(n+1)\succ 3\succ \ldots\succ (n+1)\succ n\succ (n+1)\succ(n+1)\succ 1.\] Está claro que los del país $n+1$ tienen a todos los países a su derecha y el resto tienen al país $n+1$. La hipótesis de inducción nos dice que en la cadena original estaban ya todas las posibles combinaciones entre los $n$ países originales, luego tenemos probado el resultado.Al color negro le asignan el número 1 y al blanco el $-1$. El último de la fila multiplica todos los sombreros que ve por delante de él y dice el color correspondiente (puede acertar si tiene suerte pero no se garantiza que acierte). Sin embargo el que está delante de él puede dividir el número que ha dicho su predecesor entre el producto de los 2016 sombreros que puede ver, con lo que sabe el color de su sombrero. Análogamente, los siguientes presos dividen el primer número entre el producto de los sombreros que ven o que ya se han dicho, con lo que averiguan el suyo propio. De esta forma, se garantiza que todos se salvan salvan todos (salvo posiblemente el último de la fila).
Nota. El mismo razonamiento vale par una fila de $N$ presos y se garantiza que se salvan $N-1$.
$\times$ | $\times$ | $\times$ | $\times$ | |||||
$\times$ | $\times$ | $\times$ | $\times$ | |||||
$\times$ | $\times$ | $\times$ | $\times$ | |||||
$\times$ | $\times$ | $\times$ | $\times$ | |||||
El caso base de inducción es $n=0$, que se cumple ya que, coloque donde coloque José, habrá $4\cdot 0+2=2$ puntos utilizados y él ha sido el último en jugar. Supongamos entonces que después de jugar José, hay $4n+2$ puntos utilizados y demostremos que, después de cierto número de jugadas de ambos jugadores, habrá $4n+6$ puntos utilizados y José habrá sido el último en jugar. La forma de proceder de José después de cada jugada de María es la siguiente:
Finalmente, observemos que María en su turno nunca se le presentan $4n+4$ ni $4n+5$ puntos utilizados, luego no puede ser la primera en utilizar los $4n+6$ puntos, lo que demuestra que esta es la estrategia ganadora para José.
Nota. Este es un problema que admite muchas discusiones de casos y aproximaciones ligeramente distintas. La solución arriba presentada tiene la ventaja de que se puede adaptar para cualquier número de la forma $4n+2$ en lugar de $98$.