×

预求解混合整数规划中的约简。 (英语) Zbl 07290858号

摘要:混合整数编程已经成为建模和解决实际规划和调度问题的一个非常强大的工具,应用程序的范围几乎是无限的。在这些混合整数程序的求解中,一个关键的组成部分是一组通常称为预解的例程。预解可以被视为一组预处理技术,这些预处理技术可以减小给定模型公式的大小,更重要的是,提高给定模型公式“强度”,即公式的约束精确描述整数可行解的潜在多面体的程度。如我们的计算结果所示,预解是影响混合整数程序求解速度的一个关键因素,并且通常是模型难解与可解之间的区别,在某些情况下很容易求解。在本文中,我们描述了Gurobi商业混合整数编程代码中的预解功能。这包括使用的不同方法的概述或分类,以及对几种技术的更详细描述,据我们所知,其中一些技术首次出现在文献中。

MSC公司:

90立方厘米11 混合整数编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Achterberg T(2007a)混合整数规划中的冲突分析。离散优化。4(1):4-20.谷歌学者交叉引用·Zbl 1169.90414号 ·doi:10.1016/j.disopt.2006.10.006
[2] Achterberg T(2007b)约束整数规划。德国柏林技术大学博士论文。谷歌学者·Zbl 1430.90427号
[3] Achterberg T(2009)SCIP:求解约束整数程序。数学。编程计算。1(1):1-41.Crossref,谷歌学者·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1
[4] Achterberg T,Berthold T(2009)《杂交分支》。van Hoeve WJ,Hooker J,第6版国际出版社。Conf.,CPAIOR 2009(纽约斯普林格),309-311.谷歌学者
[5] Achterberg T、Bixby RE、Gu Z、Rothberg E、Weninger D(2014)混合整数规划中的多轮预解约简。Matsiu T、Yagiura M、Nonob K编辑。第26届RAMP交响乐团。(东京河西大学),181-196年,谷歌学者
[6] Achterberg T,Wunderling R(2013)混合整数规划:分析12年的进展。Jünger M,Reinellt G编辑。组合优化的方面(柏林施普林格),449-481.Crossref,谷歌学者·Zbl 1317.90206号 ·doi:10.1007/978-3-642-38189-8_18
[7] Andersen ED,Andersen KD(1995)线性规划预解。数学。编程71(2):221-245.Crossref,谷歌学者·Zbl 0846.90068号 ·doi:10.1007/BF01586000
[8] Atamtürk A,Nemhauser GL,Savelsbergh MWP(2000)解决整数规划问题中的冲突图。《欧洲期刊》。物件。121(1):40-55.Crossref,谷歌学者·Zbl 0959.90034号 ·doi:10.1016/S0377-2217(99)00015-6
[9] Atamtürk A,Savelsbergh MWP(2005)整数编程软件系统。安·Oper。物件。140:67-124.Crossref,谷歌学者·Zbl 1091.90046号 ·doi:10.1007/s10479-005-3968-2
[10] Balas E,Zemel E(1980)大型零一背包问题的算法。操作。物件。28(5):1130-1154.Link,谷歌学者·Zbl 0449.90064号
[11] Beale EML,Tomlin JA(1970)使用有序变量集解决非凸问题的通用数学规划系统中的特殊设施。劳伦斯J编辑。程序。第五国际。运营研究会议(塔维斯托克,伦敦),447-454.谷歌学者
[12] Bixby RE、Fenelon M、Gu Z、Rothberg E、Wunderling R(2004)《混合集成编程:进展报告》。Grötschel M编辑。最尖锐的切割:曼弗雷德·帕德伯格及其作品的影响,第18章(费城SIAM),309-325.Crossref,谷歌学者·Zbl 1152.90542号 ·网址:10.1137/1.9780898718805.ch18
[13] Bixby RE,Rothberg E(2007)《计算混合整数编程的进展——从引爆点的另一面回顾》。安·Oper。物件。149(1):37-41.Crossref,谷歌学者·Zbl 1213.90011号 ·doi:10.1007/s10479-006-0091-y
[14] Brearley AL、Mitra G、Williams HP(1975)应用单纯形算法之前的数学规划问题分析。数学。编程8(1):54-83.Crossref,谷歌学者·Zbl 0317.90037号 ·doi:10.1007/BF01580428
[15] Chang SF,McCormick ST(1993)使稀疏矩阵更稀疏的分层算法的实现和计算结果。ACM事务处理。数学。软件19(3):419-441.Crosref,谷歌学者·Zbl 0893.65039号 ·doi:10.1145/155743.152620
[16] Chvátal V(1973)Edmonds多边形和组合问题的层次结构。离散数学。4(4):305-337.Crossref,谷歌学者·Zbl 0253.05131号 ·doi:10.1016/0012-365X(73)90167-2
[17] Crowder H,Johnson EL,Padberg M(1983)求解大规模零线性规划问题。操作。物件。31(5):803-834.链接,谷歌学者·Zbl 0576.90065号
[18] Danna E、Rothberg E、Le Pape C(2005)《探索松弛诱导邻里以改进MIP解决方案》。数学。编程102(1):71-90.谷歌学者Crossref·Zbl 1131.90036号 ·doi:10.1007/s10107-004-0518-7
[19] Dantzig GB(1957)离散变量极值问题。操作。物件。5(2):266-277.Link,谷歌学者·兹比尔1414.90353
[20] Darga PT,Liffiton MH,Sakalah KA,Markov IL(2004)利用结构进行cnf对称检测。Malik S、Fix L、Kahng AB编辑。程序。第41届年度设计自动化大会。(ACM,纽约),530-534.Crossref,谷歌学者·doi:10.1145/996566.996712
[21] Darga PT,Sakallah KA,Markov IL(2008)使用对称稀疏性更快地发现对称。Fix L,编辑。程序。第45届年度设计自动化大会。(ACM,纽约),149-154.Crossref,谷歌学者·数字对象标识代码:10.1145/1391469.1391509
[22] Fügenschuh A,Martin A(2005)计算整数规划和切割平面。Aardal K、Nemhauser GL、Weismantel R编辑。离散优化第2卷(Elsevier,阿姆斯特丹),69-122.Crossref,谷歌学者·Zbl 1278.90269号 ·doi:10.1016/S0927-0507(05)12002-7
[23] Gamrath G,Koch T,Martin A,Miltenberger M,Weninger D(2015)混合整数规划预解的进展。数学。编程计算。7(4):367-398.Crossref,谷歌学者·Zbl 1329.90089号 ·doi:10.1007/s12532-015-0083-5
[24] Guignard M,Spielberg K(1981),零对编程中的逻辑约简方法:最小优先变量。操作。物件。29(1):49-74.链接,谷歌学者·Zbl 0452.90044号
[25] Hoffman KL,Padberg M(1991)改进支路与支路零线性规划的LP表示。ORSA J.计算。3(2):121-134.链接,谷歌学者·Zbl 0755.90062号
[26] Johnson EL,Padberg MW(1982)二阶不等式、集团面和双完全图。离散数学。16:169-187.谷歌学者·Zbl 0523.52009号
[27] Johnson EL,Suhl UH(1980)整数规划实验。离散应用程序。数学。2(1):39-55.Crossref,谷歌学者·Zbl 0428.90041号 ·doi:10.1016/0166-218X(80)90053-0
[28] Margot F(2003)利用对称ILP中的轨道。数学。编程98(1-3):3-21.Crossref,谷歌学者·Zbl 1082.90070 ·doi:10.1007/s10107-003-0394-6
[29] Margot F(2010)整数线性规划中的对称性。Jünger M、Liebling M、Naddef D、Nemhauser GL、Pulleyblank WR、Reinellt G、Rinaldi G、Wolsey LA编辑。整数规划50年1958-2008(纽约州施普林格市),647-686,Crossref,谷歌学者·Zbl 1187.90200号 ·doi:10.1007/978-3-540-68279-0_17
[30] Markowitz HM(1957)逆的消除形式及其在线性规划中的应用。管理科学。3(3):255-269.链接,谷歌学者·Zbl 0995.90592号
[31] Miranian L,Gu M(2003)揭示LU因子分解的强秩。线性代数应用。367(0):1-16.Crossref,谷歌学者·Zbl 1020.65016号 ·doi:10.1016/S0024-3795(02)00572-4
[32] Moskewicz MW、Madigan CF、Zhao Y、Zhang L、Malik S(2001)Chaff:设计高效SAT求解器。Rabaey J编辑。第38届年度设计自动化大会(ACM,纽约),530-535.Crossref,谷歌学者·数字对象标识代码:10.1145/378239.379017
[33] Ostrowski J(2009)混合整数规划中的对称性。宾夕法尼亚州伯利恒利海大学博士论文。谷歌学者
[34] Pfetsch ME,Rehn T(2018)混合整数程序对称处理方法的计算比较。数学。编程计算.11(1):37-93.Crossref,谷歌学者·Zbl 1411.90233号 ·doi:10.1007/s12532-018-0140-y
[35] Savelsbergh MWP(1994)混合整数规划问题的预处理和探测技术。ORSA J.计算。6(4):445-454.链接,谷歌学者·Zbl 0814.90093号
[36] Shectman JP,Sahinidis NV(1998)可分离凹规划全局最小化的有限算法。J.全球优化。12(1):1-36.Crossref,谷歌学者·Zbl 0906.90159号 ·doi:10.1023/A:1008241411395
[37] Suhl U,Szymanski R(1994)混合整数模型的超节点处理。计算。最佳方案。申请。3(4):317-331.Crossref,谷歌学者·Zbl 0819.90065号 ·doi:10.1007/BF01299207
[38] Tomlin JA(1972)线性规划反演路线中的尺寸和稀疏性旋转。IMA J.应用。数学。10(3):289-295.交叉参考·Zbl 0249.90039号 ·doi:10.1093/imamat/10.3.289
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。