×
Jara-Moroni，弗朗西斯科；Mitchell，John E。；彭钟石；安德烈亚斯·瓦赫特

具有互补约束的线性规划的一种改进的逻辑弯曲方法。 （英语） Zbl 1447.90040号

J.全球。最佳方案。 77，第4期，687-714（2020）。
摘要：这项工作扩展了逻辑Benders方法，用于求解具有互补约束的线性规划J.Hu（胡锦涛）等[SIAM J.Optim.19，No.1，445-471（2008；Zbl 1163.90031号)]和L.Bai（白）等【计算优化应用54，No.3，517–554（2013；Zbl 1295.90035号)]. 我们将逻辑Benders方法发展为一种新的解释，即反向分枝定界搜索，其中整个搜索过程从枚举树中的叶节点开始。这种洞察力使我们能够提供一个新的框架，在这个框架上，我们可以将主问题和切割生成合并到单个过程中。它还允许我们多样化搜索，在计算上导致更大的削减。我们还提出了一种基于优化的稀疏化过程，使切割生成更加高效。数值结果表明了该方法的有效性。结果还扩展到具有更多互补约束的问题，超过了引用文献中原始方法可以处理的那些问题。

MSC公司：

90C26型 非凸规划，全局优化
90立方厘米 互补、平衡问题和变分不等式（有限维）（数学规划方面）
90C57型 多面体组合学，分支与绑定，分支与切割

关键词：

互补约束；逻辑折弯机；分叉装订；切割生成

引文：

Zbl 1163.90031号；Zbl 1295.90035号

软件：

LPC银行；MacMPEC公司；古罗比；CPLEX公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Jara-Moroni}等人，J.Glob。最佳方案。77，第4号，687--714（2020；Zbl 1447.90040）
全文： 内政部

参考文献：

