×
尼科尔·古斯梅罗利;安吉丽卡·威格尔

EXPEDIS公司：离散集上的精确惩罚方法。 （英语） Zbl 1510.90200

离散优化。 44，第2部分，文章ID 100622，第19页（2022）.
摘要：我们解决了二元变量上受线性约束的二次函数的最小化问题。我们引入精确解方法，称为EXPEDIS公司其中，将约束问题转化为最大割实例，然后可以使用可用于最大割的整个机器来解决转化后的问题。我们推导这一理论是为了找到一种精确惩罚方法精神的转变；然而，我们只对二进制变量集的精确性感兴趣。为了计算最大切割，我们使用解算器BiqMac。数值结果表明，该算法可以成功地应用于各类问题。

引用于2文件

MSC公司：

90C20个 二次规划
90C22型 半定规划
90C27型 组合优化
90C57型 多面体组合学，分支与绑定，分支与切割

关键词：

半定规划;组合优化;二次规划;分叉装订;精确惩罚法

软件：

SCIP公司;古罗比;Biq Mac;CPLEX公司;BiqCrunch公司;MIQCR-CB公司
PDF格式BibTeX公司 XML格式引用
\textit{N.Gusmeroli}和\textit{A.Wiegele}，离散优化。44，第2部分，文章ID 100622，19 p.（2022；Zbl 1510.90200）
全文： 内政部 arXiv公司

参考文献：

