Exposés
Des exposés écrits pour un lecteur, non un run scoré.
5 pages
Le backtracker Rust-vers-WebAssembly qui anime chaque démo en direct et vérifie chaque chiffre de ce wiki. Non pas une machine à records mais un moteur de référence, porté quatre fois et validé octet par octet, conçu pour que les affirmations d'ici soient rejouables.
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.
La section recherche a deux versants : les murs structurels qui rendent Eternity II difficile, et les algorithmes conçus pour les franchir. Cette page fait le pont : chaque méthode confrontée au mur qu'elle attaque réellement, et le score auquel ce mur l'a arrêtée.
L'appariement de bords est NP-complet en tant que famille, mais cela ne dit rien d'un plateau 16×16 fixé : une instance isolée est une constante, pas un problème. Ce qui est vrai, c'est la dureté au pire cas de la famille et la dureté empirique de cette instance, et comment écrire le puzzle pour un solveur SAT, de couverture exacte ou de PLNE, avec de petits croquis détaillés.
La théorie complexe de Brendan Owen estime la largeur de l'arbre de recherche à chaque profondeur, et jusqu'au nombre total de solutions. Beaucoup, dans la communauté, la tiennent pour la chose la plus importante à comprendre sur Eternity II.