¿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.