[1] 迈克尔·R·加里。；Johnson，David S.，《计算机与难处理性》，x+338（1979），W.H.Freeman and Co.，加州旧金山，NP-完备性理论指南，数学科学丛书，519066（80g:68056）·Zbl 0411.68039号
[2] 乔治·L·纳姆豪泽。；Wolsey，Laurence A.，（整数和组合优化，整数和组合最优化，Wiley-Interscience Series in Discrete Mathematics and optimization（1988），John Wiley&Sons，Inc.：John Willey&Sons公司，纽约），xvi+763，A Wiley-Interscience出版物·Zbl 0652.90067号
[3] Wagler，Annegret K.，《组合优化：图论、线性和整数规划在网络流上的相互作用》，（《工程和生命科学中的大尺度网络》，《工程和生物科学中的大规模网络》，模型.模拟科学与工程技术（2014），斯普林格，海德堡），225-262·Zbl 1314.90071号
[4] 热那瓦，克拉西米拉；Guliashki，Vassil，《线性整数规划方法和方法——一项调查》，Cybern。技术信息。，11, 1, 3-25 (2011)
[5] 加里·科钦伯格（Gary Kochenberger）；郝金高；弗雷德·格洛弗（Fred Glover）；马克·刘易斯；吕志鹏；王海波；Wang，Yang，《无约束二元二次规划问题：一项调查》，J.Comb。最佳。，28, 1, 58-81 (2014) ·Zbl 1303.90066号
[6] 哈尼夫·谢拉利（Hanif D.Sherali）。；Adams，Warren P.，零一规划问题的连续和凸包表示之间的松弛层次，SIAM J.离散数学。，3411-430（1990年）·Zbl 0712.90050号
[7] 斯瓦托普鲁克波尔贾克；弗兰兹·伦德尔；Wolkowicz，Henry，（0,1）-二次规划的半定松弛公式，J.Global Optim。，7, 1, 51-73 (1995) ·Zbl 0843.90088号
[8] 塞缪尔·伯尔；Vandenbussche，Dieter，通过半定松弛求解非凸二次规划的有限分枝定界算法，数学。程序。，113, 2, 259-282 (2008) ·Zbl 1135.90034号
[9] 巴赫海姆，克里斯托夫；Wiegele，Angelika，非凸二次混合整数规划的半定松弛，数学。程序。，141，1-2，序列号。A、 435-452（2013）·Zbl 1280.90091号
[10] Jean B.Lasserre，《0/1程序的MAX-CUT公式》，Oper。Res.Lett.公司。，44, 2, 158-164 (2016) ·Zbl 1408.90222号
[11] 弗兰兹·伦德尔；乔瓦尼·里纳尔迪；Wiegele，Angelika，通过交叉半定和多面体松弛解最大割到最优性，数学。程序。，121，2（A），307-335（2010）·Zbl 1184.90118号
[12] 米歇尔·戈曼斯。；Williamson，David P.，使用半定规划求解最大割和可满足性问题的改进近似算法，J.ACM，42，6，1115-1145（1995），http://doi.acm.org/10.1145/227683.2276884 ·Zbl 0885.68088号
[13] Naum Z.Shor，二次优化问题，Sov。J.计算。系统。科学。，25, 6, 1-11 (1987) ·Zbl 0655.90055号
[14] 半定、二次曲线和多项式优化手册。，（Anjos，Miguel F.；Lasserre，Jean B.，Int.Ser.Oper.Res.Manag.Sci.第166卷（2012），Springer:Springer New York，NY），xi+960，（英语）·Zbl 1235.90002号
[15] 亨利·沃尔科维奇（Henry Wolkowicz）；罗梅什·塞加尔；Vandenberghe，Lieven，半定规划手册。理论、算法和应用。，国际序号。操作。资源管理。科学。，27，xxvi+654（2000）·兹比尔0962.90001
[16] 莫妮克·洛朗；Poljak，Svatopluk，切多面体的Gap不等式，Eur.J.Comb。，17，2-3233-254（1996年）·Zbl 0849.52010
[17] 伊尔塞·菲舍尔（Ilse Fischer）；Gerald Gruber；弗兰兹·伦德尔；Sotirov，Renata，关于Max-Cut和均分半定切割平面松弛的束方法的计算经验，数学。程序。，105, 2, 451-469 (2006) ·Zbl 1085.90044号
[18] Samuel Burer，《优化完全正程序的多面体半定松弛》，数学。程序。计算。，2, 1, 1-19 (2010) ·Zbl 1190.90135号
[19] Gusmeroli，Nicoló，随机生成的实例（2019）
[20] Lambert，Amélie，Max（k）-集群基准实例（2018），（访问时间：2018年2月27日）
[21] 里卡多·M·利马。；Grossmann，Ignacio E.，CBQP基准实例（2017年），（访问时间：2019年12月12日）
[22] 里卡多·M·利马。；Grossmann，Ignacio E.，《非凸基数布尔二次规划问题的求解：计算研究》。，计算。最佳方案。申请。，66, 1, 1-37 (2017) ·Zbl 1371.90088号
[23] 内森·克里斯洛克（Nathan Krislock）；杰罗姆·马利克；Roupin，Frédéric，BiqCrunch：求解二元二次型问题的半定分枝定界方法。，ACM事务处理。数学。柔软。，43, 4, 23 (2017) ·Zbl 1380.90284号
[24] P.Belotti，J.Lee，L.Liberti，F.Margot，A.Wächter，非凸MINLP的分支和边界收紧技术·Zbl 1179.90237号
[25] IBM开发人员，CPLEX 12.8版，https://www.cplex.com。
[26] LLC古罗比优化，古罗比优化器参考手册，http://www.gurobi.com。
[27] 安布罗斯·格莱克斯纳；Michael Bastubbe；莱昂·埃夫勒（Leon Eifler）；特里斯坦·加里；杰拉尔德·加姆拉斯（Gerald Gamrath）；罗伯特·利翁，戈特瓦尔德；Hendel，Gregor公司；克里斯托弗·霍尼；科赫、托尔斯滕；吕培克，马可·E。；斯蒂芬·J·马赫。；米伦伯格，马提亚斯；本杰明·米勒；Pfetsch，Marc E。；普切特（Christian Puchert）；丹尼尔·雷费尔特（Daniel Rehfeldt）；弗兰齐斯卡·舍勒（Franziska Schlösser）；克里斯托夫·舒伯特；费利佩·塞拉诺；Yuji Shinano；维尼科尔，简·梅林；马提亚斯·沃尔特；费比安·韦格谢德（Fabian Wegscheider）；乔纳斯·T·威特。；Jakob Witzig，SCIP Optimization Suite 6.0技术报告（2018），Optimizion Online，http://www.optimization-online.org/DB_HTML/2018/07/6692.HTML
[28] 阿兰·比隆奈特；Sourour Elloumi；Amélie Lambert；Wiegele，Angelika，使用二次曲线束方法加速二次凸重构的两个阶段。，信息J.计算。，29, 2, 318-331 (2017) ·Zbl 1371.90098号
[29] 巴赫海姆，克里斯托夫；玛丽安娜·德·桑提斯；劳拉·帕拉吉；Piacentini，Mauro，利用椭球松弛实现非凸二次整数最小化的精确算法，SIAM J.Optim。，23, 3, 1867-1889 (2013) ·Zbl 1282.90104号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。