¿Todos los rompecabezas de Sudoku únicos solubles son lógicamente solucionables?

¿Qué es “lógicamente solucionable”? Cada Sudoku con una solución única definitivamente se puede resolver “lógicamente”, ya que en cada paso que realice es lógicamente sólido. Pero ese paso podría implicar una prueba larga por contradicción (“si R1C1 es un 9, entonces R1C2 debe ser un 8; entonces R9C2 debe ser un 3; …; entonces R2C1 también debe ser un 9, contradicción, entonces R1C1 no es 9 después de todo”). Algunas personas dirían que esto no es lógico, por eso debes aclarar lo que quieres decir con lógico.

Si va con la definición de Thomas Snyder (vinculada a otra respuesta) donde “siempre que pueda mantener cualquier bifurcación en la cabeza, está bien”, entonces es claramente una definición subjetiva, basada en el solucionador. Pero incluso entonces, si tomas un solucionador superior promedio (por ejemplo, alguien alrededor de 10-20 en el Campeonato Mundial de Sudoku), dirían que algunos acertijos no son lógicos, incluso si tienen una solución única. Algunos de los pasos son encontrar contradicciones tan complicadas. Si busca el “rompecabezas de Sudoku más difícil”, lo más probable es que encuentre algunos.

Cada acertijo de sudoku adecuado que solo tiene una solución única se puede resolver sin adivinar.

Adivinar , o no adivinar , esa es la pregunta:

Si es noble en la mente sufrir

Los [Giros] y [las Vueltas] de la [Lógica] escandalosa,

O tomar armas contra un mar de problemas,

Y al [adivinar] terminarlos …

Para una definición adecuada, consulte esta referencia: Pregúntele al Dr. Sudoku # 12 – La línea debe trazarse aquí – El arte de los rompecabezas

Cada Sudoku singularmente soluble debe ser lógicamente solucionable, porque hay una forma de resolverlo, debe haber una manera de encontrarlo, como dijo Sherlock Holmes en UN ESTUDIO EN ESCARLATA “Una vez que elimines lo imposible, lo que quede, no importa cómo improbable, debe ser la verdad “.

Esto también se aplica con los rompecabezas de Sudoku, con los rompecabezas más difíciles, tienes que “presagiar” un poco, en la forma en que tienes que pensar lo que harás en más de un paso, por ejemplo “si pongo un 5 aquí I no podré poner un 9 allí porque la línea está completa, entonces, necesito poner un 6 aquí y podré poner el 9 allí ”