Backtracking
La búsqueda en profundidad tomada en serio: órdenes de relleno, ordenación de candidatos, índices de ruptura, reinicios. Es la familia detrás de cada backtracker récord.
Por qué es difícil
Crear un solucionador
El laboratorio
experimento
Benchmark mono-núcleo
experimento
Presets CSP, medidos
página
El motor de referencia que impulsa este sitio
experimento
CLOISTER
página
El estudio DFS
página
Cómo está construido el estudio DFS
página
Qué mostró el estudio DFS
página
El estudio de las pistas
página
Cómo se construye el estudio de las pistas
página
Qué mostró el estudio de las pistas
experimento
REPLAY
concepto
Ir rápido: cuando un solucionador gasta su presupuesto en velocidad
experimento
El backtracker JIT: Rust portable a la par del C afinado a mano en tableros difíciles
experimento
Una poda correcta por conteo de colores para la búsqueda tolerante a rupturas
herramienta
La escalera de tamaños
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