Aller plus vite
Le débit brut : l'artisanat sous l'algorithme (tables de correspondance, structures dimensionnées pour le cache, code généré) et la répartition du travail sur de nombreuses machines. C'est ce qui décide si un nœud coûte 26 cycles ou 2 600, et c'est la démonstration la plus nette que la vitesse seule ne déplace pas le mur.
Tous les solveurs record exécutent le même backtracking en profondeur d'abord. Ce qui les distingue, c'est la couche en dessous : tables de correspondance, hachages parfaits, structs taillées pour le cache, code généré, archéologie du compilateur. C'est cet artisanat qui décide si un nœud coûte 26 cycles ou 2 600. Vingt ans de registre d'ingénierie de la communauté, technique par technique, et ce que tout cela a rapporté.
Tous les quelques années, la communauté a jeté davantage d'ordinateurs sur Eternity II : économiseurs d'écran BOINC, syndicats à partage de prix, grappes de PlayStation, fermes de cartes uniques récupérées. Ce que 10^19 opérations ont acheté, comment un parcours en profondeur d'abord se partitionne réellement, et la seule tâche pour laquelle la répartition s'est révélée douée.