Louis Verhaard
Le 467 (2008) ; solveur eii
La seule personne que le casse-tête ait jamais récompensée. Son solveur eii, qu'il a rendu public parce qu'il était, selon ses mots, dans une impasse, a trouvé le 467 qui remporta le prix de vérification de 10 000 dollars, déposé au nom de sa femme Anna Karlsson. Ses méthodes ont fait école : ordres de remplissage en peigne et glissement des bords borné en profondeur. Le 467 est resté indépassé pendant douze ans.
Pages2 pages
Le moteur derrière le 467, le seul score d'Eternity II jamais récompensé, reconstitué à partir des propres messages de Louis Verhaard sur la liste de diffusion : élagage prospectif, ordres de remplissage en peigne, décalage d'arête conditionné par la profondeur, calendrier de décalage réglé par chaîne de Markov. Et pourquoi son propre binaire Win32, sans code source, ne peut être ni compilé ni exécuté sur cette machine.
L'eii de Louis Verhaard a remporté le seul prix que le puzzle ait jamais payé, mais il n'existe que sous forme de binaire Windows sans code source. En quoi consiste sa méthode, pourquoi l'original ne tourne pas ici, et où vit une réimplémentation fidèle.