×
帕特里克·杰曼德;陈伟坤;迪特尔·温宁格;利昂娜·戈特瓦尔德;安布罗斯·格莱克斯纳;亚历山大·马丁

使用基于哈希的配对方法进行两行两列混合整数预分解。 （英语） Zbl 1452.90215号

EURO J.计算。最佳方案。 8，编号3-4，205-240（2020）.
摘要：在最先进的混合整数规划求解器中，在开始实际的分支与切割阶段之前，应用了大量简化技术来简化问题并加强模型公式。尽管这些方法在数学上很简单，但它们对给定问题的可解性有重大影响。然而，预解技术成功应用的一个关键特性是其速度。因此，大多数方法单独检查约束或变量，以保证线性复杂性。在本文中，我们提出了新的基于哈希的配对机制，这些机制有助于克服考虑行或列对的更强大的预解技术的已知性能限制。此外，我们通过利用二进制变量上的集合封装结构的存在，对其中一种预分解技术进行了增强，以在不增加运行时间的情况下加强由此产生的减少。我们基于MIP求解器SCIP中的一个实现，分析了这些方法对MIPLIB 2017基准集的影响。

引用于2文件

MSC公司：

90C05（二氧化碳） 线性规划
90立方厘米 整数编程
90立方厘米 混合整数编程
2005年5月 并行数值计算

关键词：

线性规划;混合整数线性规划;优化求解器;预溶

软件：

SCIP公司;MIPLIB公司;HASP公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Gemander}等人，《欧洲计算机杂志》。最佳方案。8、编号3--4、205-240（2020；Zbl 1452.90215）
全文： 内政部

参考文献：

