Analyse
Ces méthodes ne cherchent pas à résoudre le casse-tête : elles le mesurent, et c'est ainsi que la communauté sait où se dressent les murs. Les arguments de parité fournissent des preuves d'impossibilité en une seule passe ; le comptage de solutions fixe le nombre de solutions complètes à un facteur deux près, sans que personne n'en ait jamais vu une seule.
Comptez n'importe quoi sur un plateau à appariement d'arêtes deux fois, une fois de chaque côté, et les totaux doivent coïncider, livrant des preuves d'impossibilité au prix d'un seul passage. L'histoire du 479 en montre à la fois la puissance et le piège : un argument de parité limpide, vrai pour tout coup intérieur, mis en défaut par les soixante arêtes de bordure que personne ne comptabilise.
Personne n'a jamais vu une solution complète d'Eternity II, et pourtant la communauté sait, à un facteur deux près, combien il en existe. Cette page raconte l'histoire et le métier de ce nombre : recensements exacts sur petits plateaux, la formule d'espérance et sa convergence sur 14 702 en vingt ans, et les estimations par recherche élaguée auxquelles on n'a fait confiance que lorsque quatre exécutions indépendantes concordaient.