Questions tagged «heuristics»

给定一个SAT实例，我希望能够估计解决该实例的难度。 一种方法是运行现有的求解器，但这种方法无法达到估算难度的目的。第二种方法可能是查看子句与变量的比率，就像在random-SAT中进行相变一样，但是我确信存在更好的方法。 给定一个SAT实例，是否有一些快速的试探法来衡量难度？唯一的条件是，这些启发式方法要比在实例上实际运行现有的SAT求解器快。 相关问题 哪些SAT问题很容易？在cstheory.SE 该问题询问有关易于处理的实例集。这是一个类似的问题，但并不完全相同。我对一种启发式方法非常感兴趣，该启发式方法对单个实例做出了某种半智能的猜测，以确定该实例是否很难解决。

28 complexity-theory  satisfiability  heuristics 

如果我遇到难题，一种标准方法是将其表示为SAT实例，然后尝试在其上运行SAT解算器。另一种标准方法是将其表示为约束满足问题，然后尝试使用CSP求解器。两者在某种程度上可以用输入格式自然地表达出什么样的问题，感觉有点相似。 是否有任何准则或经验法则针对特定问题如何识别哪种方法更可能产生良好的结果？对于SAT求解器比CSP求解器能更好地处理哪些类型的问题，是否有人能提供任何指导？反之亦然？ （显然，这两种方法都可以解决一些简单的问题。还有一些困难的问题都无法通过两种方法解决。让我们将它们放在一边。指导最有用的情况是其中任何一个SAT都存在问题求解器的性能优于CSP求解器，或者CSP求解器的性能优于SAT求解器如何识别SAT求解器比CSP求解器更合适，或者CSP求解器比SAT求解器更适合SAT求解器-即首先尝试哪种方法？）

18 heuristics  sat-solvers  constraint-programming 

当使用A *（或任何其他最佳路径查找算法）时，我们说使用的启发式方法应该是可以接受的，也就是说，它绝不应高估实际解路径的长度（或移动量）。 可允许的启发式方法如何确保最佳解决方案？我最好在寻找一个直观的解释。 如果需要，您可以使用8难题的曼哈顿距离启发法进行解释。

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

我已经在模拟退火算法中对不同的初始温度进行了一些测试，并注意到起始温度会影响算法的性能。 有什么方法可以计算出良好的初始温度吗？

14 optimization  artificial-intelligence  heuristics 

启发式函数是...h （n ）h(n)h (n) 一致的，如果从节点的估计成本的目标是不大于步骤成本其继任者ñ “加上从后继目标的估计成本。nnnn′n′n' 容许的，如果从来没有高估了真实成本的目标状态。h(n)h(n)h(n) 我的人工智能课程的教科书指出，一致性比可接纳性要强，但并不能证明这一点，因此我很难提出数学解释。

13 algorithms  shortest-path  heuristics