OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Como $1993$ es primo, no vale el truco anterior y tenemos que necesariamente $a=1$. Por tanto, $1993$ será sensato cuando podamos encontrar $r,k\geq 2$ tales que \[1993=1+r+\ldots+r^k.\] Esta ecuación nos dice además que $r$ debe ser un divisor de $1992=2^3\cdot 3\cdot 81$. No obstante, $r$ no puede ser múltiplo de $81$ ya que $81^2\gt 1993$, lo que nos deja sólo las posibilidades $r\in\{2,3,4,6,8,12,24\}$. En realidad, se pueden probar una a una sin perder demasiado tiempo, pero una opción sin tanto cálculo es observar que \[1993=1+r+\ldots+r^k=\frac{r^{k+1}-1}{r-1}\ \Leftrightarrow\ 1+1993(r-1)=r^{k+1},\] luego sólo tenemos que calcular $1+1993(r-1)$ y ver si es potencia de $r$ o no:
Si $n$ es par, entonces nuestro objetivo se cumplirá si tocamos las $n^2$ lámparas ya que a cada lámpara le afectan $2n-1$ cambios de estado (en realidad, esto también funciona para $n$ impar pero no es óptimo, como acabamos de ver). Veamos que, si no tocamos todas las lámparas, entonces habrá alguna que quede apagada, lo que probará que $n^2$ es óptimo en este caso (observemos que no tiene sentido tocar una misma lámpara dos veces).
Como $S_1\leq 4095$, este número se encuentra entre los calculados. Ahora lo sumamos consigo mismo para obtener $2S_1$ y este resultado lo sumamos consigo mismo para obtener $4S_1$ y así sucesivamente hasta obtener $2^{11}S_1$, que es el número $S_1$ seguido de $11$ ceros. Ahora sumamos al resultado $S_2$ y ya tenemos el número $2^{11}S_1+S_2$, que contiene las veintidós cifras más significativas de $n$. Lo sumamos consigo mismo de forma que en otros once pasos obtenemos $2^{22}S_1+2^{11}S_2$ y le sumamos $S_3$. Podemos repetir este proceso para conseguir todas las cifras de $n$. Por cada grupo de once cifras que añadimos, hemos necesitado $12$ sumas (once para multiplicar por $2^{11}$ y una para añadir once nuevos dígitos), lo que hace un total de $4095+12\cdot 90908=1094991\lt 1100000$.
Queda el caso de que $n=2^{1000000}$, pero este número se obtiene con solo $1000000$ sumas sin más que sumar $1$ consigo mismo y luego $2$ consigo mismo, luego $4$ consigo mismo, y así sucesivamente.
Nota. Esta solución funciona haciendo grupos de $11$ (como hemos hecho), de $12$ (se obtiene un máximo de $1091520$ sumas) o $13$ dígitos ($1093291$ sumas). Con grupos de más de $13$ dígitos o de menos de $11$, necesitaríamos en general más de $1100000$ sumas mediante este método.