×

奥诺

swMATH ID: 31758
软件作者: 李嘉图(Ricardo Fukasawa);劳伦·波里耶(Laurent Poirier);阿林森·S·泽维尔。
描述: 用于单行角松弛的相交切割。我们考虑生成对单纯形表的单行松弛有效的不等式的问题,其中保留了一个或多个非基本变量的完整性约束。这些松弛非常有趣,因为它们可以用于生成一般混合积分问题的剖切面。我们首先考虑单个非基本整数变量的情况。这种松弛与一个带有两个整数变量和两个连续变量的简单背包集有关。我们通过将其重写为一个约束的两行模型来研究其面部结构,并证明其所有方面都是由有限个最大值(×ℤ+) -自由劈开和楔子。由此产生的切割推广了MIR和2步MIR不等式。然后,我们描述了枚举所有最大值的算法(×ℤ+) -与面定义不等式相对应的自由集,我们提供了这些不等式分裂秩的上界。最后,我们进行了计算实验,比较楔形切口和MIR切口的强度。在我们的计算中,我们使用所谓的平凡填充函数来利用更多非基本变量的完整性。为此,我们提出了一种计算该提升函数系数的实用算法。
主页: https://rd.springer.com/article/10.1007%2Fs12532-2018年01月32日
源代码:  https://github.com/iSoron/onerow
关键词: 整数规划;举起;切割平面
相关软件: 举起;MIPLIB公司;无限群松弛;CPLEX公司;gmp公司
引用于: 3文件

按年份列出的引文