sudoku - 是否有任何算法可以解决任何传统的数独难题，而无需猜测(或类似技术)？

Question

是否有任何算法可以解决任何传统的数独难题，而无需猜测？

这里的 Guessing 是指尝试一个候选人，看看它走多远，如果发现与猜测矛盾，则回溯到猜测步骤并尝试另一个候选人；当所有候选人都用尽但没有成功时，回溯到上一个猜测步骤(如果有；否则拼图证明无效)等。

EDIT1:感谢您的回复。

传统数独意味着 81 盒数独，没有任何其他限制。假设我们知道解决方案是唯一的，是否有任何算法可以保证在不回溯的情况下解决它？回溯是一种通用工具，我没有错，但是，使用通用工具解决数独会降低解密(手动或计算机)数独谜题的值(value)和乐趣。

所谓的“世界上最难的数独”，人类要怎么解，还需要猜吗？

我听说一些研究人员偶然发现他们的一些数据分析算法可以解决所有数独。是真的吗，他们也要猜吗？

Answer 1

您可以使用人类用来解决数独的技术。只需跟踪每个方格中每个可能的数字，如果只有一种可能性，则放置一个数字。不断更新可能性，直到数独解决。您可以通过使用规则或使用一些更复杂的推理来排除可能性。例如，如果在一行中的两个方格有 1 和 2 的可能性，则该行中的所有其他方格都不能是 1 或 2。

但是，请记住，并非每个数独都有独特的解决方案，也不是每个数独都可以用这种方法解决。

编辑:可以在这里找到更复杂的人类技术:

http://www.sudokudragon.com/sudokustrategy.htm