阿尔珀·阿塔姆蒂尔克;Martin W.P.Savelsbergh。 整数编程软件系统。 （英语） Zbl 1091.90046号 安·Oper。物件。 140, 67-124 (2005). 摘要：集成编程软件系统的最新发展极大地提高了我们解决大规模实例的能力。我们回顾了最先进的解算器的主要算法组件，并讨论了当默认设置没有达到所需的性能水平时，用户可以使用哪些选项来调整这些解算器。此外，我们重点介绍了集成建模和解决方案环境方面的进展。最后，我们讨论了对集成编程软件系统构成挑战的模型特征和子结构，并展望了我们在不久的将来可能在这些系统中看到的功能。 引用于1审查引用于27文件 理学硕士： 90立方厘米 整数编程 90-04 与运筹学和数学编程有关的问题的软件、源代码等 关键词：整数规划;代数建模语言;软件 软件：MIPLIB公司;MIPLIB2003公司;FEASPUMP公司;莫塞尔;优化软件基准;CPLEX公司;林多 PDF格式BibTeX公司 XML格式引用 \textit{A.Atamtürk}和\textit{M.W.P.Savelsbergh}，Ann.Oper。第140、67-124号决议（2005年；Zbl 1091.90046） 全文： 内政部 参考文献： [1] Aardal，K.、C.A.J.Hurkens和A.K.Lenstra。(2000). ”求解变量具有上下限的线性丢番图方程组。”运筹学数学25（3），427–442·Zbl 1073.90528号 ·doi:10.1287/门25.3.427.12219 [2] Aardal，K.和A.Lenstra。(2002). ”硬等式约束整数背包。”在W.Cook和A.Schultz（编辑），Proc。第九届IPCO国际会议Springer-Verlag，第350–366页·Zbl 1049.90042号 [3] E.D.安德森和K.D.安德森。(1995). ”线性规划中的预求解。”数学编程71、221–225。 [4] Atamtürk，A.（2003a）。”关于混合整数背包多面体的面。”数学编程98，145–175·Zbl 1082.90073 ·doi:10.1007/s10107-003-0400-z [5] 阿塔姆图尔克，A.（2003年b）。”鲁棒混合0-1规划的强公式。”研究报告BCOL.03.04。可在http://ieor.berkeley.edu/\（\sim\）atamturk（出现在数学编程中）·Zbl 1082.90073 [6] Atamtürk，A.和M.Zhang。(2004). ”两阶段鲁棒网络流和需求不确定性设计”研究报告BCOL.04.03。可在http://ieor.berkeley.edu/\（\sim\）atamturk·Zbl 1167.90409号 [7] Balas，E.（1975年）。”背包式聚落的面。”数学编程8146-164·Zbl 0316.90046号 ·doi:10.1007/BF01580440 [8] 巴拉斯、E.、S.Ceria、G.Cornuéjols和N.Natraj。(1996). ”Gomory剪辑重温。”运营研究快报19，1-9·Zbl 0865.90098号 ·doi:10.1016/0167-6377（96）00007-7 [9] 巴拉斯、E.和E.泽梅尔。(1978). ”最小覆盖的背包多边形的面。”SIAM应用数学杂志34、119–148·Zbl 0385.90083号 ·数字对象标识代码：10.1137/0134010 [10] I.Barany、T.J.Van Roy和L.A.Wolsey。(1984). ”无容量批量调整：解决方案的凸壳。”数学规划研究22、32–43·Zbl 0551.90068号 [11] Beale，E.M.L.（1979）。”数学规划系统的分枝定界方法。”P.L.Hammer、E.L.Johnson和B.H.Korte（编辑），《离散优化II》，北荷兰出版公司，第201–219页·Zbl 0405.90049号 [12] Bénichou，M.、J.M.Gauthier、P.Girodet、G.Hentges、G.Ribière和O.Vincent。(1971). ”混合整数线性规划实验”数学编程1，76–94·兹比尔0233.90016 ·doi:10.1007/BF01584074文件 [13] Bertsimas，D.和M.Sim。(2003). ”稳健的离散优化和网络流。”数学编程98，49–71·Zbl 1082.90067号 ·文件编号：10.1007/s10107-003-0396-4 [14] Bienstock，D.（1996）。”一类混合整数二次规划问题的计算研究”数学编程74、121–140·Zbl 0855.90090号 [15] Birge，J.R.和F.Louveaux。(1997). 随机规划导论。纽约：Springer Verlag·Zbl 0892.90142号 [16] Bixby、R.E.、M.Fenelon、Z.Gu、E.Rothberg和R.Wunderling。(2002). 混合整数编程：进度报告·Zbl 1152.90542号 [17] Codato，G.和M.Fischetti。(2004). ”组合折弯机切割。”在D.Bienstock和G.L.Nemhauser（编辑），Proc。第十届IPCO国际会议Springer-Verlag；第178-195页·Zbl 1092.90529号 [18] Cornuejols，G.和M.Dawande。(1998). ”一类硬小型0-1程序。”R.E.Bixby、E.A.Boyd和R.Z.Rios-Mercado（编辑），Proc。第六届国际化学品安全方案会议，施普林格出版社，第284–293页·Zbl 0910.90220号 [19] 克劳德、H.、E.L.约翰逊和M.W.帕德伯格（1983）。”解决大规模零一线性规划问题。”运筹学31803–834·Zbl 0576.90065号 ·doi:10.1287/操作31.5.803 [20] Danna，E.、E.Rothberg和C.L.Pape。(2003). ”探索放松引发的社区，以改进MIP解决方案。”技术报告，ILOG公司·Zbl 1131.90036号 [21] Dash Optimization，L.（2004年a）。宝洁公司案例研究。 [22] Dash Optimization，L.（2004b）。XPRESS-BCL参考手册–2.6版。 [23] Dash Optimization，L.（2004年c）。XPRESS-Mosel语言参考手册–1.4版。 [24] Dash Optimization，L.（2004年d）。XPRESS-Optimizer参考手册–版本15。 [25] Farias、I.R.D.、E.L.Johnson和G.L.Nemhauser。(2001). ”无辅助二进制变量组合优化问题的分支与切割。”知识工程评论16，25–39·Zbl 1060.90082号 [26] Farias、I.R.D.、E.L.Johnson和G.L.Nemhauser。(2003). ”基数约束背包问题的多面体研究”数学编程96，439–467·Zbl 1023.90085号 ·doi:10.1007/s10107-003-0420-8 [27] Fischetti，M.和A.Lodi。(2003). ”当地分支机构。”数学编程98，23–47·Zbl 1060.90056号 ·doi:10.1007/s10107-003-0395-5 [28] Fischetti，M.、F.Glover和A.Lodi。(2005). ’可行性研究泵。”数学编程104，91–104·Zbl 1077.90039号 ·doi:10.1007/s10107-004-0570-3 [29] Forrest、J.J.H.、J.P.H.Hirst和J.A.Tomlin。(1974). ”用UMPIRE解决大规模混合整数规划问题。”管理科学20736–773·Zbl 0304.90079号 ·doi:10.1287/mnsc.205.736 [30] Gomory，R.E.（1960年）。”混合整数问题的算法。”技术报告RM-2597，兰德公司·兹伯利0095.14502 [31] Gondzio，J.（1997年）。”在应用内点法之前对线性程序进行预解分析。”信息计算杂志9，73–91·Zbl 0890.90143号 ·doi:10.1287/ijoc.9.1.73 [32] Gu，Z.、G.L.Nemhauser和M.W.P.Savelsbergh（1998）。”0-1整数程序的提升覆盖不等式：计算。”信息计算杂志10，427–437·doi:10.1287/ijoc.10.4.427 [33] Gu，Z.、G.L.Nemhauser和M.W.P.Savelsbergh（1999）。”混合0-1整数程序的提升流覆盖不等式。”数学编程85，439–467·Zbl 0977.90030号 ·doi:10.1007/s101070050067 [34] Guignard，M.和K.Spielberg（1981年）。”零一编程中的逻辑约简方法”运筹学29、49–74·Zbl 0452.90044号 ·doi:10.1287/opre.29.1.49 [35] Hammer、P.L.、E.L.Johnson和联合国Peled。(1975). ”规则0-1多面体的面。”数学编程8179-206·兹伯利0314.90064 ·doi:10.1007/BF01580442 [36] Harjunkoski，I.、V.Jain和I.E.Grossman。(2000). ”用于解决调度和组合优化问题的混合整数/约束逻辑编程策略。”计算机与化学工程24、337–343·doi:10.1016/S0098-1354（00）00470-1 [37] Hirst，J.P.H.（1969年）。”（0-1）混合整数线性规划分支定界算法所需的特性”私下传阅的手稿。 [38] 胡克、J.N.、G.奥托森、E.S.桑斯坦森和H.-J.金。(2000). ”统一优化和约束满足方法的方案。”知识工程评论15，11-30·doi:10.1017/S026988890001077 [39] 伊洛格，I.（2002）。ILOG OPL用户手册。 [40] ILOG，I.（2003）。ILOG CPLEX 9.0参考手册。 [41] Jain，V.和I.E.Grossmann。(2001). ”混合MILP/CP方法的算法”信息计算杂志13，258–276·兹伯利1238.90106 ·doi:10.1287/ijoc.131.4.258.9733 [42] Land，A.和S.Powell。(1979). ”整数规划问题的计算机代码。”P.L.Hammer、E.L.Johnson和B.H.Korte（编辑），离散优化II North Holland Publishing Co，第221-269页·Zbl 0428.90048号 [43] LINDO Systems，I.（2002）。LINDO API用户手册。 [44] 路易斯安那州卢沃和洛杉矶沃尔西。(2002). ”结合问题结构和基约简求解一类硬整数规划。”27, 470–484. ·Zbl 1082.90551号 [45] H.Marchand和L.A.Wolsey。(2001). ”聚合和混合整数舍入以求解MIP。”运筹学49，363–371·Zbl 1163.90671号 ·doi:10.1287/操作49.3.363.11211 [46] Margot，F.（2003）。”利用对称Ilp中的轨道。”数学编程98，3–21·Zbl 1082.90070 ·doi:10.1007/s10107-003-0394-6 [47] Martin，A.、T.Achterberg和T.Koch。(2003). MIPLIB 2003年。http://miplib.zib.de/。 [48] Mitra，G.（1973）。”混合整数线性规划解的一些分枝定界策略的研究”数学编程4，155–170·Zbl 0258.90034号 ·doi:10.1007/BF01584658 [49] Mittelman，H.（2002）。”优化软件基准。”http://plato.asu.edu/bench.html。 [50] Nemhauser、G.L.和L.A.Wolsey。（1988年）。整数和组合优化。纽约：John Wiley&Sons·Zbl 0652.90067号 [51] Nemhauser、G.L.和L.A.Wolsey。(1990). ”为0-1混合整数程序生成所有切割的递归过程。”数学编程46，379–390·Zbl 0735.90049号 ·doi:10.1007/BF01585752 [52] Owen，J.H.和S.Mehrotra。(2002). ”关于一般混合整数线性程序的二进制展开的值。”运筹学50（5），810-819·Zbl 1163.90673号 ·doi:10.1287/opre.50.5810.370 [53] Padberg，M.W.（1973）。”关于集合填充多面体的面结构。”数学编程5199-215·Zbl 0272.90041号 ·doi:10.1007/BF01580121 [54] Padberg，M.W.（1979年）。”覆盖、包装和背包问题。”离散数学年鉴4265-287·Zbl 0407.90056号 ·doi:10.1016/S0167-5060（08）70831-8 [55] Padberg、M.W.、T.J.V.Roy和L.A.Wolsey。(1985). ”固定电荷问题的有效线性不等式。”运筹学33，842–861·Zbl 0579.90072号 ·doi:10.1287/opre.33.4.842 [56] Savelsbergh，M.W.P.（1994）。”混合整数规划问题的预处理和探测技术”ORSA计算机杂志6，445–454·Zbl 0814.90093号 [57] H.D.Sherali和J.C.Smith。(2001). ”通过对称性考虑改进离散模型表示。”管理科学47、1396–1407·Zbl 1232.90309号 ·doi:10.1287/mnsc.47.10396.10265 [58] van der Vlerk，M.H.（1996-2003）。”随机整数规划参考文献。”http://mally.eco.rug.nl/biblio/stoprog.html。 ·Zbl 0909.90222号 [59] Van Roy，T.J.和L.A.Wolsey。(1987). ”使用自动重整解决混合整数规划问题。”运筹学35、45–57·Zbl 0614.90082号 ·doi:10.1287/opre.35.145 [60] 洛杉矶沃尔西（1998）。整数编程。纽约：John Wiley&Sons·兹比尔0930.90072 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。