×

关于运行交叉不等式对全局求解多项式优化问题的影响。 (英语) Zbl 1441.90097号

摘要:我们考虑了非凸问题的全局优化问题,这些问题的可分解重整包含一组形式为\(z_e=\prod_{v\ in e}{z_v}\),\(e\ in e\)的多线性方程,其中\(e\)表示一个基集中至少两个基数子集的集合。重要的特殊情况包括多线性和多项式优化问题。多线性多面体是满足上述多线性方程组的二进制点集(z)的凸壳。最近,Del Pia和Khajavirad引入了运行交集不等式,这是一组多线性多边形的面定义不等式。本文讨论了这类不等式的分离问题。我们首先证明了分离花不等式是运行交不等式的一个子类,是NP-hard。随后,对于固定度的多线性多面体,我们设计了一个有效的多项式时间算法来分离运行的相交不等式,并将所提出的割平面生成方案嵌入到分支和约简全局解算器BARON的每个节点。为了评估所提出方法的有效性,我们考虑了两个测试集:随机生成的三次和四次多项式优化问题,结果表明,运行交集切割显著提高了BARON的性能,使随机测试集的平均CPU时间减少50%,图像恢复测试集的CPU时间减少63%。

MSC公司:

90立方厘米 混合整数编程
90C26型 非凸规划,全局优化
90C57型 多面体组合学,分支与绑定,分支与切割
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 安东尼,M。;Boros,E。;Crama,Y。;Gruber,A.,非线性二进制优化问题的二次形式化,数学。程序。,162115-144(2017)·Zbl 1358.90074号 ·doi:10.1007/s10107-016-1032-4
[2] 鲍,X。;哈贾维拉德,A。;内华达州萨希尼迪斯;Tawarmalani,M.,多线性中间点非凸问题的全局优化,数学。程序。计算。,7, 1-37 (2015) ·Zbl 1317.90243号 ·doi:10.1007/s12532-014-0073-z
[3] 巴拉奥纳,F。;Jünger,M。;Reinelt,G.,二次(0-1)编程实验,数学。程序。,44, 127-137 (1989) ·Zbl 0677.90046号 ·doi:10.1007/BF01587084
[4] 比里,C。;费金,R。;Maier,D。;Yannakakis,M.,《关于非循环数据库方案的可取性》,J.ACM,30,479-513(1983)·兹比尔062468087 ·doi:10.1145/2402.322389
[5] 贝洛蒂,P。;Lee,J。;利伯蒂。;玛格特,F。;Wächter,A.,非凸MINLP的分支和边界收紧技术,Optim。方法软。,24, 597-634 (2009) ·Zbl 1179.90237号 ·doi:10.1080/10556780903087124
[6] Berthold,T.,Gamrath,G.,Hendel,G.、Heinz,S.、Koch,T.、Pfetsch,M.、Vigerske,S.,Waniek,R.、Winkler,M.,Wolter,K.:SCIP 3.2,用户手册(2016)
[7] Bienstock,D。;Munoz,G.,多项式优化问题的LP累加,SIAM J.Optim。,28, 2, 1121-1150 (2018) ·兹比尔1395.80005 ·数字对象标识代码:10.1137/15M1054079
[8] 博纳米,P。;Günlük,O。;Linderoth,J.,通过整数规划方法全局求解带方框约束的非凸二次规划问题,数学。程序。计算。(2018) ·Zbl 1400.90239号 ·数字对象标识代码:10.1007/s12532-018-0133-x
[9] Buchheim,C。;Rinaldi,G.,多项式零点优化到二次型情形的有效约简,SIAM J.Optim。,18, 1398-1413 (2007) ·Zbl 1165.90685号 ·doi:10.1137/050646500
[10] Crama,Y.,非线性(0-1)最大化问题的凹扩张,数学。程序。,61, 53-60 (1993) ·Zbl 0796.90040号 ·doi:10.1007/BF01582138
[11] Crama,Y。;Rodríguez-Heck,E.,多线性(0-1)优化问题的一类有效不等式,离散优化。,25, 28-47 (2017) ·Zbl 1387.90125号 ·doi:10.1016/j.disopt.2017.02.001
[12] 德尔皮亚,A。;Khajavirad,A.,二元多项式程序的多面体研究,数学。操作。第42、2、389-410号决议(2017年)·Zbl 1364.90225号 ·doi:10.1287/门.2016.0804
[13] 德尔皮亚,A。;Khajavirad,A.,《关于多重线性集的可分解性》,数学。程序。(2017) ·Zbl 1446.90114号 ·doi:10.1007/s10107-017-1158-z
[14] Del Pia,A。;哈贾维拉德,A.,《非循环超图的多线性多胞形》,SIAM J.Optim。,28, 1049-1076 (2018) ·Zbl 1396.90048号 ·doi:10.1137/16M1095998
[15] Del Pia,A.,Khajavirad,A.:多线性多边形的运行交点松弛。最佳方案。在线手稿2018/05/6618(2018)·Zbl 1396.90048号
[16] Dolan,E。;More,J.,《性能曲线基准优化软件》,数学。程序。,91, 201-213 (2002) ·邮编:1049.90004 ·doi:10.1007/s101070100263
[17] Fix,A.,Gruber,A.,Boros,E.,Zabih,R.:高阶马尔可夫随机场的图割算法。2011年计算机视觉国际会议,第1020-1027页(2011年)。10.1109/ICCV.2011.6126347
[18] GAMS性能工具。可在http://www.gams.com/help/topic/gams.doc/solvers/allsolvers.pdf
[19] Helmberg,C。;Rendl,F.,用半定程序和割平面求解二次(0-1)问题,数学。程序。,82, 291-315 (1998) ·Zbl 0919.90112号
[20] IBM:CPLEX Optimizer(2016)。http://www-01.ibm.com/software/integration/optimization/cplex-optimizer/
[21] Karp,R.M.:组合问题中的可约性。收录:Millera,R.E.,Thatcher,J.W.(编辑)《计算机计算的复杂性》。纽约(1972)·Zbl 1187.90014号
[22] 哈贾维拉德,A。;Sahinidis,NV,全局优化松弛的混合LP/NLP范式,数学。程序。计算。(2018) ·Zbl 1400.90227号 ·doi:10.1007/s12532-018-0138-5
[23] Lin,Y。;Schrage,L.,LINDO API中的全局解算器,Optim。方法软。,24657-668(2009年)·兹比尔1177.90325 ·doi:10.1080/10556780902753221
[24] 可分解非凸程序全局解的可计算性:第一部分-凸低估问题,数学。程序。,10, 147-175 (1976) ·Zbl 0349.90100号 ·doi:10.1007/BF01580665
[25] 加利福尼亚州梅耶;加利福尼亚州佛罗伦萨;加利福尼亚州佛罗伦萨;Pardolos,PM,具有正域或负域的三线性单项式:凸包络和凹包络的面,全局优化前沿,327-352(2003),Norwell:Kluwer学术出版社,Norwell·Zbl 1176.90469号
[26] 加利福尼亚州梅耶;弗洛达斯,CA,《带混合符号域的三线性单项式:凸包络和凹包络的面》,J.Glob。最佳。,29, 125-155 (2004) ·Zbl 1085.90047号 ·doi:10.1023/B:JOGO.0000042112.72379.e6
[27] 米塞纳,R。;Floudas,CA,ANTIGONE:非线性方程的连续/整数全局优化算法,J.Glob。最佳。,59, 503-526 (2014) ·Zbl 1301.90063号 ·文件编号:10.1007/s10898-014-0166-2
[28] Padberg,M.,《布尔二次多面体:一些特征、面和相关关系》,《数学》。程序。,45, 139-172 (1989) ·Zbl 0675.90056号 ·doi:10.1007/BF01589101
[29] POLIP:多项式约束混合整数编程库(2014)。http://polip.zib.de
[30] Rikun,AD,多线性函数的凸包络公式,J.Glob。最佳。,10, 425-437 (1997) ·Zbl 0881.90099号 ·doi:10.1023/A:1008217604285
[31] Ryoo,HS;萨希尼迪斯,内华达州,多线性函数的界分析,J.Glob。最佳。,19, 403-424 (2001) ·Zbl 0982.90054号 ·doi:10.1023/A:1011295715398
[32] Sahindis,N.:Sahinidis优化小组网站。http://archimedes.cheme.cmu.edu/?q=baron
[33] Schrijver,A.,《线性和整数规划理论》(1986),奇切斯特:威利·Zbl 0665.90063号
[34] Sherali,HD,单位超立方体和特殊离散集上多重线性函数的凸包络,数学学报。越南。,22, 245-270 (1997) ·Zbl 0914.90205号
[35] 谢拉利,HD;Adams,WP,零规划问题的连续和凸壳表示之间的松弛层次,SIAM J.离散数学。,3, 411-430 (1990) ·Zbl 0712.90050号 ·数字对象标识代码:10.1137/0403036
[36] RE塔尔詹;Yannakakis,M.,测试图的弦性、测试超图的非循环性和选择性减少非循环超图的简单线性时间算法,SIAM J.Comput。,13, 3, 566-579 (1984) ·Zbl 0545.68062号 ·数字对象标识代码:10.1137/0213035
[37] Tawarmalani,M.:包含证书和函数的同时凸化。工作文件(2010年)。http://www.optimization-online.org/DB_FILE/2010/09/2722.pdf
[38] Tawarmalani,M。;理查德,JP;Chung,K.,正交析取和双线性覆盖集的强有效不等式,数学。程序。,124, 481-512 (2010) ·Zbl 1198.90298号 ·doi:10.1007/s10107-010-0374-6
[39] Tawarmalani,M。;理查德,JP;熊,C.,通过多面体细分的显凸和凹包络,数学。程序。,138, 531-577 (2013) ·Zbl 1273.90165号 ·doi:10.1007/s10107-012-0581-4
[40] Tawarmalani,M。;Sahinidis,NV,混合整数非线性程序的全局优化:理论和计算研究,数学。程序。,99, 563-591 (2004) ·Zbl 1062.90041号 ·doi:10.1007/s10107-003-0467-6
[41] Tawarmalani,M。;内华达州萨希尼迪斯,《全局优化的多面体分枝切割方法》,数学。程序。,103, 225-249 (2005) ·Zbl 1099.90047号 ·doi:10.1007/s10107-005-0581-8
[42] 优化公司:NLP和MINLP测试问题。https://minlp.com/nlp-and-minlp-test-problems
[43] Yajima,Y。;Fujie,T.,箱约束非凸二次规划问题的多面体方法,J.Glob。最佳。,13, 151-170 (1998) ·Zbl 0912.90234号 ·doi:10.1023/A:1008293029350
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。