Lanzar cientos de búsquedas cortas y baratas sobre el tablero, conservar solo los arranques más profundos y hacer ascender a los supervivientes a través de rondas cada vez más largas.
Reproducircon semilla — se reproduce con la semilla indicada·relanza la búsqueda (Ver más abajo)·Presupuesto: ~300 s × 8 finishers (exploratory run, not the standardized single-core bench)
Pipeline
1
torneo de reinicios
Flood hundreds of short probes from random seeds, rank by perfect-prefix depth, ratchet-pin the deepest and probe beyond it
2
cola exacta
From the deepest banked prefixes, a 14-cell exact finisher converts an opening into a full board
Complejidad
Tiempo
round 1: hundreds of 5 s probes; finish: 300 s × 8 exact-tail-14 runs from the deepest prefixes
Espacio
keeps only the banked prefixes and their live continuations between rounds
Successive halving: total effort is roughly constant per round, but each round spends it on fewer, deeper survivors, so the cost concentrates where it pays.
Hardware y ejecución
Ejecución nativaSolo CPU
0.67núcleos·hora
Núcleos
8
RAM
16 GiB
GPU
0
CPU
Apple M1
Máquina
MacBook (Apple M1, 8 cores)
Presupuesto
~300 s × 8 finishers (exploratory run, not the standardized single-core bench)
La mayor parte de una búsqueda larga se malgasta en arranques que estaban
condenados desde el principio. LADDER gasta casi nada para averiguar qué
comienzos vale la pena perseguir. Lanza una avalancha de sondeos muy cortos,
conserva los pocos que llegaron más lejos y solo entonces paga por ejecuciones
más largas, únicamente sobre esos. Es selección por torneo aplicada a los
arranques de búsqueda.
La primera ronda son cientos de sondeos de cinco segundos que parten de
semillas aleatorias distintas, cada uno intentando trazar una larga tirada de
celdas perfectamente encajadas. Conserva los prefijos más profundos y descarta
los que son casi duplicados entre sí para que los supervivientes sigan siendo
diversos.
Promueve esos a una ronda más larga con controles de calidad más estrictos, y
luego promueve los mejores de entre ellos a una ejecución de longitud completa.
Cada peldaño dedica más tiempo a candidatos menos numerosos y mejores, del
mismo modo que los torneos por halving sucesivo asignan el esfuerzo a los
contendientes que siguen ganando.
▶Interactivo: la progresión peldaño a peldañoExplorar →
Cargando…
▶Interactivo: ejecutar la búsqueda en escalera en directoExplorar →
LADDER produjo un tablero de 451 que respeta las cinco pistas oficiales, sin
ninguna guía de ningún récord conocido, la primera vez que el proyecto escapó
de la banda de 444 a 450 en la que la búsqueda no guiada no dejaba de caer. Los
finales quedan determinados por su prefijo: una vez que se guarda una apertura
lo bastante fuerte, el resto se sigue. Una ejecución más larga tocó después el
452, una arista más, aunque el 451 es el tablero fijado y reproducible aquí.
También cartografió los límites: la reserva de aperturas perfectas se agota, y
más allá de cierto punto los peldaños convergen todos hacia el mismo techo. Así
que LADDER es una buena manera de encontrar el mejor arranque, no una manera de
franquear los muros estructurales que detienen a todo método cerca de la cima.
La escalera es un torneo recursivo por halving sucesivo sobre los arranques
de búsqueda, puntuados por la profundidad del prefijo.
Primera ronda: avalancha. Cientos de sondeos de 5 segundos que parten de
semillas distintas, cada uno trazando una tirada tan larga como sea posible
de celdas perfectamente encajadas. Se ordena por la profundidad de ese
prefijo perfecto; se conservan los más profundos y se descartan los casi
duplicados (prefijos demasiado parecidos a un superviviente) para que el
conjunto conservado siga siendo diverso.
Trinquete. Cada ronda posterior fija el prefijo más profundo guardado en
la ronda anterior (una fijación a profundidad 15 en la ejecución registrada) y
sondea más allá de él, empujando la frontera del prefijo perfecto un paso
más. La recursión se detiene cuando una ronda gana menos de cuatro celdas de
profundidad: la reserva de aperturas más profundas se ha secado.
Final. A partir de los tres prefijos distintos más profundos, se lanzan
peldaños largos exact-tail-14 (300 s × 8 semillas cada uno) para convertir la
apertura guardada en un tablero completo.
El hallazgo es que el final queda determinado por el prefijo: una vez que se
guarda una apertura perfecta lo bastante profunda, el juego final se sigue. Por
eso concentrar el cómputo en encontrar el mejor arranque, en lugar de
repartirlo entre ejecuciones completas, permitió escapar de la banda 444-450 en
la que la búsqueda no guiada no dejaba de caer. Una ronda de final más larga
tocó después el 452; el tablero fijado y reproducible aquí es el 451.
Con semilla fijada; la estructura de sondeo-y-promoción reproduce el
comportamiento de forma fiable, aunque el tablero exacto depende de las
semillas. El tablero 451 fijado es verificable en el visor. La subida no
necesita ningún corpus, marco ni testigo: parte del puzzle solo, de modo que
está previsto un directorio de acompañamiento ejecutable para ella junto a los
demás experimentos partidos de cero.
¿Cuál es el verdadero techo de la selección por prefijo primero si se da más
cómputo a los primeros peldaños? ¿Podría la regla de diversidad ser más fina
sobre qué casi duplicados conservar? ¿Y combinar los prefijos más profundos de
familias distintas supera a promover dentro de una sola?