Explicaciones
Explicaciones escritas para un lector, no un run con puntuación.
5 páginas
El backtracker de Rust a WebAssembly que anima cada demo en vivo y verifica cada número de este wiki. No una máquina de récords sino un motor de referencia, portado cuatro veces y validado byte a byte, construido para que las afirmaciones de aquí puedan volver a ejecutarse.
El motor detrás del 467, la única puntuación de Eternity II jamás premiada, reconstruido a partir de los propios mensajes de Louis Verhaard en la lista de correo: poda prospectiva, órdenes de relleno en peine, deslizamiento de arista condicionado por la profundidad, un calendario de deslizamiento ajustado por cadena de Markov. Y por qué su propio binario Win32, sin código fuente, no puede compilarse ni ejecutarse en esta máquina en absoluto.
La sección de investigación tiene dos vertientes: los muros estructurales que hacen difícil a Eternity II, y los algoritmos concebidos para franquearlos. Esta página es el puente: cada método enfrentado al muro que realmente ataca, y la puntuación en la que ese muro lo detuvo.
El emparejamiento de aristas es NP-completo como familia, pero eso no dice nada de un tablero 16×16 fijo: una instancia aislada es una constante, no un problema. Lo que sí es cierto es la dureza en el peor caso de la familia y la dureza empírica de esta instancia, y cómo escribir el puzzle para un solucionador SAT, de cobertura exacta o de PLE, con pequeños esbozos detallados.
La teoría compleja de Brendan Owen estima la anchura del árbol de búsqueda a cada profundidad, e incluso cuántas soluciones existen en total. Muchos en la comunidad la consideran lo más importante que hay que entender sobre Eternity II.