Los motores compartidos que sustentan los experimentos de Raphaël Anjou. Los experimentos con nombre son estudios que se ejecutan sobre ellos; este es el aparato que comparten. Los preajustes CSP y la reimplementación de Verhaard están documentados por completo, junto al motor de referencia, el backtracker JIT, una guía de la velocidad y el arnés de la escalera de tamaños; los motores constructivos aún no están publicados.
por Raphaël Anjou
Los experimentos son estudios: cada uno plantea una pregunta y da cuenta del tablero que alcanzó. Pero la mayoría no se construyen desde cero. Se ejecutan sobre un pequeño conjunto de motores compartidos, y el mismo motor reaparece experimento tras experimento. Esta página documenta ese aparato una sola vez, para que los estudios puedan apuntar aquí en lugar de reexplicar la máquina cada vez. El motor de referencia que impulsa las demostraciones en vivo del sitio es una máquina distinta y tiene su propia página; aparece abajo en su papel de aparato.
Un único motor de propagación de restricciones con ordenamientos y propagadores intercambiables: consistencia de arco, emparejamiento por grafo de colores, varios órdenes de relleno. Reimplementaciones fieles de técnicas conocidas de la comunidad, ejecutadas bajo una docena de preajustes sobre las diez variantes, de modo que el coste exacto de cada parámetro figure en la tabla de clasificación en lugar de discutirse.
Una reimplementación desde cero del método eii de Louis Verhaard, ya que su propio binario no incluye código fuente y no se ejecuta aquí. Recocido por intercambio sobre composición de conjuntos bajo la métrica de teselado 2×2; sobre el verdadero puzzle de cinco pistas alcanza 438 de 480, en un solo núcleo.
La máquina de verificación y demostración del wiki, distinta de los motores de búsqueda compartidos: el backtracker de Rust a WebAssembly que ejecuta cada demostración en vivo y comprueba cada número citado en estas páginas, portado cuatro veces y contrastado byte a byte.
Un backtracker Rust en profundidad, seguro y portable, especializado en tiempo de ejecución emitiendo y compilando Rust propio de cada puzzle, llevado de 43 a 123 millones de nodos de búsqueda por segundo en un núcleo y medido frente al C afinado a mano de Peter McGavin en la misma máquina.
Una guía de campo de los solucionadores centrados en velocidad: qué compra el rendimiento bruto, las tres cosas distintas que la gente entiende por "rápido", y por qué el motor más rápido jamás construido sigue sin poder resolver el puzzle.
El arnés que ejecuta cualquier solucionador, sin cambios, sobre tableros plantados totalmente resolubles con N = 8, 10, 12, 14, de modo que el tamaño de colapso de un método se mida antes de gastar semanas en el 16×16 real.
Los dos motores constructivos en los que estos estudios también se apoyan, el productor por haz y la etapa de pulido ALNS, aún no tienen su propia presentación aquí; esas páginas están retenidas por ahora, y ninguno de los dos figura en la tabla de clasificación del benchmark. Allí donde un experimento dirige a uno de ellos, su propia página dice qué hace ese motor al nivel que el estudio necesita, de modo que nada de lo que sigue depende de leer una página que aún no está aquí. Los dos motores documentados y medidos por completo son los preajustes CSP y la reimplementación de Verhaard.
Un estudio y su motor responden a preguntas distintas. El motor responde a cómo funciona la búsqueda: las estructuras de datos, el orden de relleno, los propagadores, y se reutiliza sin cambios en muchos estudios. El estudio responde a qué ocurre cuando se apunta ese motor a una idea concreta: un prior aprendido, un borde fijo, una máscara de ruptura. Mantenerlos aparte significa que un lector que quiera entender el prior de PRIOR no tenga que releer cómo funciona un haz, y que un lector que quiera el motor lo obtenga en un solo lugar, actualizado y completo.
Allí donde estos motores compiten cara a cara bajo un presupuesto fijo, aparecen en el benchmark de un solo núcleo. La teoría general que hay detrás de cada método vive en la sección construir-un-solucionador; estas páginas son los motores específicos tal como se construyeron y midieron aquí.