La forma más literal de aprender de un tablero fuerte: reconstruirlo con exactitud, pieza por pieza, hasta que tu búsqueda sepa reproducirlo. Lo que la reconstrucción te obliga a añadir es el ingrediente que le faltaba a tu búsqueda, y la reproducción es la prueba.
Reproducir este resultado: prosa — no hay ningún cálculo detrás de esta página
Los priors de corpus y el minado de anti-patrones aprenden un estadístico a partir de muchos tableros. Esta técnica aprende de un único tablero, y aprende lo más difícil de percibir desde la distancia: la única jugada que una búsqueda ordinaria no puede hacer. El método es brutalmente literal. Toma un tablero récord conocido e intenta que tu propia búsqueda lo reconstruya con exactitud, pieza por pieza. Todo lo que tengas que añadir a tu búsqueda antes de que pueda recorrer ese camino es precisamente el ingrediente que le faltaba, y la reconstrucción exacta es la prueba de que ese ingrediente es real.
El montaje es una búsqueda en profundidad ejecutada en un modo deliberadamente restringido, apuntada a un tablero testigo concreto en lugar de buscar libremente:
Este es el experimento REPLAY, y lo que encontró en los tableros strict-460 de la comunidad es un ejemplo limpio de la recompensa. La búsqueda tolerante a rupturas propia del proyecto se había saturado en 457 o 458 hiciera lo que hiciera, y la razón resultó ser una única regla que nadie había cuestionado: permitía a lo sumo una arista en desajuste por celda. Los tableros récord contienen cada uno cuatro o cinco celdas que pagan dos desajustes de una vez. Una búsqueda limitada a una ruptura por celda es literalmente incapaz de representar esos tableros, así que quedaba apartada de los mismísimos objetivos que perseguía.
Elige un tablero récord. Lo puntuamos en vivo, localizamos cada arista no coincidente y marcamos las celdas que arrastran dos defectos a la vez. Un solucionador que solo admite un defecto por celda —casi todos— es literalmente incapaz de colocar estas celdas, así que se estanca unos puntos por debajo. Ese es el movimiento que REPLAY tuvo que añadir para reproducir con exactitud los tableros de la comunidad.
Las celdas de doble defecto se calculan aquí a partir de las propias aristas del tablero (la misma regla de aristas coincidentes que usan el motor y la clasificación de Bucas), no se colocan a mano. Abre el tablero en el visor para inspeccionar cada arista. En los tableros strict-460 de la comunidad hay entre 4 y 5 de estas celdas; el orden prior-over-cost de REPLAY junto con un operador de defecto de coste 2 es lo que las hace alcanzables.
Sube el presupuesto por celda de uno a dos, y ambos testigos strict-460 de la comunidad se reconstruyen con exactitud, cada pieza en su sitio, con la puntuación cuadrando arista por arista. La reconstrucción es el hallazgo: un resultado de completitud de búsqueda disfrazado de intento de récord. El muro estaba en el conjunto de jugadas, no en el cómputo.
Decodificar un récord es el diagnóstico más afilado de esta familia, porque convierte una sospecha vaga ("a nuestra búsqueda le falta algo") en una afirmación concreta y verificable ("no puede pagar dos rupturas en una misma celda"). Es también, en el mismo aliento, el más franco sobre sus límites. Recuperar la doble ruptura eleva la escalera estricta a 460, pero no dice, por sí solo, si dos rupturas por celda abren un camino hacia 461 y más allá o meramente hacia los 460 conocidos. El decodificado te dice el ingrediente que un testigo usó; no promete que ese ingrediente llegue más lejos de lo que llegó el testigo. Esa brecha, una jugada aprendida que alcanza la meseta sin probar nada más allá de ella, es el tema de la página sobre el colapso.