En esta página
El sudoku tiene un conjunto de reglas diminuto y una estructura sorprendentemente profunda.
Un puzzle clásico 9×9 pide colocar los dígitos del 1 al 9 de forma que cada uno aparezca exactamente una vez en cada fila, cada columna y cada bloque 3×3. Las reglas son fáciles de aprender. Las preguntas que hay detrás son mucho más grandes.
Por ejemplo:
- ¿Cuántas cuadrículas completas de sudoku existen?
- ¿Por qué dos puzzles con el mismo número de pistas pueden tener dificultades muy distintas?
- ¿Qué significa exactamente que un puzzle tenga una única solución?
- ¿Por qué 17 es el mínimo de pistas para un sudoku clásico 9×9 único?
- ¿Cómo puede el software demostrar unicidad o generar un puzzle?
- ¿Qué relación tiene el sudoku con los cuadrados latinos, la combinatoria, la satisfacción de restricciones, exact cover y la búsqueda computacional?
Teoría del sudoku es la parte de la biblioteca de Guías de VeyraPlay que explora esas propiedades más profundas.
No sustituye a las Guías prácticas de resolución. Explica las ideas matemáticas y computacionales que existen debajo de ellas.
De reglas sencillas a un sistema de restricciones
Una cuadrícula de sudoku puede describirse en varios niveles.
Para un jugador, una celda sin resolver tiene un conjunto de dígitos posibles. Las filas, columnas y bloques eliminan algunas de esas posibilidades. Cada colocación cambia la estructura de candidatos de sus celdas relacionadas, y cada eliminación útil puede crear una nueva colocación en otra parte.
De ahí aparecen ideas de resolución conocidas como:
- escaneo;
- Singles;
- Candidatos bloqueados;
- subconjuntos;
- Fish;
- Wings;
- Coloring;
- Cadenas.
Matemáticamente, el mismo proceso puede describirse como un sistema de restricciones.
Cada celda se comporta como una variable. Sus posibles dígitos forman un dominio. Las reglas del sudoku restringen qué combinaciones de valores pueden coexistir.
Un solver humano y un programa pueden representar ese sistema de forma distinta, pero trabajan sobre el mismo objeto subyacente.
Sudoku y cuadrados latinos
Un cuadrado latino de orden 9 es una disposición 9×9 de nueve símbolos en la que cada símbolo aparece exactamente una vez en cada fila y en cada columna.
Una cuadrícula completa de sudoku clásico cumple esas condiciones más las nueve restricciones de los bloques 3×3.
Por tanto:
Toda cuadrícula completa de sudoku clásico es un cuadrado latino con restricciones regionales adicionales.
Pero lo contrario no es cierto:
No todo cuadrado latino 9×9 es una cuadrícula válida de sudoku clásico.
Esta relación es útil matemáticamente porque conecta el sudoku con un campo de la combinatoria mucho más antiguo.
No debe confundirse con el origen histórico del puzzle moderno. Las matemáticas de los cuadrados latinos y la historia editorial del sudoku son temas relacionados, pero no expresan la misma afirmación.
Explora la teoría del SudokuSudoku y matemáticasExplora las matemáticas del sudoku: cuadrados latinos, CSP, exact cover, grafos, combinatoria, simetrías, recuento de cuadrículas y complejidad.Leer guía de teoría →¿Cuántas cuadrículas completas de sudoku existen?
El número de cuadrículas completas válidas de sudoku clásico 9×9 es:
6.670.903.752.021.072.936.960
o aproximadamente:
6,671 × 10²¹
Este recuento considera distintas las cuadrículas relacionadas mediante transformaciones que conservan el sudoku siempre que sus 81 valores no sean idénticos.
Esa cifra enorme ayuda a explicar por qué un conjunto fijo de reglas puede producir una variedad extraordinaria.
También muestra una distinción importante:
Una cuadrícula completa de sudoku no es lo mismo que un puzzle de sudoku.Explora la teoría del SudokuSudoku y matemáticasExplora las matemáticas del sudoku: cuadrados latinos, CSP, exact cover, grafos, combinatoria, simetrías, recuento de cuadrículas y complejidad.Leer guía de teoría →
Una cuadrícula solución no es un puzzle
Una cuadrícula solución es un sudoku válido de 81 celdas completamente resuelto.
Un puzzle es un estado inicial parcialmente revelado diseñado para conducir a una solución.
Partiendo de una cuadrícula completa, un constructor puede elegir algunas celdas como pistas y ocultar las demás. Pero eliminar dígitos sin más no produce automáticamente un buen puzzle.
El conjunto de pistas resultante puede necesitar cumplir varias propiedades independientes:
- las pistas son compatibles entre sí;
- existe al menos una solución completa;
- existe exactamente una solución, si se exige unicidad;
- el puzzle puede resolverse con el modelo de técnicas humanas previsto;
- la ruta de resolución encaja en una dificultad objetivo;
- la distribución de pistas puede cumplir criterios estéticos o editoriales.
Por eso conviene entender la generación de puzzles como un proceso de construcción y validación, no como una eliminación aleatoria de pistas.
Explora la teoría del SudokuCómo se generan los sudokusAprende cómo se generan sudokus: cuadrículas solución, retirada de pistas, unicidad, rutas de resolución humana, dificultad y control de calidad.Leer guía de teoría →Las soluciones únicas son una propiedad del puzzle completo
Una cuadrícula parcialmente rellenada puede tener:
- ninguna solución;
- exactamente una solución;
- más de una solución.
El sudoku clásico publicado de forma estándar suele buscar exactamente una.
La unicidad es distinta de las reglas locales de fila, columna y bloque. Esas reglas indican cómo debe ser una cuadrícula completa válida y si una colocación entra inmediatamente en conflicto con sus pares. La unicidad plantea una pregunta global:
¿Cuántas cuadrículas completas satisfacen todas las pistas iniciales?
Por tanto, un puzzle puede parecer localmente consistente y aun así admitir varias soluciones.
La unicidad también es independiente de la dificultad. Un puzzle único puede ser fácil o extremadamente difícil según las deducciones necesarias para resolverlo.
Explora la teoría del SudokuSoluciones únicas de sudokuEntiende qué significa que un sudoku tenga una única solución, cómo la comprueba el software y por qué unicidad, dificultad y minimalidad son conceptos distintos.Leer guía de teoría →Por qué el mínimo de pistas es 17
Cuando la unicidad importa aparece una pregunta extrema natural:
¿Cuál es el menor número de pistas capaz de determinar exactamente una solución de sudoku clásico 9×9?
La respuesta demostrada es:
17 pistas.
Existen puzzles únicos de 17 pistas.
Una búsqueda computacional exhaustiva de Gary McGuire, Bastian Tugemann y Gilles Civario descartó todos los posibles sudokus clásicos únicos de 16 pistas, estableciendo 17 como mínimo global.
Ese resultado es un límite inferior matemático. No es un objetivo habitual de construcción y, por sí solo, no dice nada sobre lo entretenido o difícil que será un puzzle.
Explora la teoría del SudokuPistas mínimas en sudokuDescubre por qué 17 es el mínimo de pistas de un sudoku clásico 9×9 con solución única, cómo se descartaron las 16 pistas y qué significa minimal.Leer guía de teoría →Mínimo y minimal significan cosas diferentes
Estos términos se confunden con facilidad.
Mínimo
Mínimo pregunta por el menor número de pistas posible entre todos los sudokus clásicos 9×9 únicos.
Ese mínimo global es:
17 pistas.
Minimal
Un puzzle concreto es minimal cuando no puede eliminarse ninguna de sus pistas sin perder la unicidad.
Un puzzle minimal puede tener más de 17 pistas.
Por ejemplo, uno de 18, 24 o 30 pistas puede seguir siendo minimal si cada pista es necesaria para ese puzzle concreto.
Así que:
Mínimo es un límite global de cantidad de pistas.
Minimal es una propiedad de un conjunto de pistas concreto.
La dificultad no está codificada en el número de pistas
Un puzzle con pocas pistas no es automáticamente difícil, y uno con muchas no es automáticamente fácil.
La dificultad humana puede depender de factores como:
- qué técnicas son necesarias;
- lo difícil que resulta reconocer el patrón relevante;
- cuántas eliminaciones de candidatos hacen falta;
- cuánto dependen las deducciones posteriores de pasos anteriores;
- si la ruta contiene cuellos de botella estrechos;
- cuántas direcciones de búsqueda plausibles compiten por la atención.
Por eso un buen modelo de valoración suele estudiar la ruta de resolución, no solo el número de pistas.
Un puzzle de 17 pistas y otro de 30 pueden tener relaciones de dificultad imposibles de predecir únicamente por su densidad de pistas.
Explora la teoría del SudokuCómo se valora la dificultad del sudokuAprende cómo se determina la dificultad del sudoku mediante técnicas, esfuerzo de resolución, dependencias y datos de jugadores, no solo por el número de pistas.Leer guía de teoría →Distintos modelos matemáticos revelan propiedades distintas
El sudoku puede representarse de varias formas útiles.
Ninguna es la única representación «verdadera». Cada una destaca una pregunta diferente.
Satisfacción de restricciones
Las celdas son variables, los dígitos son valores posibles y las relaciones de fila, columna y bloque restringen sus dominios.
Este punto de vista se parece mucho al razonamiento con candidatos.
Exact cover
Un sudoku completo puede codificarse para que cada condición de celda, fila-dígito, columna-dígito y bloque-dígito se satisfaga exactamente una vez.
Eso hace que los algoritmos de exact cover sean útiles para resolución completa y enumeración de soluciones.
Relaciones de tipo grafo
Los pares y enlaces entre candidatos pueden representarse como redes de conflictos e implicaciones.
Es especialmente natural al estudiar Enlaces fuertes, Enlaces débiles, Coloring y Cadenas.
Búsqueda recursiva
Un solver completo puede elegir una posibilidad, propagar consecuencias, retroceder cuando aparece una contradicción y explorar sistemáticamente las ramas restantes.
La búsqueda resulta útil para preguntas como la existencia o unicidad de soluciones incluso cuando la ruta pública de resolución humana sea enteramente lógica y basada en técnicas.
Por qué la teoría importa para construir y resolver
La teoría del sudoku no es solo matemática recreativa. Explica por qué distintas herramientas son adecuadas para trabajos distintos.
Validez y recuento de soluciones
Un solver completo puede responder:
- ¿Existe alguna solución?
- ¿Existe exactamente una?
- ¿Existe una segunda solución distinta?
Análisis de estilo humano
Un solver consciente de técnicas puede producir una ruta explicable usando Singles, subconjuntos, Fish, Wings, Coloring y Cadenas.
Análisis de dificultad
Un modelo de rating puede evaluar esa ruta humana ponderando técnicas, carga de reconocimiento, dependencias y otros factores.
Generación de puzzles
Un generador puede combinar construcción, validación de unicidad, comprobaciones de resolubilidad humana, análisis de dificultad y restricciones estéticas.
Enseñanza
Los estados intermedios validados pueden convertirse en ejemplos y ejercicios porque conocemos tanto la deducción prevista como su demostración.
Estas tareas se solapan, pero no conviene reducirlas a una idea vaga de «solver de sudoku».
Teoría frente a Guías frente a práctica
VeyraPlay separa el contenido de referencia, la teoría profunda y la aplicación práctica.
Guía
¿Qué es este concepto o técnica y cómo funciona?
Una Guía explica la idea y su demostración.
Práctica
¿Puedo reconocer y aplicar esta idea sobre un tablero real?
La práctica convierte el conocimiento de referencia en trabajo deliberado de resolución.
Teoría
¿Qué propiedad matemática, computacional o de construcción más profunda explica esta parte del sudoku?
Teoría se aleja de un movimiento concreto y estudia la estructura del propio puzzle.
Las capas deben apoyarse entre sí sin duplicar el mismo artículo con nombres diferentes.
Explora la teoría del sudoku
Pistas mínimas en sudoku
Por qué 17 es el mínimo de pistas para un sudoku clásico 9×9 único, qué demostró la prueba que descartó las 16 pistas y por qué mínimo no significa lo mismo que minimal.
Soluciones únicas de sudoku
Qué significa que un puzzle inicial determine exactamente una solución, cómo puede verificarse la unicidad y por qué es independiente de la dificultad.
Sudoku y matemáticas
Cuadrados latinos, combinatoria, satisfacción de restricciones, exact cover, modelos de grafos, simetría, enumeración de cuadrículas y complejidad computacional.
Cómo se generan los sudokus
Cómo pueden constructores y software pasar de una cuadrícula completa a un puzzle jugable y validado.
Cómo se valora la dificultad del sudoku
Por qué el número de pistas es insuficiente y cómo las rutas de resolución humana pueden utilizarse para estimar dificultad.
Simetría en sudoku
Por qué las distribuciones de pistas suelen tener simetría rotacional, qué implica y qué no implica la simetría y cómo la usan los constructores como restricción estética y editorial.
Cómo resuelven sudoku los ordenadores
Propagación de candidatos, búsqueda completa, recuento de soluciones, exact cover, Algorithm X, Dancing Links y la diferencia entre solvers completos y solvers de estilo humano.
Cómo crear un sudoku
Un flujo práctico de construcción desde la cuadrícula solución y la retirada de pistas hasta las pruebas de unicidad, resolución humana, ajuste de dificultad y acabado final.
FAQ
¿El sudoku es un puzzle matemático?
El sudoku no requiere aritmética, pero su estructura puede estudiarse mediante combinatoria, cuadrados latinos, satisfacción de restricciones, relaciones de grafo, exact cover y complejidad computacional.
¿El sudoku utiliza los números como cantidades?
No en el sudoku clásico. Los dígitos 1–9 funcionan principalmente como nueve símbolos distintos. Renombrarlos de forma consistente produce una estructura válida equivalente.
¿Se inventó el sudoku a partir de los cuadrados latinos?
Los cuadrados latinos forman parte del trasfondo matemático del sudoku, pero la historia editorial del puzzle moderno debe distinguirse de esa relación matemática.
¿Por qué un sudoku suele necesitar una única solución?
Una solución única da al puzzle publicado estándar una respuesta final determinada. La unicidad es una propiedad global del conjunto de pistas, no una regla adicional de fila, columna y bloque.
¿Un sudoku de 17 pistas tiene que ser Experto?
No. Diecisiete es un límite inferior de unicidad, no una valoración de dificultad.
¿Por qué el software de sudoku puede usar un solver completo y otro de estilo humano?
Responden preguntas distintas. Un solver completo es excelente para existencia y unicidad; uno de estilo humano sirve para deducciones explicables y análisis de dificultad.
¿Un puzzle único tiene automáticamente una buena ruta de resolución humana?
No. La unicidad garantiza una sola solución, no elegancia, justicia, un conjunto concreto de técnicas ni una dificultad objetivo.
Qué leer después
Empieza por Sudoku y matemáticas para el modelo matemático general.
Después explora Soluciones únicas de sudoku, Pistas mínimas en sudoku, Cómo se generan los sudokus, Cómo se valora la dificultad del sudoku, Simetría en sudoku, Cómo resuelven sudoku los ordenadores y Cómo crear un sudoku para estudiar cada una de las principales preguntas teóricas por separado.