Que un sudoku parezca bloqueado no significa que tengas que hacer una conjetura al azar.
En una experiencia de aprendizaje centrada en la lógica, el objetivo es avanzar mediante deducciones que puedan explicarse y verificarse.
Pero la palabra adivinar se utiliza para comportamientos muy diferentes.
Un jugador puede emplearla para referirse a:
- elegir un candidato sin ninguna demostración;
- explorar alternativas de forma sistemática;
- asumir temporalmente un candidato y obtener una contradicción;
- utilizar una Cadena avanzada cuya demostración empiece, por ejemplo, con «supón que A es falso».
Solo el primer caso es realmente una conjetura sin apoyo lógico.
Entender esta diferencia elimina mucha confusión innecesaria alrededor de los sudokus difíciles.
Cómo es una conjetura al azar
Celda:
{3,8}
Introduces un 3 porque:
Alguno de los dos tendrá que funcionar.
No existe ninguna deducción actual que demuestre el 3.
Si más adelante aparece una contradicción, borras esa rama y pruebas con 8.
Este método puede resolver puzzles.
Pero no te enseña por qué el puzzle obligaba al valor correcto.
Por eso un recorrido de aprendizaje centrado en la lógica no utiliza la conjetura sin fundamento como habilidad objetivo.
Deducción lógica
Una deducción tiene una demostración a partir del estado actual.
Ejemplos:
Esta celda solo tiene el candidato 8, así que debe ser 8.
El 6 del bloque está restringido a la fila 4, así que el 6 puede eliminarse del resto de la fila 4.
Uno de estos extremos de la Cadena debe ser 5, por tanto una celda que vea ambos no puede contener 5.
El movimiento puede reconstruirse sin conocer de antemano la solución final.
«No encuentro ningún movimiento» no significa «no existe ningún movimiento»
Puedes estar atascado porque:
- los candidatos están incompletos o desactualizados;
- has pasado por alto un Single;
- estás buscando por celdas cuando deberías seguir un único dígito;
- el puzzle necesita una técnica que todavía no conoces;
- conoces la técnica pero no reconoces su forma actual;
- el puzzle necesita lógica más avanzada que el currículo actual.
Por eso un buen sistema de pistas debería ayudarte a cambiar tu modo de búsqueda antes de revelar directamente una respuesta.
Búsqueda sistemática y backtracking
El backtracking es diferente de probar valores al azar.
Conceptualmente:
- elige un estado donde se ramifican varias posibilidades;
- explora una posibilidad;
- propaga las restricciones;
- continúa recursivamente;
- si la rama falla, vuelve atrás;
- explora otra posibilidad.
Un solver completo basado en backtracking es muy útil para software porque puede ayudar a determinar:
- si existe una solución;
- si existe una segunda solución.
Eso lo hace valioso para validar corrección y unicidad.
Pero no produce automáticamente una explicación satisfactoria al estilo de un jugador humano.
Razonamiento por contradicción
Una contradicción puede comenzar con una suposición temporal:
Supón que el candidato A es verdadero.
A partir de ahí, todas las consecuencias se deducen lógicamente.
Si la suposición obliga a un estado imposible:
A debe ser falso.
La suposición era una herramienta de demostración.
Nunca se aceptó como solución.
Esta forma de razonamiento aparece de manera natural en:
- Coloración;
- Cadenas;
- técnicas de forzado;
- sistemas de nivel Experto como AIC o Redes.
Las Cadenas pueden sonar a adivinación aunque no lo sean
Toma:
A = B - C = DUna explicación habitual puede decir:
Si A es falso, D es verdadero.
Después invierte la cadena:
Si D es falso, A es verdadero.
El jugador no ha adivinado ninguno de los dos extremos.
Ha demostrado que:
Al menos uno de los extremos debe ser verdadero.
Esa relación forzada puede permitir eliminar un candidato que vea ambos extremos.
La palabra «si» introduce un caso lógico.
No convierte el razonamiento en especulación.
¿Qué ocurre con Nishio?
Nishio suele referirse a seguir deliberadamente las consecuencias de colocar un candidato para comprobar si conduce a una contradicción.
Las comunidades de solvers no siempre lo clasifican de la misma manera respecto al pattern solving puro, las forcing chains o la lógica de prueba.
El currículo actual no necesita Nishio como técnica central del curso.
Ya existe suficiente profundidad mediante:
- Enlaces fuertes y débiles;
- Cadenas cortas con nombre;
- X-Chain;
- XY-Chain;
- Práctica avanzada mixta.
Nishio y sistemas de forzado más generales pueden quedar como ampliación de nivel Experto.
¿Una solución única significa que puedo resolver el puzzle con las técnicas que conozco?
No.
Son afirmaciones diferentes:
Único
Exactamente una cuadrícula completa satisface las pistas.
Resoluble por una persona con el conjunto de técnicas T
Un solver o jugador concreto puede deducir esa cuadrícula utilizando las técnicas disponibles en T.
Un puzzle puede ser único y superar:
- tus conocimientos personales;
- un conjunto de técnicas determinado;
- el solver configurado para imitar resolución humana.
Por eso es incorrecto afirmar:
Solución única = resolución lógica sencilla.
¿Todo sudoku único puede resolverse lógicamente en principio?
Depende de qué permitamos incluir dentro de la palabra lógica.
Un sistema formal de deducción suficientemente expresivo puede representar razonamientos muy generales. Una biblioteca práctica de técnicas humanas es mucho más pequeña.
Para un servicio de puzzles, la promesa útil es más concreta:
Un puzzle asignado a una categoría de dificultad humana debe verificarse y analizarse mediante el modelo de técnicas humanas utilizado por ese sistema de valoración.
Eso sí puede comprobarse.
«Todo sudoku debería poder resolverse con estas 20 técnicas con nombre» no es una promesa razonable.
Las buenas pistas no deberían adivinar por ti
Una pista progresiva puede preservar el proceso de resolución.
Ejemplo para X-Wing:
Pista 1
Sigue el candidato 6.
Pista 2
Compara filas con pocos candidatos.
Pista 3
Las filas 2 y 7 utilizan las mismas dos columnas de cobertura.
Pista 4
Familia Fish.
Pista 5
X-Wing.
Pista 6
Resalta conjuntos base, conjuntos de cobertura y celdas objetivo válidas.
La escalera de pistas revela primero dónde pensar, después qué estructura existe y solo al final el movimiento exacto.
¿Y si me gusta resolver mediante prueba y error?
No hay nada inválido en elegir otro estilo de resolución.
Las reglas del sudoku especifican qué constituye una cuadrícula completa válida; no dictan cómo debe pensar el jugador.
Una experiencia de aprendizaje centrada en la lógica puede seguir favoreciendo:
- deducciones que puedas explicar;
- pistas que enseñen reconocimiento;
- dificultad basada en una ruta de resolución humana.
Eso no convierte la prueba y error en una violación de las reglas del sudoku; simplemente es otro estilo de resolución.
Preguntas frecuentes
¿Adivinar va contra las reglas del sudoku?
No. Las reglas definen la cuadrícula final, no un método obligatorio de resolución.
¿Un sudoku centrado en lógica debería necesitar conjeturas al azar?
Un puzzle presentado como resoluble por una persona en una dificultad determinada debería tener una ruta lógica compatible con el modelo de valoración utilizado. Un solver completo de software puede seguir utilizando búsqueda internamente para validar el puzzle.
¿El backtracking es hacer trampas?
Para validar puzzles mediante software, no. Para una persona simplemente es un método diferente del enfoque basado en deducciones que enseña el curso.
¿La contradicción es lógica?
Sí, cuando todas las consecuencias se deducen correctamente y la contradicción demuestra que la suposición temporal era falsa.
¿Por qué las técnicas difíciles utilizan frases con «si»?
El razonamiento condicional es una forma normal de demostración. No implica una conjetura sin fundamento.
Qué aprender después
Lee Lógica del sudoku para entender el modelo general de deducción.
Lee Soluciones únicas de sudoku para separar «existe una única solución» de «un jugador conoce una ruta humana para encontrarla».