Problema: Juan y Pedro están escribiendo un número de 20 dígitos usando sólo 1, 2, 3, 4 y 5. El primer dígito lo escribe Juan, luego Pedro y así sucesivamente. Pedro quiere que el número resultante sea divisible por 9. ¿Podría Juan destruir el deseo de Pedro?
Mi intento: Si la suma de los dígitos es divisible por 9, entonces el número es divisible por 9. Así que Juan tiene que asegurarse de que la suma de los dígitos es 0, 1, 2, 3 mod 9 después de su movimiento. En otras palabras, puede colocar 1, 2 o 3.
Si Juan colocó 2, Pedro colocó 1, entonces Juan tendría sólo 1, 2, 3, 4, 5 para colocar;
Si Juan colocó 2, Pedro colocó 2, entonces Juan sólo tendría 1, 2, 3, 4 para colocar;
Si Juan colocó 2, Pedro colocó 3, entonces Juan sólo tendría que colocar 1, 2, 3, 5;
Si Juan colocó 2, Pedro colocó 4, entonces Juan sólo tendría que colocar 1, 2, 4, 5;
Si Juan colocó 2, Pedro colocó 5, entonces Juan sólo tendría que colocar 1, 3, 4, 5;
Si Juan colocó 1, Pedro colocó 1, entonces Juan sólo tendría 1, 2, 3, 4, 5 para colocar;
Si Juan colocó 1, Pedro colocó 2, entonces Juan tendría sólo 1, 2, 3, 4, 5 para colocar;
Si Juan colocó 1, Pedro colocó 3, entonces Juan tendría sólo 1, 2, 3, 4 para colocar;
Si Juan colocó 1, Pedro colocó 4, entonces Juan sólo tendría que colocar 1, 2, 3, 5;
Si Juan colocó 1, Pedro colocó 5, entonces Juan sólo tendría que colocar 1, 2, 4, 5;
Por lo tanto, parece que para Juan es mejor empezar con 1. Sin embargo, deberíamos ver una tabla de valores que Juan podría elegir para hacer restos de 1, 2 o 3 mod 9:
Si Juan coloca 1, Pedro coloca 1, entonces Juan no tendría nada que colocar;
Si Juan colocó 1, Pedro colocó 2, entonces Juan no tendría nada que colocar;
Si Juan colocó 1, Pedro colocó 3, entonces Juan no tendría nada que colocar;
Si Juan colocó 1, Pedro colocó 4, entonces Juan tendría sólo 5 para colocar;
Si Juan colocó 1, Pedro colocó 5, entonces Juan tendría sólo 4, 5 para colocar;
Si Juan colocó 2, Pedro colocó 1, entonces Juan no tendría nada que colocar;
Si Juan coloca 2, Pedro coloca 2, entonces Juan no tendría nada que colocar;
Si Juan colocó 2, Pedro colocó 3, entonces Juan tendría sólo 5 para colocar;
Si Juan colocó 2, Pedro colocó 4, entonces Juan tendría sólo 4, 5 para colocar;
Si Juan colocó 2, Pedro colocó 5, entonces Juan sólo tendría 3, 4, 5 para colocar;
Si Juan colocó 3, Pedro colocó 5, entonces Juan sólo tendría que colocar 2, 3, 4;
Si Juan colocó 3, Pedro colocó 4, entonces Juan tendría sólo 3, 4, 5 para colocar;
Si Juan colocó 3, Pedro colocó 3, entonces Juan tendría sólo 4, 5 para colocar.;
Si Juan colocó 3, Pedro colocó 2, entonces Juan tendría sólo 5 para colocar;
Si Juan colocó 3, Pedro colocó 1, entonces Juan no tendría nada que colocar;
Así que, básicamente, John debería empezar con 3, y luego actuar según la tabla. Creo que las tablas son las mismas para cada movimiento, pero la parte "Si Juan colocó x" debería cambiarse por "Si Juan colocó algo para hacer un resto de x".
Entonces, la respuesta es no, no es posible que Juan destruya el plan de Pedro para hacer un múltiplo de 9. A menos que, Pedro sea un ser humano normal.
Mis problemas con esto: No creo que sea muy elegante usar tablas en las soluciones, ¿alguien podría ayudarme con eso? Además, ¿estoy realmente en lo cierto?