Tengo afición por otros retos matemáticos antes que por el Sudoku, pero sabía de la existencia de un problema especial vinculado a este pasatiempo y a un caballero llamado Arto Inkala, que en 2006 ideó el llamado Sudoku más difícil del mundo. Referencia en español (en la cual, por cierto, su nombre está mal escrito).
De las diferentes versiones de Gavin, me incliné por utilizar la última de ellas (sudoku3.tap, incluída en el .zip correspondiente), ya que parecía la mejor implementada. Aquí pongo dos imágenes del "proceso" y del número final de iteraciones:
El emulador que utilicé es la versión 5.21 del Spectaculator, corriendo a 100Mhz en vez de los standard 3.5Mhz. El tiempo que tardó en resolver el problema fue muy próximo a los 30 minutos. Según Digital Prawn, 'capo' de CSSCGC y que tuvo más ganas que yo de hacer un cálculo proporcional, eso correspondería a unas 14 horas en tiempo real.
Quede como mención anecdótica.
