VIPR

VIPR。验证整数编程结果。VIPR是一个新的软件项目,用精确有理算法验证混合整数线性规划求解器计算结果的正确性。它基于文章“Kevin K.H.Cheung、Ambros Gleixner和Daniel E.Steffy:验证整数规划结果”中提出的基于LP的分支和剪切证书的基本文件格式:混合整数线性规划的软件可能由于多种原因返回不正确的结果,一种是使用不精确的浮点运算。即使使用精确算法的解算器也可能遭受编程或算法错误的困扰,从而激发了对生成所声称结果的独立可验证证书的渴望。由于最先进的MILP解决方案算法的复杂性,此类证书的理想形式并不完全清楚。本文提出了一种证书格式,并通过实例说明了它的功能和结构。证书格式的设计考虑了简单性,它由一系列语句组成,这些语句可以使用有限数量的简单而强大的推理规则进行顺序验证。我们提供了一个补充的验证工具来压缩和检查这些证书,而不考虑它们是如何创建的。我们报告了从文献中选择混合整数线性规划实例的计算结果。为此,我们扩展了MIP solver SCIP的精确rational版本来生成这样的证书。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换