Peter McGavin

Le 469 (2020) ; code C de la théorie complexe

Pilier de la décennie et, après Owen, sans doute le chercheur le plus déterminant du casse-tête. Il a établi le chiffre canonique d'environ 14 702 solutions attendues, transcrit la théorie complexe en LaTeX puis en code C exact que ce site reprend, et résolu le 10x10 sans indices d'Owen en quelque 180 années-cœur, à l'intérieur des marges d'erreur de la théorie. Il a lui-même détenu le record en 2020 avec le 469.

Indépendant469 announcement (msg 10045)10x10 solve validating complex theory (msg 9686)

Expériences1 page

expérience

Le backtracker C de McGavin : l'histoire du débit, reconstruit ici

Le backtracker C de Peter McGavin, le plus rapide de la communauté : une recette d'optimisation de 2007 capitalisée pendant deux décennies via code généré, tables de correspondance et astuces de compteur, puis compilée sur mon M1 et pointée vers le vrai puzzle à 256 pièces, où en mono-cœur elle dépasse 200 des 256 pièces à ~109M placements/s.

Pages1 page

page

Le moteur de Peter McGavin

Le backtracker C que Peter McGavin a lui-même écrit, le solveur brut le plus rapide que la communauté ait mesuré. Récupéré sur la liste de diffusion, compilé sur un M1 et lancé sur le véritable Eternity II. Son code, son algorithme ; exécuté et documenté ici.