Ir más rápido
El rendimiento bruto: trucos de bits, estructuras adaptadas a la caché, ingeniería de nodos por segundo, y por qué la velocidad por sí sola no basta para descifrar el puzzle.
Por qué es difícil
Crear un solucionador
referencia
Los benchmarks de la comunidad
página
Cómo buscan los solucionadores récord
concepto
Ingeniería de solucionadores: el oficio bajo el algoritmo
concepto
Resolver de forma distribuida: enjambres, sindicatos y granjas de núcleos
concepto
Resolver en GPU: el muro es la memoria, no el cálculo
concepto
Resolución en FPGA: cartografiada, pero nunca recorrida
El laboratorio
experimento
Benchmark mono-núcleo
página
El motor de referencia que impulsa este sitio
resultado
Hacer un productor beam 10x mejor: la respuesta es la anchura
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 la reparación
página
Cómo está construido el estudio de la reparación
página
Qué mostró el estudio de la reparación
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
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
experimento
Reimplementación de Verhaard