En esta página
Sudoku suele describirse como un puzzle de lógica, pero «usa la lógica» puede sonar muy vago hasta que descomponemos las deducciones en piezas más pequeñas.
En cualquier momento de una resolución, la cuadrícula contiene información sobre lo que:
- ya es verdadero;
- todavía es posible;
- es imposible;
- queda reservado para determinadas celdas o unidades;
- sería verdadero de forma condicional si otro candidato fuera falso.
Una técnica de sudoku resulta útil porque transforma esa información en una demostración.
La demostración normalmente produce uno de dos resultados prácticos:
colocación — un dígito debe ir en una celda;
O:
eliminación — un dígito no puede ir en una celda.
Desde un Naked Single hasta una Cadena avanzada pueden entenderse como formas más concretas de demostrar una de esas dos afirmaciones.
Full House, Naked Single, Hidden Single y cualquier colocación creada tras eliminaciones.
El conflicto entre peers, Locked Candidates, Fish y muchas Chains terminan en eliminaciones.
Los subsets, los pares conjugados y los Fish funcionan reservando cifras a una estructura más pequeña.
Los Strong y Weak Links se combinan en Chains, coloring, AIC y métodos de forcing.
¿Qué significa «lógico» en sudoku?
En estas Guides, una deducción es lógica cuando su conclusión se deriva de restricciones y premisas claramente establecidas, no de una elección al azar.
Las restricciones básicas del sudoku clásico son:
- cada fila contiene una vez cada dígito;
- cada columna contiene una vez cada dígito;
- cada bloque contiene una vez cada dígito.
Algunas técnicas avanzadas pueden utilizar además una premisa explícita, por ejemplo:
este puzzle tiene verificada exactamente una solución.
Lo importante es que la premisa sea conocida y que la conclusión se siga de ella.
Por tanto, la resolución lógica no se define por lo sencillo que parezca un paso. Una Cadena larga puede ser perfectamente lógica. Una colocación hecha con mucha confianza pero sin demostración sigue siendo una conjetura.
Cuatro tipos recurrentes de información en sudoku
Muchas técnicas pueden entenderse mediante cuatro tipos de información.
1. Valor forzado
Se demuestra que un dígito ocupa una celda concreta.
Ejemplos:
- Full House / Last Digit;
- Naked Single;
- Hidden Single;
- una colocación que aparece tras una eliminación avanzada.
2. Valor prohibido
Se demuestra que un candidato es imposible en una celda.
Ejemplos:
- un peer ya contiene el dígito;
- Candidatos bloqueados elimina el dígito;
- un X-Wing elimina el candidato;
- una Cadena demuestra que el candidato es falso.
3. Reserva
Un conjunto de dígitos queda confinado a un conjunto de celdas, o un dígito queda restringido a determinadas posiciones.
Ejemplos:
- una Pareja desnuda reserva dos dígitos para dos celdas;
- un Trío oculto reserva tres dígitos para tres celdas;
- un par conjugado reserva un dígito para una de dos posiciones;
- un Fish reserva posiciones candidatas a través de conjuntos base y de cobertura.
4. Implicación
El estado de un candidato obliga al estado de otro.
Ejemplos:
- si A es verdadero, B debe ser falso;
- si A es falso, B debe ser verdadero;
- seguir esas implicaciones por varios nodos crea una Cadena.
El sudoku avanzado resulta mucho más sencillo cuando dejas de ver las técnicas como nombres inconexos y empiezas a verlas como combinaciones de estos cuatro tipos de información.
Los candidatos son un modelo de incertidumbre
Una celda sin resolver puede tener varios candidatos:
{2,5,7}
Esa notación no dice que las tres posibilidades sean igual de probables.
Sudoku no es un juego de probabilidades en ese momento. El conjunto de candidatos significa únicamente:
Según las deducciones realizadas hasta ahora, todavía no hemos descartado 2, 5 ni 7 en esta celda.
Una nueva deducción puede transformar el estado:
{2,5,7} → {2,7}
Y después:
{2,7} → {7}
El último paso crea un Naked Single.
Por eso eliminar candidatos es progreso real aunque la cuadrícula no gane inmediatamente un gran dígito resuelto.
Legal es más débil que resuelto
Una de las transiciones más importantes entre principiante y nivel avanzado es distinguir entre:
«Este dígito podría ir legalmente aquí».
Y:
«Este dígito debe ir aquí».
Un candidato puede ser localmente legal porque ningún peer resuelto lo bloquea en ese momento.
Eso no demuestra que sea la solución.
Una colocación necesita una afirmación más fuerte, por ejemplo:
- todos los demás dígitos son imposibles en la celda;
- todas las demás posiciones para el dígito son imposibles en la unidad;
- una cadena de implicaciones fuerza el candidato a verdadero.
Un movimiento legal es una posibilidad. Un movimiento resuelto es una demostración.
Razonamiento centrado en celdas
El razonamiento cell-first pregunta:
¿Qué puede ocurrir dentro de esta celda o de este pequeño grupo de celdas?
Estructuras habituales:
- Naked Single;
- celdas bivalue;
- Parejas/Tríos desnudos;
- XY-Wing;
- W-Wing;
- XY-Chain.
El objeto importante suele ser el conjunto de candidatos dentro de la celda.
Por ejemplo, una celda bivalue {3,8} crea una relación interna fuerte:
si no es 3, debe ser 8; si no es 8, debe ser 3.
Esa relación se reutiliza después en Wings y Chains.
Razonamiento centrado en dígitos
El razonamiento digit-first pregunta:
¿Dónde puede ir todavía este único dígito?
Estructuras típicas:
- Hidden Single;
- Candidatos bloqueados;
- pares conjugados;
- Skyscraper;
- Two-String Kite;
- X-Wing y otros Fish;
- Coloración simple;
- X-Chains.
Aquí el objeto importante no es el conjunto completo de candidatos de una celda, sino la distribución de un dígito por varias unidades.
Cambiar deliberadamente entre la vista cell-first y digit-first es uno de los hábitos generales más potentes al resolver sudoku.
Razonamiento centrado en unidades
Una tercera perspectiva útil parte de una fila, columna o bloque:
¿Qué obligaciones existen dentro de esta unidad?
Un escaneo unit-first puede revelar:
- el último dígito que falta;
- un Hidden Single;
- un subset;
- una intersección de Candidatos bloqueados;
- un par conjugado.
El razonamiento centrado en unidades suele ser el puente entre el escaneo básico y el análisis formal de candidatos.
Lógica local y lógica distribuida
Las deducciones de sudoku también se diferencian por lo lejos que viaja su demostración.
Deducciones locales
La demostración se concentra en una celda o en pocas unidades directamente relacionadas.
Ejemplos:
- Singles;
- Candidatos bloqueados;
- Parejas y Tríos.
Deducciones distribuidas
La demostración recorre partes separadas de la cuadrícula.
Ejemplos:
- Fish;
- W-Wing;
- Coloring;
- X-Chains;
- XY-Chains;
- posteriormente AIC y estructuras de forcing.
Distribuida no significa «menos lógica». Solo significa que la red de restricciones relevante es mayor.
Contar es una de las ideas más profundas y recurrentes del sudoku
Muchas técnicas que parecen distintas son consecuencias de hacer coincidir cierto número de objetos con el mismo número de lugares disponibles.
Recuento en subsets
Si dos celdas de una unidad solo pueden contener entre ambas dos dígitos, esos dos dígitos quedan reservados para esas celdas.
Forma general:
N celdas ↔ N dígitos
Recuento en subsets ocultos
Si N dígitos solo pueden aparecer en N celdas de una unidad, esas celdas quedan reservadas para esos dígitos.
Es la misma reserva descubierta desde la dirección opuesta.
Recuento en Fish
Un Basic Fish aplica una idea relacionada entre unidades.
Para un dígito:
N unidades base → posiciones candidatas contenidas en N unidades de cobertura
Las coberturas deben alojar las apariciones requeridas por las bases, por lo que ciertos candidatos externos de esas coberturas son imposibles.
Reconocer esta idea compartida hace que Parejas, Tríos, X-Wing, Swordfish y Jellyfish parezcan menos trucos independientes.
Enlaces fuertes y débiles como lenguaje de implicaciones
El razonamiento avanzado de candidatos utiliza con frecuencia dos tipos básicos de enlace.
Enlace débil
Dos estados no pueden ser verdaderos a la vez.
Para candidatos A y B:
si A es verdadero, B debe ser falso.
Ambos todavía pueden ser falsos.
Enlace fuerte
Dos estados no pueden ser falsos a la vez.
Para candidatos A y B:
si A es falso, B debe ser verdadero.
En candidatos simples, los pares conjugados y las relaciones internas de celdas bivalue son fuentes habituales de Enlaces fuertes.
Un detalle avanzado importante es que un Enlace fuerte simple también puede utilizarse en la dirección débil cuando ambos candidatos no pueden ser verdaderos a la vez.
Esa flexibilidad es la que permite a las Cadenas alternar tipos de inferencia por toda la cuadrícula.
Las Cadenas convierten implicaciones en demostraciones
Una Cadena conecta implicaciones de forma que el estado de verdad de un extremo restringe al otro.
Una estructura simplificada puede leerse así:
A falso
→ B verdadero
→ C falso
→ D verdaderoSi la cadena demuestra que al menos uno de dos extremos debe ser verdadero, cualquier candidato que entre en conflicto con ambos extremos puede eliminarse.
Los nodos exactos y tipos de enlace varían según la familia, pero la lógica no es magia:
cada paso debe quedar justificado por la relación inmediatamente conectada.
Esa es la diferencia entre seguir una cadena de implicaciones válida e inventar una historia alrededor de candidatos que simplemente parecen conectados.
La contradicción es un método de demostración
Un razonamiento por contradicción tiene esta forma:
- asume un candidato o estado claramente definido;
- sigue sus consecuencias lógicas;
- llega a un estado imposible;
- concluye que la suposición original es falsa.
Estados imposibles habituales:
- una celda sin candidatos;
- el mismo dígito resuelto dos veces en una unidad;
- un dígito requerido sin ninguna posición posible en una unidad;
- un candidato forzado a verdadero y falso simultáneamente.
Por tanto, contradicción no significa automáticamente «adivinar».
La diferencia está en qué haces con la suposición:
- adivinar elige una rama esperando que sea correcta;
- una demostración por contradicción asume temporalmente un estado con el objetivo específico de demostrar que es imposible.
Una demostración directa y una por contradicción pueden describir la misma lógica
Algunas deducciones pueden explicarse mediante formas lógicamente equivalentes.
Un patrón puede tener:
- una demostración directa por conteo;
- una demostración por implicaciones;
- una demostración por contradicción.
Para enseñar, la mejor explicación suele ser la que deja más visible la estructura reutilizable.
Por ejemplo, X-Wing normalmente se comprende mejor mediante lógica Fish/base-cobertura que como una rama hipotética larga, aunque puedan existir otras demostraciones.
El objetivo no es utilizar la demostración más espectacular, sino la más clara.
Un patrón válido no siempre produce un movimiento útil
Un solver puede detectar un patrón técnicamente válido que no elimine nada.
Por ejemplo:
- puede existir un X-Wing sin candidatos objetivo en sus columnas de cobertura;
- una Cadena puede ser válida pero terminar en una relación que no elimina nada;
- una Pareja desnuda puede existir sin que haya candidatos adicionales del par en el resto de la unidad.
Por tanto, reconocer un patrón y obtener una deducción útil son dos comprobaciones distintas:
- ¿La estructura cumple la definición de la técnica?
- ¿Produce una colocación o eliminación nueva?
Esta distinción evita que «ver patrones» sustituya a resolver realmente.
La cascada de dependencias
Una resolución de sudoku no es una secuencia plana de trucos independientes.
Una eliminación puede modificar candidatos en otra zona y revelar algo mucho más sencillo.
Por ejemplo:
eliminación Swordfish
→ candidato eliminado
→ aparece Hidden Single
→ colocación
→ aparece Candidatos bloqueados
→ dos candidatos eliminados
→ aparece Naked SingleEl patrón avanzado puede ser el punto de ruptura, pero gran parte del progreso posterior vuelve de inmediato a lógica sencilla.
Por eso una buena estrategia siempre vuelve a escanear después de una eliminación significativa.
Los solvers de corrección y los solvers human-style responden preguntas diferentes
El software puede resolver sudoku de formas fundamentalmente distintas.
Solver completo / contador de soluciones
Su trabajo es responder preguntas como:
- ¿existe una solución?
- ¿cuántas soluciones existen?
- ¿cuál es la cuadrícula completa?
Búsqueda, exact cover, propagación de restricciones y backtracking son útiles aquí.
Analizador human-style
Su trabajo es diferente:
- ¿qué deducción explicable está disponible?
- ¿qué técnica la describe?
- ¿qué candidato se elimina?
- ¿qué dificultad debería recibir el paso?
- ¿qué pista debería mostrarse al jugador?
Un solver completo puede demostrar que un puzzle es correcto sin producir una ruta de aprendizaje humana.
Un solver human-style puede describir una ruta elegante sin ser la forma más rápida para que un ordenador encuentre la respuesta.
Ambos son útiles porque resuelven problemas de producto y matemáticos diferentes.
La unicidad es una premisa adicional
La mayor parte del corpus utiliza únicamente las restricciones ordinarias del sudoku.
Las técnicas de unicidad añaden otra premisa:
este puzzle tiene verificada exactamente una solución.
Esa premisa permite deducciones como Rectángulo único y BUG+1.
Debe mantenerse explícita porque un candidato puede ser localmente compatible con todas las reglas de fila, columna y bloque y aun así quedar prohibido si permitiría otra finalización válida.
Por eso Solución única y Rectángulo único están relacionados, pero no son el mismo tema:
- uno explica una propiedad del puzzle;
- el otro utiliza esa propiedad como premisa de resolución.
La lógica no exige un único orden universal de técnicas
Dos solvers competentes pueden realizar movimientos distintos a continuación.
Uno puede encontrar:
- un Hidden Single;
Mientras otro encuentra primero:
- una eliminación mediante Candidatos bloqueados;
Y un tercero detecta:
- un subset que termina produciendo el mismo avance.
Sudoku suele admitir varias rutas de demostración válidas.
Por tanto, un solver human-style necesita tanto:
- corrección — cada paso está justificado;
- política — qué paso válido prefiere mostrar primero.
Esa política afecta a los ratings de dificultad, las pistas y la aparente elegancia de la ruta de resolución.
Un modelo compacto de resolución lógica
Cuando no tengas claro qué tipo de «demostración» estás buscando, reduce la situación a estas preguntas:
- ¿Qué es posible ahora? — candidatos.
- ¿Qué está reservado? — Singles/subsets/Fish/restricciones de posición.
- ¿Qué no puede coexistir? — relaciones débiles.
- ¿Qué no puede ser falso a la vez? — relaciones fuertes.
- ¿Qué ocurre si cambia este estado? — implicaciones/Cadenas.
- ¿Una suposición crea una imposibilidad? — contradicción.
- ¿Estoy usando alguna premisa adicional? — unicidad, restricciones de variante, etc.
- ¿Qué colocación o eliminación exacta se deduce? — el movimiento útil.
Este marco escala desde razonamiento de principiante hasta sudoku avanzado sin cambiar la definición básica de demostración.
FAQ
¿Eliminar candidatos es un movimiento real de sudoku?
Sí. Eliminar un candidato es progreso siempre que una deducción demuestre que es imposible.
¿Las técnicas avanzadas utilizan reglas distintas de sudoku?
Normalmente no. La mayoría son consecuencias más profundas de las mismas restricciones de fila, columna y bloque. Las técnicas de unicidad son una excepción importante porque utilizan explícitamente una premisa adicional de solución única.
¿Contradicción es lo mismo que adivinar?
No. Una demostración por contradicción asume un estado para demostrar que es imposible. Adivinar elige un estado sin demostración y continúa como si fuera correcto.
¿Por qué dos solvers pueden encontrar movimientos siguientes diferentes?
Porque pueden existir varias deducciones válidas al mismo tiempo y cada solver utiliza prioridades de búsqueda y bibliotecas de técnicas distintas.
¿Todo patrón válido produce una eliminación?
No. Una estructura puede cumplir la definición del patrón y no tener ningún objetivo útil en el estado actual.
¿La lógica del sudoku consiste solo en eliminar?
No. Incluye colocaciones, eliminaciones, reservas, implicaciones y contradicción. Las eliminaciones ganan importancia conforme aumenta la dificultad.
¿Utilizar un solver informático sigue siendo «lógica»?
Depende del solver. Un solver de búsqueda completa puede encontrar respuestas sin producir deducciones human-style. Un analizador human-style está diseñado específicamente para devolver pasos lógicos explicables.
Qué aprender después
Lee Cadenas de sudoku para convertir el lenguaje de implicaciones en deducciones concretas, ¿Hay que adivinar en sudoku? para comprender la frontera entre demostración y búsqueda, y Sudoku y matemáticas para la perspectiva algorítmica del puzzle.