Sudoku (un solo dígito) (originalmente llamado Number Place) es un rompecabezas combinatorio de colocación de números basado en la lógica. El objetivo es llenar una cuadrícula de 9 × 9 con dígitos para que cada columna, cada fila y cada una de las nueve subcuadrículas de 3 × 3 que componen la cuadrícula (también llamadas "cajas", "bloques" o "regiones") contengan todos los dígitos del 1 al 9. El creador de rompecabezas proporciona una cuadrícula parcialmente completa, que para un rompecabezas bien planteado tiene una única solución.
Los juegos completados son siempre un tipo de cuadrado latino con una restricción adicional en el contenido de las regiones individuales. Por ejemplo, el mismo número entero no puede aparecer dos veces en la misma fila, columna o cualquiera de las nueve subregiones de 3×3 del tablero de juego de 9×9.
Una cuadrícula de Sudoku completa es un tipo especial de cuadrado latino con la propiedad adicional de que no hay valores repetidos en ninguno de los nueve bloques (o cajas de celdas de 3×3). La relación entre las dos teorías se conoce, después de que se demostró que una fórmula de primer orden que no menciona bloques es válida para Sudoku si y solo si es válida para cuadrados latinos.
Se sabe que el problema general de resolver rompecabezas de Sudoku en cuadrículas n2 × n2 de n × n bloques es NP-completo. Muchos algoritmos informáticos, como el retroceso y los enlaces de baile, pueden resolver la mayoría de los rompecabezas de 9 × 9 de manera eficiente, pero la explosión combinatoria ocurre a medida que n aumenta, creando límites a las propiedades de Sudokus que se pueden construir, analizar y resolver a medida que n aumenta. Un rompecabezas de Sudoku se puede expresar como un problema de coloración de gráficos. El objetivo es construir una coloración de 9 de un gráfico en particular, dada una coloración de 9 parcial.