Saltar al contenido
Eternity II

Backtracking

Depth-first search done seriously: fill orders, candidate ordering, break indices, restarts. This is the family behind every record backtracker.

Por qué es difícil

resultado
Por qué un ordenador más rápido no ayuda
resultado
La teoría compleja: contar el árbol de búsqueda antes de recorrerlo
resultado
Dónde colocas las pistas importa más que cuántas

Crear un solucionador

referencia
Los benchmarks de la comunidad
página
Cómo buscan los solucionadores récord
concepto
Órdenes de relleno
concepto
Reinicios y colas pesadas
concepto
Resolver de forma distribuida: enjambres, sindicatos y granjas de núcleos
concepto
Decodificar récords
referencia
Números de referencia

El laboratorio

experimento
Benchmark mono-núcleo
experimento
Presets CSP, medidos
página
El motor de referencia que impulsa este sitio
experimento
REPLAY
experimento
El backtracker JIT: Rust portable a la par del C afinado a mano en tableros difíciles
concepto
Ir rápido: cuando un solucionador gasta su presupuesto en velocidad
experimento
CLOISTER
página
El estudio DFS
página
Cómo está construido el estudio
página
Qué aporta cada idea
página
The hint study
página
How the study is built
página
What the study found
experimento
El backtracker en C de McGavin: la historia del rendimiento, reconstruida aquí
experimento
El solucionador de Blackwood, decodificado y ejecutado aquí
página
El eii de Verhaard: el solucionador que ganó el único premio

Vías vecinas

Las nueve vías
Reduce the search

Throw away hopeless states before the search wastes time on them.

Go faster

Bit tricks and cache, and why raw speed alone won't crack it.