[1] Achterberg，T.：约束整数编程。柏林科技大学博士论文（2007年）·Zbl 1430.90427号
[2] 阿尔瓦雷斯，AM；卢沃，Q。；Wehenkel，L.，基于机器学习的强分支近似，INFORMS J.Compute。，29, 1, 185-195 (2017) ·Zbl 1364.90224号 ·doi:10.1287/ijoc.2016.0723
[3] Bai，L。；JE米切尔；Pang，JS，关于线性互补约束的凸二次规划，计算。最佳方案。申请。，54, 3, 517-554 (2013) ·Zbl 1295.90035号 ·doi:10.1007/s10589-012-9497-4
[4] 巴德，JF；Moore，JT，二层规划问题的分枝定界算法，SIAM J.Sci。统计计算。，11, 2, 281-292 (1990) ·Zbl 0702.65060号 ·doi:10.1137/0911017
[5] 贝洛蒂，P。；Bonami，P。；菲舍蒂，M。；Lodi，A。；莫纳西，M。；Nogales-Gomez，A。；Salvagnin，D.，关于混合整数规划中指标约束的处理，计算。最佳方案。申请。，65, 3, 545-566 (2016) ·Zbl 1357.90094号 ·doi:10.1007/s10589-016-9847-8
[6] Bonami，P。；Lodi，A。；特拉蒙塔尼，A。；Wiese，S.，《关于带指标约束的数学规划》，《数学》。程序。，151, 191-223 (2015) ·兹伯利1328.90086 ·doi:10.1007/s10107-015-0891-4
[7] 布尔达科夫，安大略省；坎佐，C。；Schwartz，A.，《具有基数约束的数学程序：用互补型条件和正则化方法重新公式化》，SIAM J.Optim。，26, 1, 397-425 (2016) ·兹比尔1332.90220 ·数字对象标识代码：10.1137/140978077
[8] 坎迪斯，EJ；Wakin，MB；Boyd，SP，通过重加权最小化增强稀疏性，J.Fourier Ana。申请。，14, 5-6, 877-905 (2008) ·Zbl 1176.94014号
[9] 冯，M。；JE米切尔；庞，JS；沈，X。；Wächter，A.，（ell_0）范数优化问题的互补公式，太平洋。J.Optim。，14, 2, 273-305 (2018) ·Zbl 1474.90476号
[10] Fischer，T。；Pfetsch，ME，具有重叠SOS1约束的线性程序的分支与切割，数学。程序。计算。，10, 1, 33-68 (2018) ·Zbl 1402.90095号 ·doi:10.1007/s12532-017-0122-5
[11] 菲舍蒂，M。；Monaci，M.，后门分支，INFORMS J.Compute。，25, 4, 693-700 (2013) ·doi:10.1287/ijoc.1120.0531
[12] 菲舍蒂，M。；Monaci，M.，《在搜索中利用反复无常》，Oper。决议，62，1，114-122（2014）·Zbl 1291.90148号 ·doi:10.1287/opre.2013.1231
[13] 弗莱彻，R。；Leyffer，S.，将具有互补约束的数学规划作为非线性规划求解，Optim。方法软件。，19, 1, 15-40 (2004) ·Zbl 1074.90044号 ·doi:10.1080/155678410001654241
[14] Gomes，C.P.，Kautz，H.，Sabharwal，A.，Selman，B.：可满足性求解器。摘自：van Harmelen，F.，Lifschitz，V.，Porter，B.（编辑）《知识表示手册》，爱思唯尔出版社，第89-134页（2008）·兹比尔1183.68611
[15] Gomes，C.P.，Selman，B.，Kautz，H.A.：通过随机化推进组合搜索。收录于：《1998年AAAI/IAAI会议录》，在线。AAAI（1998年）
[16] 古罗比优化公司：古罗比优化器参考手册，2015年。网址：http://www.gurobi。com（2014）
[17] 胡克，JN；Ottosson，G.，基于逻辑的Benders分解，数学。程序。，96, 1, 33-60 (2003) ·Zbl 1023.90082号 ·doi:10.1007/s10107-003-0375-9
[18] 胡，J。；JE米切尔；Pang，JS，非凸二次规划的LPCC方法，数学。程序。，133, 1-2, 243-277 (2012) ·Zbl 1244.90177号 ·doi:10.1007/s10107-010-0426-y
[19] 胡，J。；JE米切尔；庞，JS；贝内特，KP；Kunapuli，G.，关于线性互补约束线性规划的全局解，SIAM J.Optim。，19, 1, 445-471 (2008) ·Zbl 1163.90031号 ·数字对象标识码：10.1137/07068463x
[20] 胡，J。；JE米切尔；庞，JS；Yu，B.，关于线性互补约束的线性规划，J.Glob。最佳。，53, 1, 29-51 (2012) ·Zbl 1254.90111号 ·doi:10.1007/s10898-010-9644-3
[21] 黄，J.：重新启动对小句学习效率的影响。收录于：IJCAI-07会议记录，第2318-2323页（2007年）
[22] Ibaraki，T.，补充编程，Oper。第19、6、1523-1529号决议（1971年）·Zbl 0228.90045号 ·数字对象标识代码：10.1287/opre.19.6.1523
[23] Ibaraki，T.，《削减在补充编程中的应用》，Oper。研究，21，1，353-359（1973）·Zbl 0274.90025号 ·数字对象标识代码：10.1287/opre.21.1353
[24] IBM ILOG:Cplex。第12.2册用户手册（2010）
[25] Jeroslow，RG，互补约束的切割方案，SIAM J.控制优化。，16，1，56-62（1978年）·Zbl 0395.90076号 ·doi:10.1137/0316005
[26] Jeroslow，RG，竞争分析的多项式层次结构和简单模型，数学。程序。，32, 2, 146-164 (1985) ·Zbl 0588.90053号 ·doi:10.1007/BF01586088
[27] 卡赞，FK；德国劳埃德船级社Nemhauser；Savelsbergh，MW，二进制线性混合整数问题的基于信息的分支方案，数学。程序。计算。，1, 4, 249-293 (2009) ·Zbl 1184.90114号 ·doi:10.1007/s12532-009-0009-1
[28] Leyffer，S。；López-Calva，G。；Nocedal，J.，《具有互补约束的数学程序的内部方法》，SIAM J.Optim。，17, 1, 52-77 (2006) ·Zbl 1112.90095号 ·doi:10.1137/040621065
[29] Lodi，A。；Zarpellon，G.，《关于学习和分支：一项调查》，TOP，25，2，207-236（2017）·Zbl 1372.90003号 ·doi:10.1007/s11750-017-0451-6
[30] 罗，ZQ；庞，JS；Ralph，D.，《平衡约束的数学程序》（1996），剑桥：剑桥大学出版社，剑桥
[31] Williams，R.、Gomes，C.P.、Selman，B.：典型案例复杂性的后门。收录于：《国际JCAI-2003年会议录》，第1173-1178页（2003）
[32] Yu，B.：具有线性互补约束的线性规划的分支与切割方法。美国纽约州特洛伊伦斯勒理工学院数学科学系博士论文，邮编：12180（2011）
[33] Yu，B。；JE米切尔；Pang，JS，《使用分支和切割求解具有互补约束的线性规划》，数学。程序。计算。(2018) ·Zbl 1434.90160号 ·数字对象标识代码：10.1007/s12532-018-0149-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。