[1] Achterberg T（2007）约束整数规划。柏林理工大学博士论文·Zbl 1430.90427号
[2] Achterberg，T。；Wunderling，R.，混合整数规划：分析12年的进展，449-481（2013），柏林：施普林格，柏林·Zbl 1317.90206号
[3] Achterberg T，Bixby RE，Gu Z，Rothberg E，Weninger D（2014）混合整数规划中的多轮预解约简。载于：河西大学第二十六届RAMP研讨会论文集，第181-196页。http://www.orsj.or.jp/ramp/2014/paper/4-4.pdf
[4] Achterberg，T。；比克斯比，RE；顾，Z。；Rothberg，E。；Weninger，D.，混合整数规划中的预解约简，INFORMS J Compute（2019）·Zbl 07290858号 ·doi:10.1287/ijoc.2018.0857
[5] 安德森，ED；安德森，KD，线性规划预解，数学程序，71221-245（1995）·Zbl 0846.90068号 ·doi:10.1007/BF01586000
[6] 阿塔姆蒂尔克，A。；Savelsbergh，MWP，Integer编程软件系统，Ann Oper Res，14067-124（2005）·Zbl 1091.90046号 ·doi:10.1007/s10479-005-3968-2
[7] 巴拉斯，E。；Zemel，E.，大型零一背包问题的算法，Oper Res，28，5，1130-1154（1980）·Zbl 0449.90064号 ·doi:10.1287/opre.28.5.1130
[8] Belotti，P.，使用线性不等式对的边界约简，J Glob Optim，56，3，787-819（2013）·Zbl 1272.90033号 ·doi:10.1007/s10898-012-9848-9
[9] Belotti P，Cafieri S，Lee J，Liberti L（2010）基于可行性的通过固定点收紧边界。摘自：组合优化与应用国际会议，第65-76页。柏林施普林格·Zbl 1311.90189号
[10] 比克斯比，R。；Wagner，D.，关于检测线性系统中简单冗余的注释，Oper Res Lett，6，1，15-17（1987）·Zbl 0624.90061号 ·doi:10.1016/0167-6377（87）90004-6
[11] 比克斯比，RE；Rothberg，E.，《计算混合整数编程的进展——从引爆点的另一边回顾》，Ann Oper Res，149，37-41（2007）·Zbl 1213.90011号 ·doi:10.1007/s10479-006-0091-y
[12] 比克斯比，RE；Fenelon，M。；顾，Z。；Rothberg，E。；Wunderling，R。；Grötschel，M.，混合整数规划：进展报告，最锋利的切割：Manfred Padberg及其工作的影响，MPS-SIAM系列优化，第18章，309-325（2004），费城：SIAM，费城·Zbl 1152.90542号
[13] 阿拉巴马州布雷利；密特拉·G。；Williams，HP，应用单纯形算法之前的数学规划问题分析，《数学程序》，8，54-83（1975）·Zbl 0317.90037号 ·doi:10.1007/BF01580428
[14] Chang，旧金山；McCormick，ST，使稀疏矩阵更稀疏的分层算法的实现和计算结果，ACM Trans Math Softw，19，3，419-441（1993）·Zbl 0893.65039号 ·doi:10.1145/155743.152620
[15] 克劳德，H。；约翰逊，EL；Padberg，M.，《求解大规模零one线性规划问题》，Oper Res，31，5，803-834（1983）·Zbl 0576.90065号 ·doi:10.307/170888
[16] Danna E（2008）混合整数编程中的性能可变性。In:在混合整数编程研讨会上的演示
[17] Dantzig，GB，离散变量极值问题，Oper Res，5，2，266-288（1957）·Zbl 1414.90353号 ·doi:10.1287/opre.5.2266
[18] Davis，E.，带区间标签的约束传播，Artif intel，32，3，281-331（1987）·Zbl 0642.68176号 ·doi:10.1016/0004-3702（87）90091-9
[19] Gamrath，G。；科赫，T。；马丁。；Miltenberger，M。；Weninger，D.，混合整数规划预求解进展，数学程序计算，7367-398（2015）·Zbl 1329.90089号 ·doi:10.1007/s12532-015-0083-5
[20] Gamrath G、Fischer T、Gally T、Gleixner A、Hendel G、Koch T、Maher SJ、Miltenberger M、üller BM、Pfetsch ME、Puchert C、Rehfeldt D、Schenker S、Schwarz R、Serrano F、Shinano Y、Vigerske S、Weinger D、Winkler M、Witt J.T、Witzig J（2016）SCIP优化套件3.2。技术报告15-60，ZIB，柏林
[21] Gleixner A、Eifler L、Gally T、Gamrath G、Gemander P、Gottwald R.L、Hendel G、Hojny C、Koch T、Miltenberger M、Müller B、Pfetsch ME、Puchert C、Rehfeldt D、Schlösser F、Serrano F、Shinano Y、Viernickel JM、Vigerske S、Weinger D、Witt JT、Witzig J（2017）SCIP优化套件5.0。技术报告，在线优化。http://www.optimization-online.org/DB_HTML/2017/12/6385.HTML
[22] Gleixner A、Hendel G、Gamrath G、Achterberg T、Bastubbe M、Berthold T、Christophel PM、Jarck K、Koch T、Linderath J、Lübbecke M、Mittelmann HD、Ozyurt D、Ralphs TK、Salvagnin D、Shinano Y（2019）MIPLIB 2017：第六个混合整体编程库的数据驱动编译。技术报告，在线优化。http://www.optimization-online.org/DB_HTML/2019/07/7285.HTML
[23] Gondzio，J.，应用内点法之前线性程序的预解分析，INFORMS J Compute，9，1，73-91（1997）·Zbl 0890.90143号 ·doi:10.1287/ijoc.9.1.73
[24] Guignard，M。；Spielberg，K.，《零位编程中的逻辑约简方法：最小优先变量》，Oper Res，29，1，49-74（1981）·Zbl 0452.90044号 ·doi:10.1287/操作29.1.49
[25] 霍夫曼，吉隆坡；Padberg，M.，《改进分支与切割零one线性程序的LP表示法》，ORSA J Compute，3，2，121-134（1991）·Zbl 0755.90062号 ·doi:10.1287/ijoc.3.2.121
[26] 约翰逊，EL；苏尔，UH，整数规划实验，离散应用数学，2，1，39-55（1980）·Zbl 0428.90041号 ·doi:10.1016/0166-218X（80）90053-0
[27] Knuth，DE，计算机编程艺术。《整理和搜索》（1998），红木城：艾迪森·韦斯利·朗曼出版公司，红木市
[28] Küçükyavuz S（2019）Tsccp测试集。http://faulty.washington.edu/simge/IntMixOS.zip
[29] 刘，X。；科林·卡赞，F。；Küçükyavuz，S.，关于两个混合集的交集与联合机会约束程序的应用，数学程序，175，1，29-68（2019）·Zbl 1412.90095号 ·doi:10.1007/s10107-018-1231-2
[30] Lodi，A。；Tramontani，A.，《混合集成编程中的性能可变性》，Tutor Oper Res（2013）·doi:10.1287/educ.2013.0112
[31] Maher SJ、Fischer T、Gally T、Gamrath G、Gleixner A、Gottwald RL、Hendel G、Koch T、Lübbecke ME、Miltenberger M等（2017）SCIP优化套件4.0。技术报告，ZIB，柏林
[32] 马丁。；Naddef，D。；Jünger，M.，《一般混合整数规划：分支与切割算法的计算问题》，计算组合优化，1-25（2001），柏林：施普林格出版社，柏林·兹比尔1052.90049
[33] miplib2017（2018）MIPLIB 2017，2018。http://miplib.zib.de
[34] 克萨达，I。；Grossmann，IE，多组分流双线性过程网络的全局优化，计算化学工程，19，12，1219-1242（1995）·doi:10.1016/0098-1354（94）00123-5
[35] Savelsbergh，MWP，混合整数规划问题的预处理和探测技术，ORSA J Compute，6445-454（1994）·Zbl 0814.90093号 ·doi:10.1287/ijoc.6.4.445
[36] Schewe，L。；施密特，M。；Weninger，D.，混合型供应链问题的分解启发式，Oper Res Lett（2020）·Zbl 1525.90072号 ·doi:10.1016/j.orl.2020.02.006
[37] Schrijver，A.，《线性和整数规划理论》（1986），纽约：威利出版社，纽约·Zbl 0665.90063号
[38] 谢克特曼，JP；Sahinidis，NV，可分离凹规划全局最小化的有限算法，J Glob Optim，12，1-36（1998）·Zbl 0906.90159号 ·doi:10.1023/A:1008241411395
[39] 辛哈，P。；佐特纳斯，AA，《多选背包问题》，Oper Res，27，3，503-515（1979）·兹比尔0406.90052 ·doi:10.1287/opre.27.3.503
[40] 苏尔，美国。；Szymanski，R.，混合整数模型的超节点处理，计算优化应用，3，4，317-331（1994）·Zbl 0819.90065号 ·doi:10.1007/BF01299207
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。