Análisis
Páginas que demuestran o calculan una propiedad de un tablero existente o de la instancia, sin producir un tablero nuevo.
6 páginas
Resolver exactamente una banda de filas encontrándose en el medio, para hallar el verdadero mejor final y medir hasta qué punto puede decidirse por anticipado una fin de partida.
Una energía libre de propagación de creencias, calculada sobre las piezas sobrantes de la última fila, predice el rango del mejor final posible. La señal no es un proxy del puntaje bruto, sobrevive a un cambio de productor y muere más allá de una fila.
Un borde perfecto de 60 piezas no es un objeto rígido. Cada marco completamente apareado admite exactamente 45 intercambios libres a coste de borde cero; un tercio de los marcos perfectos ni siquiera pueden arrancar el interior, y un solo intercambio libre revive cada uno de ellos.
Un repaso verificado más mediciones apareadas: ninguna astucia por nodo supera la anchura bruta del haz a igual tiempo de reloj. Los dos únicos aditivos que sobreviven son aleatorizar las claves de truncado empatadas exactamente (gratis) y el remuestreo SMC de los supervivientes (pequeño pero significativo).
La meseta comunitaria en los 460 altos se lee como una frontera de fase entrópica de la instancia, no como un límite de la ingeniería de solvers: el cálculo exacto sobre el juego oficial da una densidad de restricciones cercana a 0,0094, un paisaje recocido que se derrumba por encima de 470 y solo cruza 1 en 480, y un número esperado de 10 a 20 soluciones perfectas casi ortogonales entre sí. Los números del lado de la instancia son exactos; el cuadro de la brecha de solapamiento en 16x16 es una conjetura declarada.
Un solucionador rellena unas pocas filas sin esfuerzo y luego choca contra un muro en mitad del tablero. He aquí el mecanismo: una pieza escasa gastada en el lugar equivocado, varias filas atrás.