Retour arrière
La recherche en profondeur prise au sérieux : ordres de remplissage, tri des candidats, indices de rupture, redémarrages. C'est la famille derrière chaque backtracker record.
Pourquoi c'est dur
Écrire un solveur
Le laboratoire
expérience
Benchmark mono-cœur
expérience
Presets CSP, à la mesure
page
Le moteur de référence qui fait tourner ce site
expérience
CLOISTER
page
L'étude DFS
page
Comment l'étude DFS est construite
page
Ce que l'étude DFS a montré
page
L'étude sur les indices
page
Comment l'étude sur les indices est construite
page
Ce que l'étude sur les indices a montré
expérience
REPLAY
concept
Aller vite : quand un solveur dépense son budget en vitesse
expérience
Le backtracker JIT : du Rust portable à égalité avec du C optimisé sur les plateaux difficiles
expérience
Un élagage correct par comptage des couleurs pour la recherche tolérante aux ruptures
outil
L'échelle de tailles
expérience
Le backtracker C de McGavin : l'histoire du débit, reconstruit ici
expérience
Le solveur de Blackwood, décodé et exécuté ici
page
eii de Verhaard : le solveur qui a remporté l'unique prix