奥诺 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文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 用于单行角松弛的相交切割。 Zbl 1402.90097号里卡多Fukasawa;劳伦·波里耶;阿林森·S·泽维尔。 2018 全部的 前5名7位作者引用 2 劳伦·波里耶 1 阿弥陀佛巴苏 1 里卡多Fukasawa 1 坎斯坦钦·帕什科维奇 1 哈里普利亚·普利亚萨里 1 桑卡拉纳拉亚南,斯里拉姆 1 阿林森·S·泽维尔。 3篇连载文章中引用 1 数学编程。A系列B系列 1 SIAM优化杂志 1 数学规划计算 在1个字段中引用 三 运筹学、数学规划(90-XX) 按年份列出的引文