Ejecutar la misma búsqueda en haz según nueve órdenes de recorrido distintos, para que aterrice en regiones diferentes en lugar de converger siempre a la misma. El orden en zigzag encontró un tablero 458 inédito.
Reproducirestocástico — no se reproduce exactamente; el tablero es verificable·revalida un tablero guardado·Presupuesto: ~5 min ALNS lift per build (exploratory run, not the standardized single-core bench)
Pipeline
1
productor beamaún sin documentar
A scan-order sweep builds many diverse boards, sampling different regions
aporta: A positional corpus prior plus a swappable scan order for construction diversity
2
ALNSaún sin documentar
Destroy-and-repair lifts a promising build; the committed 458 is a lifted board
3
clustering
Group results by corner arrangement to flag genuinely new basins (not a solver stage)
Complejidad
Tiempo
9 scans × 4 seeds beam builds, then 5-min ALNS lift per strong build
Espacio
one live beam per (scan, seed); shares PRIOR's 256×256 prior matrix
Scan order is a preprocessing choice, not a cost: the nine orders reuse the same beam machinery and the same prior.
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
~5 min ALNS lift per build (exploratory run, not the standardized single-core bench)
Una búsqueda en haz que rellena siempre el tablero en el mismo orden tiende a
descubrir el mismo tipo de tablero, sea cual sea la semilla aleatoria. El orden
en que se visitan las celdas decide en silencio en qué región se acaba, y a lo
largo de dieciséis semillas, un mismo orden de recorrido produjo una sola
familia de disposición de las esquinas. GAUNTLET lo convierte en una
herramienta: ejecutar la búsqueda según nueve órdenes de recorrido
genuinamente distintos, y así muestrear regiones genuinamente distintas.
GAUNTLET deriva el haz constructivo de PRIOR y le confía un orden de recorrido
intercambiable: fila, fila invertida, columna, columna invertida, zigzag,
zigzag invertido, espiral entrante, espiral saliente y diagonal, nueve en
total. Como el orden de las celdas modifica qué tableros parciales sobreviven
en cada paso, cada orden explora una trayectoria diferente en lugar de
apiñarse en una sola. Un barrido de 9 recorridos × 4 semillas produjo 18
firmas de disposición de esquinas distintas, frente a una sola a lo largo de
dieciséis semillas del haz de recorrido único del que surgió.
Cada ejecución completa produce un tablero entero; los más sólidos se pulen
luego con un realce ALNS de 30 minutos. La constatación es nítida: el orden de
recorrido es un eje de diversidad más potente que la semilla aleatoria. Ese es
el resorte, y es sobre él que se apoyan KEYRING y PRIOR más adelante.
▶Interactivo: el calendario del orden de construcciónExplorar →
Cargando…
Recorra un orden paso a paso para ver cómo el orden de visita dirige el haz.
▶Interactivo: recorrer el orden de construcciónExplorar →
O haga competir los nueve órdenes entre sí, en directo, en su navegador.
▶Interactivo: competir las estrategias de construcciónExplorar →
La búsqueda es estocástica, así que no reproducirá este tablero exacto, pero el
tablero que encontró está fijado, incluido aquí y verificable arista por
arista.
Puntuación recalculada a partir de las propias aristas del tablero; coincide con la anunciada. Ábrelo para verificar cada arista.
El orden en zigzag con la semilla 99, realzado, alcanzó 458 de 480 en la
disposición de esquinas cp=(3,0,1,2), el primer tablero igual o superior a 458
jamás encontrado en esa disposición dentro de nuestra base de datos. Se sitúa a
al menos 246 celdas de 256 de todo lo que teníamos a ese nivel: una cuenca
genuinamente nueva, no otra ruta hacia una conocida.
Así que la contribución de GAUNTLET es alcance más que un récord: abrió una
nueva región de tableros sólidos. Una segunda ronda (32 realces más) topó en
457 sin ningún 461, lo que indica que la nueva familia se satura como las
demás, pero la familia en sí era el premio.
El pipeline consta de tres etapas, y los parámetros son lo esencial.
Etapa 1: construcción diversa. Se deriva el haz de PRIOR y se le confía un
orden de recorrido intercambiable sobre las 256 celdas: row, row_rev,
col, col_rev, zigzag, zigzag_rev, spiral_in, spiral_out,
diagonal, nueve órdenes, cruzados con las semillas {1, 7, 42, 99}. Todos
comparten un mismo a priori (la matriz high459) a baja temperatura de softmax
(0,05), de modo que el haz está guiado por el a priori sin ser determinista. El
orden modifica qué tableros parciales sobreviven en cada paso, de manera que
cada par (recorrido, semilla) recorre una trayectoria diferente.
Etapa 2: realce. Cada construcción sólida recibe un realce ALNS (operadores
de escape del a priori + destrucción/reparación basic_lkh), 5 minutos por
construcción durante el barrido, más tiempo para los finalistas.
Etapa 3: agrupamiento. Se agrupan todas las salidas por permutación de las
esquinas y se señalan las firmas ausentes de la base de datos existente. Así es
como el barrido 9×4 hizo emerger 18 familias de esquinas distintas allí
donde dieciséis semillas de un recorrido único habían hecho emerger una sola, la
afirmación medida de que el orden de recorrido es un eje de diversidad más
potente que la semilla.
El tablero ganador, zigzag, semilla 99, realzado, se sitúa en cp = (3, 0, 1, 2),
a una distancia de Hamming ≥ 246/256 de todo lo que estaba previamente a ese
nivel: una nueva cuenca según el mismo test de permutación de esquinas más
Hamming que emplea PRIOR.
just research-record-boards verifica la puntuación del tablero 458 retenido,
exactamente, a partir de su cadena Bucas almacenada. El barrido es estocástico
(nueve recorridos × cuatro semillas, luego una pasada de pulido), así que no
reproducirá el mismo tablero; el tablero es el artefacto de referencia. El motor
es el productor en haz compartido, ejecutado según nueve órdenes de relleno;
usa el mismo a priori extraído del corpus que
PRIOR, de modo que la
ejecución no se reproduce aquí desde cero.
¿Presenta esta nueva familia la misma estructura local rígida que las demás, o
una forma diferente? ¿Y puede un refinamiento más largo elevarla por encima de
458, como una familia fresca a veces tiene más margen que una bien rodada?