Aller plus vite
Le débit brut : astuces binaires, structures adaptées au cache, ingénierie des nœuds par seconde, et pourquoi la vitesse seule ne suffit pas.
Pourquoi c'est dur
Écrire un solveur
référence
Les benchmarks de la communauté
page
Comment cherchent les solveurs record
concept
Ingénierie de solveur : l'artisanat sous l'algorithme
concept
Résoudre en réparti : essaims, syndicats et fermes de cœurs
concept
Résoudre sur GPU : le mur, c'est la mémoire, pas le calcul
concept
Résolution sur FPGA : cartographiée, mais jamais parcourue
Le laboratoire
expérience
Benchmark mono-cœur
page
Le moteur de référence qui fait tourner ce site
expérience
Le backtracker JIT : du Rust portable à égalité avec du C optimisé sur les plateaux difficiles
concept
Aller vite : quand un solveur dépense son budget en vitesse
page
L'étude DFS
page
Comment l'étude est construite
page
Ce que chaque idée apporte
page
L'étude de la réparation
page
Comment l'étude est construite
page
Ce que chaque décision rapporte
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
expérience
Réimplémentation de Verhaard