Les moteurs partagés

Les moteurs partagés qui sous-tendent les expériences de Raphaël Anjou. Les expériences nommées sont des études qui s'appuient dessus ; voici l'appareillage qu'elles ont en commun. Les préréglages CSP et la réimplémentation de Verhaard sont documentés intégralement, aux côtés du moteur de référence, du backtracker JIT, d'un guide de la vitesse et du harnais de l'échelle de tailles ; les moteurs constructifs ne sont pas encore publiés.

pageMis à jour 2026-07-22

Les expériences sont des études : chacune pose une question et rend compte du plateau qu'elle a atteint. Mais la plupart ne partent pas de rien. Elles s'appuient sur un petit ensemble de moteurs partagés, et le même moteur réapparaît d'une expérience à l'autre. Cette page documente cet appareillage une fois pour toutes, afin que les études puissent pointer ici plutôt que de réexpliquer la machine à chaque fois. Le moteur de référence qui anime les démonstrations en direct du site est une machine différente et a sa propre page ; il apparaît ci-dessous dans son rôle d'appareillage.

Les préréglages CSP, mesurés

Un unique moteur de propagation de contraintes doté d'ordonnancements et de propagateurs interchangeables : cohérence d'arc, appariement par graphe de couleurs, plusieurs ordres de remplissage. Des réimplémentations fidèles de techniques connues de la communauté, exécutées selon une douzaine de préréglages sur les dix variantes, de sorte que le coût exact de chaque réglage figure au classement au lieu d'être débattu.

La réimplémentation de Verhaard

Une réimplémentation intégrale, repartie de zéro, de la méthode eii de Louis Verhaard, son propre binaire n'étant livré sans aucune source et ne tournant pas ici. Recuit par échange sur composition d'ensembles sous la métrique de pavage 2×2 ; sur le véritable puzzle à cinq indices, elle atteint 438 sur 480, en monocœur.

Le moteur de référence qui fait tourner ce site

La machine de vérification et de démonstration du wiki, distincte des moteurs de recherche partagés : le backtracker Rust-vers-WebAssembly qui fait tourner chaque démonstration en direct et vérifie chaque nombre cité sur ces pages, porté quatre fois et testé octet par octet.

Le backtracker JIT

Un backtracker Rust en profondeur d'abord, sûr et portable, spécialisé à l'exécution en émettant et compilant du Rust propre à chaque puzzle, porté de 43 à 123 millions de nœuds de recherche par seconde sur un cœur et mesuré face au C optimisé à la main de Peter McGavin sur la même machine.

Aller vite

Un guide de terrain des solveurs axés vitesse : ce qu'achète le débit brut, les trois choses différentes que les gens entendent par « rapide », et pourquoi le moteur le plus rapide jamais construit ne peut toujours pas résoudre le puzzle.

L'échelle de tailles

Le harnais qui fait tourner n'importe quel solveur, inchangé, sur des plateaux plantés entièrement résolubles à N = 8, 10, 12, 14, de sorte que la taille d'effondrement d'une méthode soit mesurée avant de passer des semaines sur le vrai 16×16.

Les deux moteurs constructifs sur lesquels ces études s'appuient également, le producteur en faisceau et l'étape de polissage ALNS, n'ont pas encore leur propre présentation ici ; ces pages sont retenues pour l'instant, et aucun des deux ne figure au classement du benchmark. Là où une expérience pilote l'un d'eux, sa propre page dit ce que fait ce moteur au niveau dont l'étude a besoin, si bien que rien de ce qui suit ne dépend de la lecture d'une page pas encore présente ici. Les deux moteurs documentés et mesurés intégralement sont les préréglages CSP et la réimplémentation de Verhaard.

Pourquoi documenter les moteurs à part des expériences#

Une étude et son moteur répondent à des questions différentes. Le moteur répond à comment fonctionne la recherche - les structures de données, l'ordre de remplissage, les propagateurs - et il est réutilisé sans modification à travers de nombreuses études. L'étude répond à ce qui se passe quand on braque ce moteur sur une idée particulière : un a priori appris, une bordure fixée, un masque de rupture. Les tenir séparés permet à un lecteur qui veut comprendre l'a priori de PRIOR de ne pas avoir à relire le fonctionnement d'un faisceau, et à un lecteur qui veut le moteur de l'obtenir en un seul endroit, à jour et complet.

Là où ces moteurs s'affrontent directement sous un budget fixé, ils apparaissent sur le benchmark monocœur. La théorie générale derrière chaque méthode se trouve dans la section construire-un-solveur ; ces pages sont les moteurs spécifiques tels que construits et mesurés ici.

Pourquoi documenter les moteurs à part des expériences#

Cité par

Pourquoi documenter les moteurs à part des expériences#