OMEO 2020 NB P3

[Tomás Morcos Porras]

En un tablero de $3\times 3$ se tiene una serpiente. Una serpiente de longitud $k$ es un animal que inicialmente ocupa una tira ordenada de casillas distintas del tablero, a la que llamaremos $(s_1, s_2, . . . , s_k)$, de modo que las casillas $s_i$ y $s_{i+1}$ comparten un lado para todo $i = 1, 2, . . . , k−1$. Tras ser posicionada en el tablero, si la serpiente actualmente ocupa $(s_1, s_2, . . . , s_k$) y $s$ es una casilla desocupada que comparte un lado con $s_1$, la serpiente puede realizar un movimiento para pasar a ocupar $(s, s_1, . . . , s_{k−1})$. Decimos que la serpiente se dio vuelta si inicialmente ocupaba las casillas $(s_1, s_2, . . . , s_k)$ y tras realizar una serie de movimientos terminó ocupando las casillas $(s_k, s_{k−1}, . . . , s_1)$.
Hallar el entero más grande $k$ tal que se puede posicionar una serpiente en un tablero de
$3\times 3$ de longitud $k$ tal que esta pueda darse vuelta.

[¿hola?]

Spoiler: mostrar

El ejemplo con $k=5$ es sencillo, asi que demostraremos que si $k \geq 6$ no se podrá ubicar una serpiente y que se de vuelta.
Primero veamos que si se puede ubicar una serpiente de longitud $k$ y que se de vuelta entonces se puede ubicar una de longitud $k-1$ y que se de vuelta. Sean $p_1, p_2,... p_k$ las partes de la serpiente

Spoiler: mostrar

Vemos que en el ultimo movimiento la parte $p_i$ terminara en la casilla $s_{k-i+1}$ (ya que al principio estaba en $s_i$ y al final la serpiente se dio vuelta) por lo que en el penúltimo movimiento la parte $p_i$ estará en la casilla $s_{k-i}$ para $i \leq k-1$ y $p_k$ estará en una casilla que al principio estuvo vacía (ya que las casillas vacías del principio son las mismas y cuando $p_k$ se mueve nadie ocupara su posición), por lo que si hacemos este mismo recorrido sacando $p_k$ y obteniendo $k'=k-1$ tendremos que en este penúltimo movimiento la posición de la parte $p_i$ sera $s_{k'-i+1}$ con $i \leq k'$ por lo que la serpiente de longitud $k'=k-1$ y partes $p_1, p_2,... p_{k'}$ se habrá dado vuelta.

Por lo que resta demostrar que con $k=6$ no se puede dar vuelta una serpiente. Pintemos el tablero de ajedrez con esquinas negras. Ahora Procederemos a reducir al absurdo.
Es claro que la serpiente tendrá siempre $3$ partes de ella en casillas blancas y $3$ partes de ella en casillas negras y que ademas siempre habrá una casilla blanca vacía en el tablero (la que inicialmente esta vacía se llamara $s_v$ y pondremos inicialmente en ella una ficha $v$ en ella que se va a mover eventualmente y determinara que su casilla esta vacía). Ahora veamos como se mueven las partes $p_1, p_3, p_5$ y $v$ si están en casillas blancas y pasan dos movimientos (volviendo a casillas blancas), $p_5$ va a donde estaba $p_3$, $p_3$ a donde estaba $p_1$, $p_1$ a donde estaba $v$ (ya que no puede ir a donde estaba $p_5$ porque al realizar el segundo movimiento en ella esta $p_6$) y $v$ va a donde estaba $p_5$, osea el siguiente ciclo...
$v \rightarrow p_5 \rightarrow p_3 \rightarrow p_1 \rightarrow v$

Si $s_1$ es blanca

Spoiler: mostrar

Veamos que por el ciclo anterior y porque al empezar $p_1, p_3, p_5$ y $v$ están en $s_1, s_3, s_5$ y $s_v$ respectivamente (que son blancas) $p_1$ estará en $s_5$ si y solo si $p_3$ esta en $s_v$ pero en el penúltimo movimiento $p_1$ estará en $s_5$ y $p_3$ en $s_3$ lo que es absurdo.

si $s_1$ es negra

Spoiler: mostrar

Veamos que por el ciclo anterior y porque en el segundo movimiento $p_1, p_3, p_5$ y $v$ están en $s_v, s_2, s_4$ y $s_6$ respectivamente (que son blancas) $p_1$ estará en $s_6$ si y solo si $p_3$ esta en $s_v$ pero en el ultimo movimiento $p_1$ estará en $s_6$ y $p_3$ en $s_4$ lo que es absurdo.

[Marco V]

El enunciado está mal, se supone que la serpiente pueda llegar a ocupar el lugar en donde se encontraba la cola

[¿hola?]

El enunciado está mal, se supone que la serpiente pueda llegar a ocupar el lugar en donde se encontraba la cola

F

[Tomás Morcos Porras]

El enunciado está mal, se supone que la serpiente pueda llegar a ocupar el lugar en donde se encontraba la cola

Em... Creo que dice eso.

[¿hola?]

El enunciado está mal, se supone que la serpiente pueda llegar a ocupar el lugar en donde se encontraba la cola

Em... Creo que dice eso.

Dice que $s_1$ se mueve a una casilla desocupada (no ocupada por su cola) con la que comparta un lado.

[Tomás Morcos Porras]

El enunciado está mal, se supone que la serpiente pueda llegar a ocupar el lugar en donde se encontraba la cola

Em... Creo que dice eso.

Dice que $s_1$ se mueve a una casilla desocupada (no ocupada por su cola) con la que comparta un lado.

Dónde están los admins cuando uno los necesita (?