Clingo - 进展错误/警告

  • Z时代
  • 2024-01-10
  • 分类：问答

我运行求解器上的规划和各种答案集我得到了我认为是之间的警告（因为它不termiate执行）说以下内容：Clingo - 进展错误/警告

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)

我找不到任何有关该警告的提示，所以我希望有人知道他们的意思。

回答：

这些行提供有关优化的当前状态的有价值的信息：在你的榜样，解算器已经找到了成本8的解决方案，但还没有证明解决方案是最优的，但它正在证明它的方法：它证明了成本至少2,3,4，...，7。所以，如果你在拉斯维加斯之后中止求解器t线，您可以保证您找到的解决方案可以是最优的，也可以是最优的。

该信息可以帮助您在最优性和求解时间之间进行合成。如果您的次优结果足够接近最佳值，那么通常情况下您的应用都很好。

回答：

快速搜索扣环来源https://github.com/potassco/clasp/blob/master/src/clasp_output.cpp表明方法TextOutput::printUnsat负责这些消息。

在基类中的注释显示Output::printUnsat：

//! Called on unsat - may print new info.

具体来说，TextOutput::printUnsat评论是

//! Prints the given lower bound and upper bounds that are known to be optimal.

以上是 Clingo - 进展错误/警告 的全部内容， 来源链接： utcz.com/qa/266094.html

回到顶部