Análisis
Estos métodos no intentan resolver el puzzle: lo miden, y así es como la comunidad sabe dónde están los muros. Los argumentos de paridad aportan pruebas de imposibilidad en una sola pasada; el conteo de soluciones fija cuántas soluciones completas existen con un margen de un factor dos, sin que nadie haya visto ninguna.
Cuente cualquier cosa en un tablero de emparejamiento de aristas dos veces, una desde cada lado, y los totales deben coincidir, entregando pruebas de imposibilidad al precio de una sola pasada. La historia del 479 muestra tanto su poder como su trampa: un argumento de paridad limpio, cierto para todo movimiento interior, derrotado por las sesenta aristas de borde que nadie puntúa.
Nadie ha visto jamás una solución completa de Eternity II y, sin embargo, la comunidad sabe, con un margen de un factor de dos, cuántas existen. Esta página cuenta la historia y el oficio de ese número: censos exactos en tableros pequeños, la fórmula de esperanza y su convergencia sobre 14 702 a lo largo de veinte años, y las estimaciones por búsqueda podada en las que solo se confió cuando cuatro ejecuciones independientes coincidieron.