answer-set-programming - Clingo - 进度错误/警告

Question

我在计划中运行求解器，在各种答案集之间我得到了我认为是警告(因为它不会终止执行)，说明如下:

Progression : [2;8] (Error: 3)
Progression : [3;8] (Error: 1.66667)
Progression : [4;8] (Error: 1)
Progression : [5;8] (Error: 0.6)
Progression : [6;8] (Error: 0.333333)
Progression : [7;8] (Error: 0.142857)

我找不到任何关于该警告的引用，所以我希望有人知道它们的意思。

Answer 1

这些行提供了有关优化当前状态的有值(value)信息:在您的示例中，求解器找到了成本为 8 的解决方案并且尚未证明该解决方案是最优的，但它正在证明它:它已证明成本至少为 2、3、4、...、7。因此，如果您在最后一行之后中止求解器，则可以保证您找到的解决方案是最优的或与最优解相差 1。

此信息可以帮助您在最优性和求解器时间之间做出折衷。如果您的次优结果足够接近最佳结果，那么您通常在应用程序中没有问题。