Reproducirestocástico — no se reproduce exactamente; el tablero es verificable·revalida un tablero guardado·Presupuesto: not logged (exploratory run, not the standardized single-core bench)
Pipeline
1
productor beamaún sin documentar
Two fast top-half beams build from empty with all pieces free and no frame pinned
2
cola exacta
Admissible-estimate pruning drops doomed partials, then an exact finisher solves the bottom rows, border emerging last
Complejidad
Tiempo
four stages: two fast top-half beams, a band grow, and an exact bottom finisher
Espacio
banks the surviving partials between stages; pruned at each handoff by an admissible estimate
Frame-free construction removes the usual border pin, so the search space is larger up front; the admissible cutoff at each stage handoff is what keeps it tractable.
Hardware y ejecución
Ejecución nativaSolo CPU
Núcleos
8
RAM
16 GiB
GPU
0
CPU
Apple M1
Máquina
MacBook (Apple M1, 8 cores)
Presupuesto
not logged (exploratory run, not the standardized single-core bench)
Casi todos los solucionadores empiezan por bloquear el borde, porque el borde
es la parte más restringida y fijarlo reduce la búsqueda. STAGED es un
experimento que rechaza esa muleta. Construye el tablero por etapas, de arriba
hacia abajo, con las 256 piezas libres, y nunca se compromete con un borde
hasta el final, cuando el borde simplemente cae de lo que queda. La pregunta
que responde: ¿se puede alcanzar un tablero sólido sin anclarse nunca a un
marco?
La construcción se desarrolla en cuatro etapas. Las dos primeras llenan la
mitad superior del tablero con una búsqueda simple y rápida, guardando los
tableros parciales que sobreviven. En el relevo, una estimación admisible de
bajo coste descarta cualquier parcial que claramente no puede terminarse bien,
de modo que las etapas posteriores solo trabajan sobre arranques prometedores.
La tercera etapa hace crecer la siguiente banda de filas a partir de esos
supervivientes. La cuarta es un finalizador exacto sobre las filas de abajo que
minimiza las discrepancias, y elige el borde inferior al final, contra las
piezas que aún quedan sin usar. Así, el marco no se diseña de antemano; emerge
como consecuencia de todo lo que está por encima.
▶Interactivo: la construcción etapa por etapaExplorar →
STAGED alcanza 436 de 480 desde cero, con un borde emergente y las cinco pistas
oficiales respetadas, construido de principio a fin sin ningún marco en el que
apoyarse. Eso queda muy por debajo de los récords, y esa brecha es el hallazgo:
mide cuánto vale el anclaje habitual del marco-primero, y demostró que la
maquinaria sin marco funciona a plena escala.
Por el camino fijó la anatomía de los mejores tableros: son un bloque perfecto
que cubre casi todo el tablero más una fina banda de discrepancias concentrada
en unas pocas filas superiores. Esa forma es la que los constructores
posteriores buscan reproducir a propósito.
Cuatro etapas, cada una entregando sus supervivientes a la siguiente a través
de un filtro admisible.
Beams de la mitad superior (etapas 1–2). Llenar la mitad superior con una
búsqueda simple y rápida, guardando los tableros parciales que sobreviven.
Las 256 piezas están libres, ningún marco está fijado.
Relevo admisible. En cada frontera de etapa, una estimación admisible
de bajo coste (una cota superior optimista sobre el mejor final posible)
descarta cualquier parcial que, de forma demostrable, no puede completarse
bien. Como la estimación nunca subestima la puntuación alcanzable, la
eliminación es segura: solo retira los parciales que no pueden ganar.
Crecimiento de banda (etapa 3). Prolongar los parciales supervivientes
hacia abajo, sobre la siguiente banda de filas.
Finalizador exacto (etapa 4). Resolver exactamente las filas de abajo,
minimizando las discrepancias, y elegir el borde al final entre las piezas
restantes. El marco no se diseña de antemano; cae de todo lo que está por
encima.
El resultado es 436 desde cero con un borde emergente, las cinco pistas
respetadas, muy por debajo de los récords, y esa brecha es la medida: cuantifica
cuánto vale el anclaje habitual del marco-primero. El subproducto importó más
que la puntuación: STAGED fijó la anatomía de los mejores tableros, un gran
bloque perfecto más una fina banda de discrepancias en unas pocas filas
superiores, la forma objetivo a la que los constructores posteriores apuntan
deliberadamente.
Estocástico (los beams de la mitad superior deshacen los empates de forma
aleatoria), por lo que una nueva ejecución no reproducirá el tablero exacto; el
tablero 436 versionado es el artefacto de referencia y puede verificarse en el
visor. El motor es el productor por haz compartido, ejecutado por etapas para
que el borde emerja al final en lugar de fijarse primero. No necesita corpus ni
tablero de partida, así que se prevé un directorio de soporte ejecutable para
todo el pipeline por etapas junto a los demás constructores desde cero.
¿Puede un generador que gaste deliberadamente sus discrepancias en las filas
superiores, para mantener el resto perfecto, alcanzar los 450 sin marco? ¿Qué
parte de la brecha de 436 a los récords se debe al anclaje de marco ausente,
frente al final de partida más difícil? ¿Y una estimación aprendida de la
calidad del final selecciona mejores supervivientes que la estimación admisible
de bajo coste?