VIPR公司 swMATH ID: 18034 软件作者： Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 描述： VIPR公司。验证整数编程结果。VIPR是一个新的软件项目，用于在精确有理算法中验证混合整数线性规划求解器计算结果的正确性。它基于“Kevin K.H.Cheung、Ambros Gleixner和Daniel E.Steffy：验证整数规划结果”一文中提出的基于LP的分支和剪切证书的基本文件格式：混合整数线性规划软件可能会因多种原因返回错误的结果，一个是使用不精确浮点运算。即使是使用精确算法的解算器也可能会出现编程或算法错误，这激发了人们对生成独立可验证的声明结果证书的渴望。由于最先进的MILP解决方案算法的复杂性，这种证书的理想形式并不完全清楚。本文提出了这样一种证书格式，并通过实例说明了它的功能和结构。证书格式的设计考虑到了简单性，由一系列语句组成，这些语句可以使用有限数量的简单但功能强大的推理规则进行顺序验证。我们提供了一个补充的验证工具，用于压缩和检查这些证书，而不受其创建方式的影响。我们报告了从文献中选择的混合整数线性规划实例的计算结果。为此，我们扩展了MIP解算器SCIP的精确理性版本，以生成此类证书。 主页： https://github.com/ambros-gleixner/VIPR网站 源代码： https://github.com/ambros-gleixner/VIPR 关键词： 正确性;验证;证明;证明书;最优性;不可行;混合整数线性规划 相关软件： SCIP公司;MIPLIB公司;DRAT-饰件;github;PPL（公私合营）;CPLEX公司;古罗比;多晶的;协和式飞机;gmp公司;PaPILO公司;z3（零3）;HOL灯;QSopt_ex（首选项）;优化软件基准;CPBPV公司;JuMP公司;MIP学习;数学光学接口.jl;记录仪 引用于： 8文件 全部的 前5名8位作者引用 4 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。 三 利昂·埃夫勒 三 乔纳德·普拉杰 1 张凯文·K·H。 1 穆尼奥斯，冈萨罗 1 约瑟夫·帕特（Joseph S.Paat）。 1 丹尼尔·斯特菲（Daniel E.Steffy）。 1 阿林森·S·泽维尔。 4篇连载文章中引用 1 计算数学 1 ACM数学软件汇刊 1 数学编程。A系列B系列 1 实验数学 在4个字段中引用 6 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 1 数值分析（65-XX） 1 计算机科学（68至XX） 按年份列出的引文