El sudoku tiene reglas sorprendentemente sencillas para un puzzle con una estructura interna tan profunda.
Una cuadrícula clásica puede explicarse a un jugador nuevo en un minuto:
- 9 filas;
- 9 columnas;
- nueve bloques 3×3;
- los dígitos del 1 al 9 exactamente una vez en cada uno.
A partir de ese pequeño conjunto de reglas aparecen preguntas mucho más grandes:
- ¿Cuántas cuadrículas completas existen?
- ¿Cuántas pistas mínimas pueden determinar una única solución?
- ¿Qué significa exactamente «solución única»?
- ¿Cómo puede generar software un buen puzzle?
- ¿Por qué un puzzle es Fácil y otro Experto?
- ¿Qué relación tiene el sudoku con los cuadrados latinos, la combinatoria, exact cover y los problemas de satisfacción de restricciones?
Teoría del sudoku explora esas preguntas.
Complementa las Guías prácticas en lugar de sustituirlas.
De tres reglas a un sistema de restricciones
Cada celda comienza con un dominio de dígitos posibles.
Las restricciones de fila, columna y bloque eliminan posibilidades.
Una colocación elimina posibilidades de las celdas relacionadas.
Una eliminación de candidato puede provocar otra colocación.
A nivel del jugador, llamamos a esos procesos:
- escaneo;
- candidatos;
- Singles;
- subconjuntos;
- Fish;
- Cadenas.
A nivel matemático o computacional, el mismo puzzle puede describirse mediante:
- satisfacción de restricciones;
- exact cover;
- relaciones de conflicto con estructura de grafo;
- formulaciones SAT/lógicas;
- búsqueda recursiva.
Cambia la representación.
El puzzle subyacente no cambia.
Sudoku y cuadrados latinos
Un cuadrado latino de orden 9 coloca nueve símbolos de forma que cada uno aparezca exactamente una vez en cada fila y columna.
Una cuadrícula completa de sudoku clásico cumple esos requisitos más las nueve restricciones de bloques 3×3.
Por tanto:
Toda cuadrícula completa de sudoku clásico es un cuadrado latino con estructura regional adicional.
Pero:
No todo cuadrado latino 9×9 es una cuadrícula válida de sudoku.
Es una relación matemática, no la afirmación de que los cuadrados latinos fueran el origen editorial directo del sudoku moderno.
Explora la teoría del SudokuSudoku y matemáticasExplora las matemáticas del sudoku: cuadrados latinos, restricciones, número de cuadrículas solución, simetrías y algoritmos de búsqueda.Leer guía de teoría →El espacio de soluciones es enorme
El número de cuadrículas completas de sudoku clásico 9×9 es:
6.670.903.752.021.072.936.960
aproximadamente:
6,671 × 10²¹
Este conteo considera diferentes las cuadrículas relacionadas por simetrías.
Al factorizar las simetrías estándar del sudoku quedan muchas menos cuadrículas esencialmente distintas, pero siguen siendo miles de millones.
Este enorme espacio de soluciones ayuda a explicar cómo el sudoku puede ofrecer una variedad extraordinaria sin cambiar sus reglas.
Explora la teoría del SudokuSudoku y matemáticasExplora las matemáticas del sudoku: cuadrados latinos, restricciones, número de cuadrículas solución, simetrías y algoritmos de búsqueda.Leer guía de teoría →Una cuadrícula solución no es un puzzle
Una cuadrícula completa de 81 celdas ya satisface el sudoku.
Pero un puzzle jugable necesita mostrar únicamente una parte de esos dígitos como pistas.
Eliminar pistas introduce nuevas preguntas:
- ¿Sigue existiendo alguna solución?
- ¿Existe exactamente una?
- ¿Puede resolverlo una persona con el conjunto de técnicas previsto?
- ¿Qué dificultad debería recibir?
- ¿Cumple la distribución de pistas los criterios estéticos o editoriales deseados?
La generación es, por tanto, un proceso de validación, no simplemente una goma de borrar aplicada a una cuadrícula completa.
Explora la teoría del SudokuCómo se generan los sudokusAprende cómo los generadores de sudoku construyen soluciones, eliminan pistas, comprueban unicidad, analizan rutas de resolución humana y ajustan la dificultad.Leer guía de teoría →Soluciones únicas
Una cuadrícula inicial puede tener:
- cero soluciones;
- una solución;
- varias soluciones.
El sudoku clásico publicado normalmente busca exactamente una.
Esa propiedad importa para:
- validez del puzzle;
- generación;
- verificación del número de soluciones;
- técnicas opcionales de unicidad como Rectángulo único.
Pero unicidad no significa lo mismo que:
- dificultad;
- elegancia;
- resolubilidad mediante una lista concreta de técnicas humanas.
La pregunta de las pistas mínimas
Cuando la unicidad importa, aparece una pregunta extrema natural:
¿Cuántas pistas como mínimo puede tener un sudoku clásico 9×9 y seguir determinando exactamente una solución?
La respuesta demostrada es:
17
Existen puzzles únicos con 17 pistas.
Una búsqueda computacional exhaustiva estableció que no existe ningún sudoku clásico único con 16 pistas.
Es un límite matemático global, no una recomendación de que los buenos puzzles deban tener 17 pistas.
Explora la teoría del SudokuPistas mínimas en sudokuDescubre por qué un sudoku clásico 9×9 con solución única necesita al menos 17 pistas y cómo una búsqueda exhaustiva descartó todos los puzzles de 16 pistas.Leer guía de teoría →Mínimo no es lo mismo que minimal
Son términos parecidos, pero responden preguntas diferentes.
Mínimo
El menor número de pistas posible de forma global.
Para un sudoku clásico 9×9 único:
17.
Minimal
Un puzzle concreto en el que eliminar cualquiera de sus pistas existentes destruye la unicidad.
Un puzzle minimal puede tener más de 17 pistas.
Esta distinción importa tanto en investigación matemática como en construcción de puzzles.
La dificultad es un modelo del trabajo humano
La dificultad no está codificada directamente en el número de pistas.
Dos puzzles con la misma cantidad de pistas pueden producir rutas de resolución muy diferentes.
Un modelo útil puede considerar:
- técnica más difícil requerida;
- número de pasos no triviales;
- esfuerzo acumulado;
- estructura de dependencias entre pasos;
- densidad de candidatos o carga de reconocimiento;
- rendimiento real de jugadores.
La investigación que compara métricas de dificultad con datos humanos indica que tanto la complejidad de los pasos individuales como las dependencias entre pasos contribuyen a la dificultad.
Eso respalda el uso de modelos de resolución humana en lugar de una fórmula basada únicamente en pistas.
Explora la teoría del SudokuCómo se valora la dificultad del sudokuAprende cómo se valora la dificultad de un sudoku según las técnicas necesarias, el esfuerzo de resolución y los datos de jugadores.Leer guía de teoría →Por qué la teoría importa más allá de la cuadrícula
Estas ideas no son solo curiosidades matemáticas. También explican por qué la construcción, el software de resolución, el análisis de dificultad y las herramientas de aprendizaje suelen utilizar tipos de razonamiento diferentes.
Corrección y unicidad
Un solver completo puede responder preguntas como:
- ¿Existe una solución?
- ¿Existe exactamente una solución?
Análisis humano
Un solver de estilo humano puede registrar una ruta explicable usando técnicas con nombre como Singles, intersecciones, subconjuntos, Fish, Wings y Cadenas.
Dificultad
Un sistema de valoración puede estudiar esa ruta en lugar de basarse únicamente en el número de pistas.
Enseñanza
Un estado intermedio validado puede convertirse en ejemplo o ejercicio porque se conoce la deducción esperada y puede comprobarse.
La misma cuadrícula de sudoku puede estudiarse desde varios puntos de vista complementarios sin obligar a una sola representación a resolver todos los problemas.
Teoría frente a Guías frente a Aprende Sudoku
Guía
¿Qué es este concepto o técnica y cómo funciona?
Aprende Sudoku
¿Puedo reconocerlo y aplicarlo de forma interactiva?
Theory
¿Qué propiedad más profunda del sudoku hace que esto sea posible o interesante?
Ejemplo:
Soluciones únicas
Propiedad teórica
↓
Rectángulo único
Guía de técnica
↓
Aprende Sudoku: Rectángulos únicos
Aplicación interactivaLas capas deben conectarse sin duplicarse.
Explora la teoría del sudoku
Pistas mínimas en sudoku
Por qué 17 es el límite inferior global para un sudoku clásico 9×9 único.
Soluciones únicas de sudoku
Qué significan cero, una o varias soluciones y cómo puede verificar el software la unicidad.
Sudoku y matemáticas
Cuadrados latinos, modelos de restricciones, conteo de soluciones, simetría y representaciones algorítmicas.
Cómo se generan los sudokus
Desde una cuadrícula solución completa hasta un puzzle único, valorado y analizado desde una perspectiva humana.
Cómo se valora la dificultad del sudoku
Por qué el número de pistas es insuficiente y cómo los modelos explicables pueden utilizar rutas de resolución y datos humanos.
Preguntas frecuentes
¿El sudoku es un puzzle matemático?
Puede estudiarse matemáticamente, pero para jugar normalmente no hace falta aritmética. Los dígitos actúan principalmente como nueve símbolos diferentes.
¿El sudoku se inventó a partir de los cuadrados latinos?
Los cuadrados latinos son un pariente matemático real. La historia directa del puzzle moderno pasa por Number Place en 1979 y la publicación japonesa de Nikoli en 1984.
¿Por qué el software de sudoku puede utilizar un solver completo y otro de estilo humano?
Porque responden preguntas diferentes: corrección y unicidad frente a una ruta de resolución humana explicable y un modelo de dificultad.
¿Un puzzle de 17 pistas tiene que ser Experto?
No.
¿Un puzzle único tiene automáticamente una buena ruta de resolución humana?
No.
Qué leer después
Elige la página hija que responda a tu pregunta en lugar de tratar Theory como un curso lineal obligatorio.