Sudoku es un rompecabezas basado en la lógica. Es un tipo de problema de satisfacción de restricciones, donde el solucionador recibe un número finito de objetos (los números 1-9) y un conjunto de condiciones que establecen cómo se deben colocar los objetos en relación con los demás. El rompecabezas consta de una cuadrícula de 9 × 9 dividida en nueve subcuadrículas de 3 × 3 (también llamadas cajas, bloques, regiones o subcuadrados).