De horas para 360ms: Engenharia excessiva de uma solução de quebra-cabeça

O autor tentou resolver um quebra-cabeça de Sudoku com o objetivo de encontrar a solução que produz o maior MDC possível entre os nove números de nove dígitos formados pelas linhas. Tentativas iniciais usando o solucionador Z3 falharam em encontrar uma solução em horas. O autor então empregou várias estratégias de otimização: análise matemática para reduzir o espaço de busca, um algoritmo BFS e melhorias iterativas na função `is_good`, passando do HashSet para o bitset e finalmente usando SIMD para computação vetorial. Multithreading e sincronização refinada de threads reduziram o tempo de solução de horas para 360ms, obtendo uma aceleração de mais de 1600x. Embora uma resposta codificada tenha se mostrado a mais rápida, o artigo mostra como mesmo problemas aritméticos aparentemente simples oferecem ganhos significativos de desempenho por meio de otimização algorítmica meticulosa.