La façon la plus littérale d'apprendre d'une grille forte : la reconstruire à l'identique, pièce par pièce, jusqu'à ce que votre recherche sache la reproduire. Ce que la reconstruction vous force à ajouter est l'ingrédient qui manquait à votre recherche, et la reproduction en est la preuve.
Reproduire ce résultat: prose — aucun calcul derrière cette page
Les priors de corpus et le minage d'anti-motifs apprennent une statistique à partir de nombreuses grilles. Cette technique-ci apprend d'une seule grille, et elle apprend la chose la plus difficile à percevoir de loin : le coup unique qu'une recherche ordinaire ne peut pas jouer. La méthode est d'une littéralité brutale. Prenez une grille record connue, et tentez de faire reconstruire cette grille à votre propre recherche, à l'identique, pièce par pièce. Tout ce que vous devez ajouter à votre recherche avant qu'elle puisse emprunter ce chemin est précisément l'ingrédient qui lui manquait, et la reconstruction exacte prouve que cet ingrédient est réel.
Le dispositif est une recherche en profondeur d'abord menée dans un mode délibérément contraint, visant une grille témoin précise plutôt que d'explorer librement :
C'est l'expérience REPLAY, et ce qu'elle a trouvé sur les grilles strict-460 de la communauté est un exemple net de la récompense. La recherche tolérante aux ruptures propre au projet avait saturé à 457 ou 458 quoi qu'il arrive, et la raison s'est révélée être une seule règle que personne n'avait remise en question : elle n'autorisait au plus qu'une arête en désaccord par cellule. Les grilles record contiennent chacune quatre ou cinq cellules qui paient deux désaccords d'un coup. Une recherche plafonnée à une rupture par cellule est littéralement incapable de représenter ces grilles ; elle était donc coupée des cibles mêmes qu'elle poursuivait.
Choisissez un plateau record. On le note en direct, on trouve chaque bord non apparié, et on signale les cellules qui portent deux défauts à la fois. Un solveur qui n'autorise qu'un défaut par cellule — presque tous — ne peut littéralement pas poser ces cellules, et plafonne donc quelques points en dessous. C'est le coup que REPLAY a dû ajouter pour rejouer exactement les plateaux de la communauté.
Les cellules à double défaut sont calculées ici à partir des bords du plateau (la même règle de bords appariés que le moteur et le classement Bucas) — pas placées à la main. Ouvrez le plateau dans le visualiseur pour inspecter chaque bord. Sur les plateaux strict-460 de la communauté, il y a 4 à 5 telles cellules ; l'ordre prior-over-cost de REPLAY plus un opérateur de défaut de coût 2 les rend atteignables.
Portez le budget par cellule de un à deux, et les deux témoins strict-460 de la communauté se reconstruisent à l'identique, chaque pièce à sa place, le score se vérifiant arête après arête. La reconstruction est le résultat : un résultat de complétude de recherche déguisé en tentative de record. Le mur était dans l'ensemble des coups, pas dans le calcul.
Décoder un record est le diagnostic le plus tranchant de cette famille, car il transforme un soupçon vague (« il manque quelque chose à notre recherche ») en une affirmation précise et vérifiable (« elle ne peut pas payer deux ruptures sur une même cellule »). Il est aussi, dans le même souffle, le plus franc sur ses limites. Retrouver la double rupture hisse l'échelle stricte à 460, mais il ne dit pas, à lui seul, si deux ruptures par cellule ouvrent un chemin vers 461 et au-delà ou seulement vers les 460 connus. Le décodage vous dit l'ingrédient qu'un témoin a utilisé ; il ne garantit pas que cet ingrédient porte plus loin que le témoin lui-même. Cet écart, un coup appris qui atteint le plateau sans rien prouver au-delà, est le thème de la page sur l'effondrement.