Reproduireavec graine — se reproduit avec la graine donnée·relance la recherche (Voir ci-dessous)·Budget: ~30 s × 8 seeds (exploratory run, not the standardized single-core bench)
Pipeline
1
cadre en entrée
A pre-solved 60-piece perfect border is fixed as the starting frame
2
DFS de ruptures
Break-tolerant DFS fills the 14×14 interior, pruning doomed lines against the frame from cell one
3
queue exacte
A 14-cell exact endgame seals the interior against the rim deterministically
Complexité
Temps
per frame: ~6 s hint-compatibility probe, then a 30 s tail recipe × 8 seeds
Espace
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.
Matériel & exécution
Exécution nativeCPU seul
0.067cœurs·heure
Cœurs
8
RAM
16 GiB
GPU
0
CPU
Apple M1
Machine
MacBook (Apple M1, 8 cores)
Budget
~30 s × 8 seeds (exploratory run, not the standardized single-core bench)
La bordure et l'intérieur sont d'ordinaire résolus ensemble, ce qui gaspille des
efforts : l'intérieur ne cesse de proposer des pièces qui ne pourront jamais
rejoindre la bordure par la suite. CLOISTER épingle d'abord un cadre parfait de
60 pièces, puis explore l'intérieur 14×14 en prenant les arêtes tournées vers
l'intérieur du cadre comme de véritables contraintes dès la première case ; un
intérieur condamné est ainsi rejeté immédiatement plutôt qu'à la fin.
On part d'une bordure complète et parfaitement appariée. La recherche
intérieure est un remplissage en profondeur d'abord tolérant aux ruptures, mais
les cases longeant l'arête interne du cadre doivent s'accorder avec le cadre, et
cette exigence est active dès le premier placement, et non vérifiée seulement
une fois l'intérieur achevé. Des finales exactes évaluent la dernière région, y
compris la qualité de sa jonction avec le rebord.
Parce que la bordure est fixée, la recherche recueille quelque chose qu'un
intérieur reconstitué après coup ne peut pas obtenir : la poignée d'arêtes
supplémentaires qui découle du fait que l'intérieur épouse réellement le rebord
contre lequel il a été bâti, au lieu d'être greffé sur un rebord après coup.
▶Interactif : comment le cadre ancre l'intérieurExplorer →
Chargement…
Essayez en direct : fixez un cadre et regardez la recherche intérieure se
dérouler face à lui dans votre navigateur.
▶Interactif : résolvez l'intérieur autonome en directExplorer →
En tant que solveur d'intérieur autonome, CLOISTER atteint un score intérieur de
453 sans indices, en quelques minutes, et confirme un effet réel : un intérieur
bâti contre son propre rebord s'y rattache avec quelques arêtes appariées de plus
que le même intérieur, de qualité équivalente, rattaché après coup. Avec les cinq
indices officiels forcés, il se stabilise dans le haut des 440 à le bas des 450.
Il ne bat pas les meilleurs records, et il sature comme tout le reste à
l'approche du mur. Mais il isole et mesure proprement le couplage
bordure-intérieur que la recherche sur plateau entier estompe.
La recherche est un DFS tolérant aux ruptures sur l'intérieur, mais le levier
tient dans le cadrage et dans une campagne en deux phases menée sur de
nombreux cadres.
Le cadre comme contrainte dure. Une bordure complète de 60 pièces est
fixée, et les couleurs du cadre tournées vers l'intérieur deviennent des
contraintes dures sur les cases du rebord dès le tout premier placement
intérieur, et non un contrôle repoussé à la fin. Un intérieur condamné est
élagué immédiatement.
Finale exacte. La région de finale est résolue exactement (une finale
exacte de 14 cases), y compris sa jonction avec le rebord, de sorte que les
dernières cases sont fermées de façon déterministe plutôt que par heuristique.
Campagne en largeur sur les cadres. Plutôt qu'une seule bordure, on balaie
un répertoire de cadres candidats en deux phases : une sonde de compatibilité
avec les indices, peu coûteuse (~6 secondes), écarte les cadres incapables
d'accueillir les indices, puis une recette de finale de 30 secondes tourne sur
chaque cadre survivant avec 8 graines. Le meilleur intérieur l'emporte.
L'effet mesuré est faible mais réel, et il provient d'une seule chose : le
couplage bordure-intérieur que la recherche sur plateau entier moyenne et efface,
mais qu'une construction rebord d'abord peut exploiter tant qu'elle le peut
encore. 453 sans indices ; du haut des 440 au bas des 450 avec les cinq indices
forcés.
Graine fixée et quasi déterministe à cadre donné : la résolution DFS de
l'intérieur à partir d'un cadre fixe reproduit son score de façon fiable, et le
plateau enregistré est vérifiable arête par arête dans la visionneuse. La
résolution requiert une entrée au-delà du puzzle, un cadre de bordure parfaite
pré-résolu ; un répertoire de support exécutable, livrant ce cadre aux côtés du
moteur, est prévu.
Quelle part du bonus de compatibilité au rebord peut-on récolter sans fixer
d'abord la bordure ? Le balayage de nombreuses bordures, plutôt que d'une seule,
trouve-t-il un intérieur qui se rattache mieux encore ? Et d'où vient
exactement le plafond de la version à indices stricts ?