模拟退火算法是否是生成和解决数独问题的好算法？为什么或为什么不？

我已经用回溯法实现了一个数独游戏，现在我想用Java中的一种局部搜索算法来实现。然而，我不知道该从哪里开始。有没有我可以使用的可用库？

回答：

数独问题中包含了通往最优解的“面包屑”（即使在最困难的情况下也是如此）。我的意思是，约束条件限制得如此之多，以至于搜索空间的组合爆炸并不太大（当然，这是相对而言的）：前进的道路是清晰的。这类问题的其他例子包括爱因斯坦/斑马谜题、SendMoreMoney谜题和n皇后问题。这些都是回溯法的完美案例。虽然模拟退火算法在这些问题上也能起作用，但它并不是解决这些问题的正确工具（回溯法才是）。另一方面，模拟退火算法（和其他元启发式算法）在处理现实问题上表现出色，如课程时间表安排、员工排班、车辆路径问题等。

你可以使用的可用库是OptaPlanner（Java，开源）：某人两年前已经为它编写了一个数独求解器，适用于OptaPlanner的旧版本（当时它还被称为Drools Planner）。默认情况下，看起来他配置了禁忌搜索，但只需两行代码就可以将其切换到模拟退火算法。