用启发式方法解决数独：一个好主意？

Question

我试图通过'Drools Planner'软件包来解决部分初始化的数独谜题（报纸中出现的类型）。 虽然它可以在3秒内从头开始生成（随机）谜题，但它会陷入解决部分初始化谜题的循环中。

问题 ：禁忌搜索和模拟退火这样的启发式算法对于数独从根本上是一个糟糕的选择吗？ 我说的是完整性（将达到解决方案）和效率（是否过度杀伤）。

我怀疑的是，数独谜题总是有一个精确的单一解决方案，而启发式算法（AFAIK）并非旨在“达到它们”。

Answer 1

我对你的是/否问题的回答，如果禁忌搜索和模拟退火这样的启发式算法是解决数独游戏的不错选择，那就是肯定的。

该问题对于本地搜索策略的有效性有太多限制。

数独是约束满足问题（CSP）的一个很好的例子，CSP求解器非常善于解决它。 这并不意味着本地搜索不起作用或启发式思路一般都是坏主意，但这个问题可以通过传播约束很容易地解决。

Answer 2

像禁忌搜索和模拟退火这样的启发式算法从根本上说是数独的不好选择吗？

是的，如果仅仅因为良好的约束传播算法可以非常快速地解决sudokus，那么就根本不需要启发式算法。 此外，你（确实）不希望部分解决数独的问题。

Answer 3

对于诸如9x9 Sudoku之类的问题，紧密编码的强力搜索非常快速地找到解决方案。 此外，由于可以肯定找到所有解决方案，它还将确定数独是否正确形成，因为它具有唯一的解决方案。