El juego del triángulo rectángulo

Estoy buscando una comprensión más profunda, particularmente la estrategia óptima y la puntuación máxima en función del tamaño de la cuadrícula, del siguiente juego (para un jugador) jugado con un norte por metro cuadrícula :

ingrese la descripción de la imagen aquí( 6 × 6 ejemplo)

Normas

  1. Comience con una cuadrícula hecha de norte por metro cuadrados y ejecutar tantos movimientos como puedas
  2. Un movimiento consiste en hacer un solo corte recto que corta un triángulo rectángulo con la condición de que el corte debe comenzar y terminar en un punto de la cuadrícula.
  3. Tu puntuación es el número de movimientos que has hecho.


Ejemplo 1: estrategia "ingenua"

La estrategia ingenua consiste en elegir siempre el movimiento que corta el triángulo rectángulo más pequeño posible.

Para rejillas más grandes que 2 × 2 , la estrategia ingenua termina el juego después de cuatro movimientos:

ingrese la descripción de la imagen aquí


Ejemplo 2: Un mejor intento

La siguiente ejecución del juego, aunque comienza cortando la mitad de la cuadrícula, contiene veinte movimientos:

ingrese la descripción de la imagen aquí


notas

  • Aunque todos los ejemplos utilizan un 6 × 6 cuadrícula cuadrada , también estoy particularmente interesado en tableros rectangulares no cuadrados (donde las unidades de la cuadrícula siguen siendo cuadrados, por supuesto).
  • Los triángulos cortados en los juegos de ejemplo son todos isósceles. ¡Tenga en cuenta que esto no es requerido por las reglas!
  • Dado que el triángulo más pequeño que se puede cortar legalmente es la mitad de una unidad de cuadrícula, 2 norte metro es un límite superior trivial para la puntuación máxima.
  • Sin relación con la pregunta original, este juego para un solo jugador también se puede convertir en un interesante juego para dos jugadores : los jugadores se alternan haciendo movimientos; el último jugador en hacer un movimiento legal gana.


La función de puntuación máxima

Dejar F ( norte , metro ) denota la puntuación máxima (número de movimientos) alcanzable con un norte × metro red.

Se sabe lo siguiente sobre F :

F ( norte , metro ) = F ( metro , norte ) (simetría)

F ( norte , metro ) 2 norte metro 1 (ver el comentario de hardmath)

F ( norte , 1 ) = 2 norte 1 (ver el comentario de hardmath)

F ( norte , 2 ) = 3 norte (se puede obtener con un poco de pensamiento)

F ( 1 , 1 ) = 1 (corolario de la fórmula anterior)

F ( 2 , 2 ) = 6 (corolario de la fórmula anterior)

F ( 3 , 3 ) = 11 (obtenido por ensayo y error manual)

F ( 4 , 4 ) = dieciséis (obtenido por prueba y error manual, corregido por el comentario de hardmath)

F ( norte , metro ) 2 min ( norte , metro ) + 3 máximo ( norte , metro ) 4 (ver el comentario de hardmath), en particular

F ( norte , norte ) 5 norte 4

Tenga en cuenta que el último límite es realmente estricto para 1 norte 4 , por lo que este límite (y la estrategia asociada) ya podría ser la respuesta a toda la pregunta.

Tal vez puedas encontrar el máximo para 1 × 1 , 2 × 2 , 3 × 3 , hasta que tenga suficiente para buscarlo en la Enciclopedia en línea de secuencias enteras.
Cada remanente sucesivo del tablero es necesariamente una forma convexa, producida a partir de la etapa anterior por "un solo corte recto que ... debe comenzar y terminar en un punto de cuadrícula". Si no contamos la eliminación de un solo triángulo rectángulo final con tal corte, entonces el límite superior trivial es realmente 2 norte metro 1 , alcanzable si una de las dimensiones es 1 .
Sugiere una estrategia (en la Q original de un jugador) de acortar la dimensión más corta (digamos norte 2 ) hasta 2 por una secuencia de 2 ( norte 2 ) se mueve (dividiendo cada fila a lo largo de una diagonal), luego obteniendo 3 metro sale del resto 2 × metro forma. De este modo F ( norte , metro ) 2 norte + 3 metro 4 cuando metro norte 2 .
No estoy seguro de haberte entendido correctamente. digamos que tenemos un 3 × 4 red. No hay forma de acortar la dimensión más corta ( 3 ) Abajo a 2 sin afectar también a la otra dimensión.
Tenga en cuenta también que su fórmula implica que F ( 4 , 4 ) dieciséis , mientras que mis ensayos indican fuertemente que F ( 4 , 4 ) = 15 .
podemos reducir 3 × 4 a 2 × 4 en 2 movimientos, despegando la fila "superior" por bisección a lo largo de su diagonal.
Ah, ¿te refieres a cortar dos triángulos delgados no isósceles? Cierto, ¡eso funciona!
Pregunta: Usted dice que el corte debe comenzar y terminar en un punto de la cuadrícula, pero ¿ese punto de la cuadrícula debe tener la forma que ha cortado hasta ahora o puede estar afuera?
he verificado F ( metro , norte ) = 2 metro + 3 norte 4 como un límite estricto para 2 metro norte 10 a través de una búsqueda exhaustiva.
@Frentos, ¿qué quiere decir con "límite estricto"? Quieres decir F ( metro , norte ) 2 metro + 3 norte 4
@JensRenders: F ( metro , norte ) 2 metro + 3 norte 4 fue establecido como límite por el usuario hardmath. He comprobado que la igualdad en el valor extremo, es decir F ( metro , norte ) = 2 metro + 3 norte 4 , se mantiene para 2 metro norte 10 .
¿Podría tal vez establecer una relación de recurrencia averiguando la relación entre F ( metro , norte ) y F ( metro , norte + 1 ) ?
@FranklinPezzutiDyer Bien por 2 metro norte , los comentarios anteriores observaron una estrategia recursiva que da F ( metro , norte ) 2 + F ( metro 1 , norte ) . Pero, ¿alguien puede probar que esta estrategia es óptima? (¿Se mantiene la igualdad?) Aplicar hasta metro = 2 usar F ( 2 , norte ) = 3 norte , que finalmente da como resultado F ( metro , norte ) 2 ( metro 2 ) + 3 norte como ya se discutió. El problema ahora es probar que se mantiene la igualdad (la estrategia es óptima) o encontrar un contraejemplo (una mejor estrategia).

Respuestas (1)

Dado que el tablero mxn puede no estar necesariamente cuadrado, tal vez para los tableros no cuadrados, debe usar un método que lo trate como un tablero no cuadrado. Estoy implicando que algunos de los triángulos que se cortan probablemente no sean isósceles debido a las diferentes dimensiones y, de hecho, la forma más óptima puede ser cortar triángulos en la proporción del rectángulo.

Otra posibilidad es seccionar el tablero rectangular en tablero cuadrado y no cuadrado. Luego, usa el método óptimo para resolver el cuadrado y luego continúa cortando triángulos rectángulos en la sección izquierda sobre la sección no cuadrada.

Espero que esto proporcione una idea de este problema.