Reproducircon semilla — se reproduce con la semilla indicada·relanza la búsqueda (Ver más abajo)·Presupuesto: ~30 s × 8 seeds (exploratory run, not the standardized single-core bench)
Pipeline
1
marco de entrada
A pre-solved 60-piece perfect border is fixed as the starting frame
2
DFS de roturas
Break-tolerant DFS fills the 14×14 interior, pruning doomed lines against the frame from cell one
3
cola exacta
A 14-cell exact endgame seals the interior against the rim deterministically
Complejidad
Tiempo
per frame: ~6 s hint-compatibility probe, then a 30 s tail recipe × 8 seeds
Espacio
one DFS frontier over the 14×14 interior; the 60-piece frame is fixed
Fixing the border collapses the joint border-interior search to an interior- only one, which is what makes the exact endgame tractable.
Hardware y ejecución
Ejecución nativaSolo CPU
0.067núcleos·hora
Núcleos
8
RAM
16 GiB
GPU
0
CPU
Apple M1
Máquina
MacBook (Apple M1, 8 cores)
Presupuesto
~30 s × 8 seeds (exploratory run, not the standardized single-core bench)
El borde y el interior suelen resolverse juntos, lo que desperdicia esfuerzo:
el interior no deja de proponer piezas que jamás podrán encajar con el borde
más adelante. CLOISTER fija primero un marco perfecto de 60 piezas y luego
explora el interior 14×14 tomando las aristas del marco orientadas hacia dentro
como restricciones reales desde la primera celda, de modo que un interior
condenado se rechaza de inmediato en lugar de al final.
Se parte de un borde completo y perfectamente apareado. La búsqueda interior es
un relleno en profundidad tolerante a rupturas, pero las celdas que bordean la
arista interna del marco deben coincidir con el marco, y esa exigencia está
activa desde la primera colocación, no verificada solo cuando el interior está
terminado. Fases finales exactas evalúan la última región, incluido lo bien que
se sella contra el borde.
Como el borde queda fijo, la búsqueda recoge algo que un interior reconstruido a
posteriori no puede obtener: el puñado de aristas adicionales que surge de que
el interior encaja realmente con el borde contra el que se construyó, en vez de
injertarse sobre un borde después.
▶Interactivo: cómo el marco ancla el interiorExplorar →
Cargando…
Pruébalo en directo: fija un marco y observa cómo la búsqueda interior se
ejecuta frente a él en tu navegador.
▶Interactivo: resuelve el interior autónomo en directoExplorar →
Como solucionador de interiores autónomo, CLOISTER alcanza una puntuación
interior de 453 sin pistas, en minutos, y confirma un efecto real: un interior
construido contra su propio borde se adhiere a él con unas pocas aristas
apareadas más que el mismo interior, de igual calidad, adherido después. Con las
cinco pistas oficiales forzadas se estabiliza entre el tramo alto de los 440 y
el bajo de los 450.
No bate los mejores récords y satura como todo lo demás al acercarse al muro.
Pero aísla y mide con limpieza el acoplamiento borde-interior que la búsqueda
sobre el tablero completo difumina.
La búsqueda es un DFS tolerante a rupturas sobre el interior, pero la palanca
está en el encuadre y en una campaña de dos fases llevada sobre muchos marcos.
El marco como restricción dura. Un borde completo de 60 piezas se fija, y
los colores del marco orientados hacia dentro se convierten en restricciones
duras sobre las celdas del borde desde la primerísima colocación interior, y
no en un control diferido al final. Un interior condenado se poda de inmediato.
Fase final exacta. La región de la fase final se resuelve exactamente (una
cola exacta de 14 celdas), incluida su unión con el borde, de modo que las
últimas celdas se cierran de forma determinista en lugar de por heurística.
Campaña en amplitud sobre los marcos. En vez de un solo borde, se recorre
un directorio de marcos candidatos en dos fases: una sonda de compatibilidad
con las pistas, poco costosa (~6 segundos), descarta los marcos incapaces de
alojar las pistas, y luego una receta de cola de 30 segundos se ejecuta sobre
cada marco superviviente con 8 semillas. Gana el mejor interior.
El efecto medido es pequeño pero real, y proviene de una sola cosa: el
acoplamiento borde-interior que la búsqueda sobre el tablero completo promedia y
borra, pero que una construcción borde-primero puede explotar mientras aún
puede. 453 sin pistas; del tramo alto de los 440 al bajo de los 450 con las
cinco pistas forzadas.
Con semilla fija y casi determinista dado un marco: la resolución DFS del
interior a partir de un marco fijo reproduce su puntuación de forma fiable, y el
tablero registrado es verificable arista por arista en el visor. La resolución
necesita una entrada más allá del puzzle, un marco de borde perfecto
pre-resuelto; se prevé un directorio de soporte ejecutable que entregue ese
marco junto al motor.
¿Qué parte del bono de compatibilidad con el borde puede recogerse sin fijar
primero el borde? ¿Recorrer muchos bordes, en vez de uno solo, encuentra un
interior que se adhiera aún mejor? ¿Y de dónde procede exactamente el techo de
la versión de pistas estrictas?