乔伊·休切特;胡安·巴勃罗·维尔玛 一种组合方法，用于分离约束的小公式和强公式。 （英语） Zbl 1434.90170号 数学。操作。物件。 44，第3号，793-820（2019）. 摘要：提出了一个用于构造逻辑析取约束的强混合整数规划公式的框架。这种方法是对第二作者和G.L.纳姆豪泽【数学课程128，第1-2（A）号，49-72（2011年；兹伯利1218.90137)]对于类型2（SOS2）约束的特殊有序集，给出了其表达能力的完整表征。该框架被应用于各种析取约束，为多线性项的外部近似、特殊有序集的推广、各种域上的分段线性函数以及避障约束生成了新的小而强的公式。 引用于5文件 MSC公司： 90C27型 组合优化 90立方厘米 混合整数编程 90C57型 多面体组合学，分支与绑定，分支与切割 关键词：整数规划;分段线性;多面体 引文：Zbl 1218.90137号 软件：BARON公司;APOGEE公司;SCIP公司;J工具;字母BB PDF格式BibTeX公司 XML格式引用 \textit{J.Huchette}和\textit{J.P.Vielma}，数学。操作。第44号决议，第3号，793--820（2019年；Zbl 1434.90170） 全文： 内政部 arXiv公司 参考文献： [1] [1] Achterberg T、Koch T、Martin A（2005）《重新审视分支规则》。操作。Res.Lett公司。33（1）：42-54.Crossref，谷歌学者·Zbl 1076.90037号 ·doi:10.1016/j.orl.2004.04.002 [2] [2] Achterberg T，Berthold T，Koch T，Wolter K（2008）约束整数规划：集成CP和MIP的新方法。Perron L，Trick MA，编辑。程序。第五国际。2007年CPAIOR会议（柏林施普林格），6-20.谷歌学者·Zbl 1142.68504号 ·doi:10.1007/978-3-540-68155-7_4 [3] [3] Adams WP，Henry SM（2012）《离散变量函数线性化乘积的Base-2展开式》。操作。物件。60（6）：1477-1490.Link，谷歌学者·Zbl 1287.90033号 [4] [4] Aichholzer O、Aurenhammer F、Hurtado F、Krasser H（2003）《朝向兼容三角测量》。理论。计算。科学。296（1）：3-13.Crossref，谷歌学者·Zbl 1045.68140号 ·doi:10.1016/S0304-3975（02）00428-0 [5] [5] Androulakis I，Maranas CD（1995）αBB:一般约束非凸问题的全局优化方法。J.全球优化。7（4）：337-363.Crossref，谷歌学者·Zbl 0846.90087号 ·doi:10.1007/BF01099647 [6] [6] Appleget JA，Wood RK（2000）求解混合整数程序的显式约束分支。Laguna M，González JL，编辑。用于建模、优化和仿真的计算工具：计算机科学和运筹学的接口《运筹学/计算机科学接口系列》，第12卷（荷兰多德雷赫特Kluwer），245-261.Crossref，谷歌学者·doi:10.1007/978-1-4615-4567-5_14 [7] [7] Apt KR（2003）约束编程原理（英国剑桥大学出版社）。Crossref，谷歌学者·Zbl 1187.68132号 ·doi:10.1017/CBO9780511615320 [8] [8] Balas E（1985）离散优化问题的析取规划和松弛层次。SIAM J.算法离散方法6（3）：466-486.Crossref，谷歌学者·兹比尔0592.90070 ·doi:10.1137/0606047 [9] [9] Beale EML，Tomlin JA（1970）使用有序变量集解决非凸问题的通用数学编程系统中的特殊设施。劳伦斯J编辑。程序。第五国际。确认操作。物件。（Tavistock Publications，London），447-454.谷歌学者 [10] [10] Bellingham JS（2002）使用混合整数线性规划协调和控制无人机编队。马萨诸塞州剑桥市麻省理工学院硕士论文。谷歌学者 [11] [11] Bertsimas D，Shioda R（2009）基数约束二次优化算法。计算。最佳方案。申请。43（1）：1-22.Crossref，谷歌学者·Zbl 1178.90262号 ·doi:10.1007/s10589-007-9126-9 [12] [12] Bienstock D（1996）混合整数二次规划问题族的计算研究。数学。编程74（2）：121-140.谷歌学者Crossref·Zbl 0855.90090号 ·doi:10.1007/BF02592208 [13] [13] Bixby R，Rothberg E（2007）《计算混合整数编程的进展——从引爆点的另一面回顾》。安·Oper。物件。149（1）：37-41.Crossref，谷歌学者·Zbl 1213.90011号 ·doi:10.1007/s10479-006-0091-y [14] [14] Chang TJ，Meade N，Beasley JE，Sharaiha YM（2000）《基数约束投资组合优化的启发式算法》。计算。操作。物件。27（13）：1271-1302.Crossref，谷歌学者·Zbl 1032.91074号 ·doi:10.1016/S0305-0548（99）00074-X [15] [15] Conforti M、Cornuéjols G、Zambelli G（2014）整数编程（纽约州施普林格）。Crossref，谷歌学者·Zbl 1307.90001号 ·doi:10.1007/978-3-319-11008-0 [16] [16] Cornaz D，Fonlupt J（2006），双液覆盖物的颜色特征。离散数学。306（5）：495-507.Crossref，谷歌学者·Zbl 1087.05043号 ·doi:10.1016/j.disc.2006.01.010 [17] [17] Crama Y，Hammer PL（2011年）布尔函数：理论、算法和应用（英国剑桥大学出版社）。Crossref，谷歌学者·Zbl 1237.06001号 ·doi:10.1017/CBO9780511852008 [18] [18] de Farias IR Jr.、Johnson EL、Nemhauser GL（2001）《无辅助二进制变量组合优化问题的分支与切割》。知识工程版次。16（1）:25-39.Crossref，谷歌学者·Zbl 1060.90082号 ·doi:10.1017/S0269888901000030 [19] [19] Deits R，Tedrake R（2015）《杂乱环境中无人机的高效混合集成规划》。2015 IEEE国际。Conf.机器人自动化（ICRA）（IEEE，纽约），42-49，Crossref，谷歌学者·doi:10.10109/IRCA.2015.7138978 [20] [20] Fishburn PC，Hammer PL（1996）图的二部维数和二部度。离散数学。160（1-3）：127-148.Crossref，谷歌学者·Zbl 0861.05035号 ·doi:10.1016/0012-365X（95）00154-O [21] [21]Floudas CA，Lin X（2005）《过程调度中的混合整数线性规划：建模、算法和应用》。安·Oper。物件。139（1）：131-162.Crossref，谷歌学者·邮编1091.90055 ·doi:10.1007/s10479-005-3446-x [22] [22]Foulds LR，Haugland D，Jörnsten K（1992）池问题的双线性方法。优化24（1/2）：165-180.谷歌学者Crossref·Zbl 0817.90073号 ·网址：10.1080/02331939208843786 [23] [23]Garey MR，Johnson DS（1979年）计算机和不可解性（W.H.Freeman and Company，纽约）。谷歌学者·Zbl 0411.68039号 [24] [24]Gruber H，Holzer M（2007），假设P≠NP，非确定性状态和转移复杂性的不近似性。Harju T、Karhumäki J、LepistöA编辑。语言理论的发展。DLT 2007年《计算机科学讲义》，第4588卷（纽约斯普林格），205-216.Crossref，谷歌学者·Zbl 1202.68226号 ·doi:10.1007/978-3-540-73208-221 [25] [25]胡克·JN（2002）《逻辑、优化和约束编程》。信息J.计算。14（4）：295-321.链接，谷歌学者·Zbl 1238.90002号 [26] [26]Huchette J，Vielma JP（2017）非凸分段线性函数：高级公式和简单建模工具。工作文件，麻省理工学院，剑桥。谷歌学者 [27] [27]de Farias IR Jr.，Nemhauser GL（2003）基数约束背包问题的多面体研究。数学。编程96（3）：439-467.Crossref，谷歌学者·Zbl 1023.90085号 ·doi:10.1007/s10107-003-0420-8 [28] [28]Jaffar J，Maher MJ（1994）《约束逻辑编程：综述》。J.逻辑编程20（1）：503-581.Crossref，谷歌学者·doi:10.1016/0743-1066（94）90033-7 [29] [29]Jeroslow RG，Lowe JK（1984）整数变量建模。数学程序设计研究，第22卷（柏林施普林格出版社），167-184.Crossref，谷歌学者·Zbl 0554.90081号 ·doi:10.1007/BFb0121015 [30] [30]Jünger M、Liebling T、Naddef D、Nemhauser G、Pulleyblank W、Reinelt G、Rinaldi G、Wolsey L（2010）整数规划50年1958-2008（纽约州施普林格）。Crossref，谷歌学者·Zbl 1181.90003号 ·doi:10.1007/978-3-540-68279-0 [31] [31]Keha AB，de Farias IR，Nemhauser GL（2004）分段线性成本函数表示模型。操作。Res.Lett公司。32（1）：44-48.Crossref，谷歌学者·Zbl 1056.90107号 ·doi:10.1016/S0167-6377（03）00059-2 [32] [32]Keha AB，de Farias IR，Nemhauser GL（2006）非凸分段线性优化的无二进制变量的分支切割算法。操作。物件。54（5）：847-858.链接，谷歌学者·Zbl 1167.90589号 [33] [33]Kondili E，Pantelides CC，Sargent RWH（1993）批量操作短期调度的通用算法-I。MILP配方。计算。化学工程。17（2）：211-227.Crossref，谷歌学者·doi:10.1016/0098-1354（93）80015-F [34] [34]Kuhn HW（1960）拓扑中的一些组合引理。IBM J.Res.Development公司4（5）:518-528.Crossref，谷歌学者·Zbl 0109.15603号 ·数字对象标识代码：10.1147/rd.45.0518 [35] [35]Land A，Doig A（1960）解决离散编程问题的自动方法。计量经济学28（3）：497-520.谷歌学者交叉引用·Zbl 0101.37004号 ·doi:10.2307/1910129 [36] [36]Luedtke J，Namazifar M，Linderoth J（2012）关于多线性函数松弛强度的一些结果。数学。编程136（2）：325-351.Crossref，谷歌学者·Zbl 1286.90117号 ·doi:10.1007/s10107-012-0606-z [37] [37]Martin A，Moller M，Moritz S（2006）天然气管网优化平稳情况下的混合整数模型。数学。编程105（2-3）:563-582.Crossref，谷歌学者·Zbl 1085.90035号 ·doi:10.1007/s10107-005-0665-5 [38] [38]McCormick G（1976）可分解非凸程序整体解的可计算性：第一部分-凸低估问题。数学。编程10（1）：147-175.Crossref，谷歌学者·Zbl 0349.90100号 ·doi:10.1007/BF01580665 [39] [39]Mellinger D，Kushleyev A，Kumar V（2012）异质四驱团队混合积分二次规划轨迹生成。2012 IEEE国际。Conf.机器人自动化（IEEE，纽约），477-483.Crossref，谷歌学者·doi:10.1109/ICRA.2012.6225009 [40] [40]Misener R，Floudas C（2012）通过分段线性和边凹松弛对混合整数二次约束二次规划（MIQCQP）进行全局优化。数学。编程136（1）：155-182.Crossref，谷歌学者·Zbl 1257.90079号 ·doi:10.1007/s10107-012-0555-6 [41] [41]Misener R，Thompson JP，Floudas CA（2011）APOGEE：通过线性和对数划分方案对标准、广义和扩展池问题进行全局优化。计算。化学工程。35（5）：876-892.Crossref，谷歌学者·doi:10.1016/j.compchemeng.2011.01.026 [42] [42]Muldoon FM，Adams WP，Sherali HD（2013）字典序的理想表示和整数变量的基-2展开式。操作。Res.Lett公司。41（1）:32-39.Crossref，谷歌学者·兹伯利1266.90131 ·doi:10.1016/j.orl.2012.10.005 [43] [43]Orlin J（1977）图论的内容：用团覆盖图。Indagationes Mathematicae（程序）80（5）：406-424.Crossref，谷歌学者·Zbl 0374.05041号 ·doi:10.1016/1385-7258（77）90055-5 [44] [44]奥斯特罗斯基J、林德罗斯J、罗西F、斯姆里格里奥S（2011）《轨道分支》。数学。编程126（1）：147-178.Crossref，谷歌学者·Zbl 1206.90101号 ·doi:10.1007/s10107-009-0273-x [45] [45]Prodan I，Stoican F，Olaru S，Niculescu S-I（2012）混合整数编程技术中超平面排列的增强。J.优化。理论应用。154（2）：549-572.Crossref，谷歌学者·Zbl 1256.90029号 ·doi:10.1007/s10957-012-0022-9 [46] [46]Prodan I，Stoican F，Olaru S，Niculescu S-I（2016）《控制设计中的混合集成表示：数学基础与应用》，《Springer电气与计算机工程简介》（Springer，纽约）。Crossref，谷歌学者·Zbl 1337.93001号 ·doi:10.1007/978-3-319-26995-5 [47] [47]Quesada I，Grossmann IE（1995）线性分式和双线性程序的全局优化算法。J.全球优化。6（1）:39-76.Crossref，谷歌学者·兹比尔0835.0074 ·doi:10.1007/BF01106605 [48] [48]Ryan DM，Foster BA（1981）调度的整数规划方法。Wren A编辑。公共交通计算机调度（阿姆斯特丹爱思唯尔），269-280.谷歌学者 [49] [49]Sahinidis NV（1996）BARON:通用全局优化软件包。J.全球优化。8（2）：201-205.Crossref，谷歌学者·Zbl 0856.90104号 ·doi:10.1007/BF00138693 [50] [50]Savage C（1997）组合灰色码综述。SIAM修订版。39（4）：605-629.Crossref，谷歌学者·Zbl 1049.94513号 ·doi:10.1137/S0036144595295272 [51] [51]Todd MJ（1977）《联合杰克三角测量》。Karamardian S编辑。不动点：算法和应用（阿姆斯特丹爱思唯尔），315-336.Crossref，谷歌学者·Zbl 0424.90084号 ·doi:10.1016/B978-0-12-39850-2.50021-9 [52] [52]Vielma JP（2015）混合整数线性规划公式化技术。SIAM修订版。57（1）:3-57.Crossref，谷歌学者·Zbl 1338.90277号 ·数字对象标识代码：10.1137/130915303 [53] [53]Vielma JP（2017）《多面体并集的嵌入公式和复杂性》。管理科学。64（10）:4471-4965.谷歌学者 [54] [54]Vielma JP，Nemhauser G（2011）用二进制变量和约束的对数数建模析取约束。数学。编程128（1-2）：49-72.Crossref，谷歌学者·Zbl 1218.90137号 ·doi:10.1007/s10107-009-0295-4 [55] [55]Vielma JP，Ahmed S，Nemhauser G（2008）混合整数二次规划的提升线性规划分枝定界算法。信息J.计算。20（3）：438-450.Link，谷歌学者·Zbl 1243.90170号 [56] [56]Vielma JP，Ahmed S，Nemhauser G（2010）不可分割分段线性优化的混合整数模型：统一框架和扩展。操作。物件。58（2）：303-315.谷歌学者链接·Zbl 1226.90046号 [57] [57]Vielma JP，Keha AB，Nemhauser GL（2008）非凸，下半连续分段线性优化。离散优化。5（2）:467-488.Crossref，谷歌学者·Zbl 1190.90149号 ·doi:10.1016/j.disopt.2007.07.001 [58] [58]Wicaksono DS，Karimi IA（2008）双线性规划全局优化的分段MILP低估和高估。AIChE期刊。54（4）：991-1008.Crossref，谷歌学者·doi:10.1002/aic.11425 [59] [59]Yildiz S，Vielma JP（2013）混合整数规划的增量和编码公式。操作。Res.Lett公司。41:654-658.Crossref，谷歌学者·Zbl 1287.90040号 ·doi:10.1016/j.orl.2013.09.004 [60] [60]齐格勒G（2007）多面体讲座（施普林格， 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。