El juego del Sudoku como un problema de optimización: una implementación en Gurobi Python

Abstract

El Sudoku es un juego lógico extremadamente popular, en el que se colocan números naturales en una cuadrícula respetando ciertas reglas. Aunque no sea un método computacionalmente muy eficiente, es perfectamente posible formular el juego del Sudoku como un problema de optimización, más específicamente como uno de programación entera binaria, para luego resolverlo con cualquiera de los algoritmos de optimización disponibles. Esto lo hace particularmente apropiado para su inclusión en estrategias de gamificación del proceso de enseñanza-aprendizaje de la Investigación Operativa. En este trabajo se presenta una implementación del juego en Guroby Python que puede ser usada con fines pedagógicos. La codificación propiamente dicha se hizo en un Jupyter Notebook que se almacenó en el servidor provisto por Google Colab para ejecutar código Python en línea. Mediante una licencia de prueba, en dicho entorno se puede instalar la librería Gurobipy que permite usar el poderoso solver de Gurobi para encontrar la solución del problema.