De horas a 360 ms: sobreingeniería de una solución de rompecabezas

El autor intenta resolver un rompecabezas de Sudoku con el objetivo de encontrar la solución que produce el máximo MCD posible entre los nueve números de nueve dígitos formados por las filas. Los intentos iniciales usando el solucionador Z3 no lograron encontrar una solución en horas. El autor entonces empleó varias estrategias de optimización: análisis matemático para reducir el espacio de búsqueda, un algoritmo BFS y mejoras iterativas en la función `is_good`, pasando de HashSet a bitset y finalmente usando SIMD para computación vectorial. La multitarea y la sincronización refinada de hilos redujeron el tiempo de solución de horas a 360 ms, logrando una aceleración de más de 1600x. Aunque una respuesta codificada resultó ser la más rápida, el artículo muestra cómo incluso problemas aritméticos aparentemente simples ofrecen ganancias significativas de rendimiento mediante una optimización algorítmica meticulosa.