×

稀疏Max-Cut的部分Lasserre松弛。 (英语) Zbl 07739476号

总结:解决或查找多项式优化问题(如Max-Cut)边界的一种常见方法是使用Lasserre层次结构的第一级。更高级别的Lasserre层次提供了更严格的边界,但解决这些松弛通常很难计算。我们建议使用二阶Lasserre层次的约束来加强稀疏Max-Cut问题的一级松弛。我们探索了各种方法来添加二阶稀疏松弛的半正定约束子集,该约束是通过图的弦扩张的最大团获得的。我们将这一想法应用于不同大小和密度的稀疏图,并提供了与最先进的Max Cut解算器BiqCrunch和替代稀疏松弛CS-TSSOS相比其优势和局限性的证据。

MSC公司:

68年XX月 计算机科学
90倍X 运筹学、数学规划
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 亚当斯,E。;Anjos,MF;伦德尔,F。;Wiegele,A.,一些NP-hard图优化问题的基于子图投影的半定松弛层次,INFOR Inf Syst Oper Res,53,1,40-48(2015)·兹伯利07683462
[2] Anjos,MF;Wolkowicz,H.,通过第二次提升来加强Max-Cut问题的半定松弛,离散应用数学,119,1-2,79-106(2002)·Zbl 1102.90369号 ·doi:10.1016/S0166-218X(01)00266-9
[3] Baltean-Lugojan R,Bonami P,Misener R,Tramontani A(2018)通过训练的神经网络对二次优化的正半定切割平面进行评分。http://www.optimization-online.org/DB_FILE/2018/11/6943.pdf
[4] 巴拉奥纳,F。;Ladanii,L.,《基于体积算法的分支和切割:图中的steiner树和Max-cut》,RAIRO Oper Res,40,1,53-73(2006)·Zbl 1146.90090号 ·doi:10.1051/ro:2006010
[5] 巴拉奥纳,F。;Jünger,M。;Reinelt,G.,二次0-1规划实验,数学程序,44,1-3,127-137(1989)·Zbl 0677.90046号 ·doi:10.1007/BF01587084
[6] Billionnet,A。;Elloumi,S.,《使用混合整数二次规划求解无约束二次0-1问题》,《数学程序》,109,1,55-68(2007)·Zbl 1278.90263号 ·doi:10.1007/s10107-005-0637-9
[7] 布莱尔,JR;Peyton,B.,弦图和团树简介,1-29(1993),Springer·Zbl 0803.68081号
[8] 博姆泽,IM;Budinich,M。;Pardalos,PM;Pellillo,M.,最大团问题,组合优化手册,1-74(1999),Springer·Zbl 1253.90188号
[9] 坎波斯,JS;Parpas,P.,稀疏多项式优化问题SDP松弛的多重网格方法,SIAM J Optim,28,1,1-29(2018)·Zbl 1398.90118号 ·doi:10.1137/16M1109060
[10] 坎波斯,JS;米塞纳,R。;Parpas,P.,《Lasserre层次结构的多层次分析》,《Eur J Oper Res》,277,1,32-41(2019)·Zbl 1430.90456号 ·doi:10.1016/j.ejor.2019.02.016
[11] Chen,T。;激光器,JB;马格伦,V。;Pauwels,E.,Relu网络Lipschitz常数的半代数优化,Adv Neural Inf Process Syst,319189-19200(2020)
[12] Chen,T。;激光器,JB;马格伦,V。;Pauwels,E.,多项式优化的子级矩-SOS层次,计算优化应用,81,1,31-66(2022)·Zbl 1484.90069号 ·doi:10.1007/s10589-021-00325-z
[13] Dong,H.,用多重自适应对角扰动松弛非凸二次函数,SIAM J Optim,26,3,1962-1985(2016)·Zbl 1348.90473号 ·doi:10.1137/140960657
[14] 费舍尔,I。;Gruber,G。;伦德尔,F。;Sotirov,R.,用束方法计算最大割平面和等分半定割平面松弛的经验,数学程序,105,2-3,451-469(2006)·Zbl 1085.90044号 ·doi:10.1007/s10107-005-0661-9
[15] B.加达。;维拉,JC;Anjos,MF,多项式规划的动态不等式生成方案,数学程序,156,1-2,21-57(2016)·Zbl 1342.90143号 ·doi:10.1007/s10107-015-0870-9
[16] Golumbic,MC,算法图论和完美图,(2004),爱思唯尔·兹比尔1050.05 002
[17] Gvozdenović,N。;Laurent,M.,通过块对角化计算(分数)色数的半定规划下界,SIAM J Optim,19,2,592-615(2008)·Zbl 1213.05081号 ·doi:10.1137/070683520
[18] Gvozdenović,N。;洛朗,M。;Vallenn,F.,《0/1编程的块对角线半定编程层次》,Oper Res Lett,37,1,27-31(2009)·Zbl 1154.90606号 ·doi:10.1016/j.orl.2008.10.03
[19] Josz,C。;Molzahn,DK,Lasserre hierarchy for large scale多项式optimization in real and complex variables,SIAM J Optim,28,2,1017-1048(2018)·Zbl 1395.90196号 ·doi:10.1137/15M1034386
[20] Kim,S。;Kojima,M.,非凸二次优化问题的二阶锥规划松弛,Optim Methods Softw,15,3-4,201-224(2001)·Zbl 1109.90327号 ·doi:10.1080/10556780108805819
[21] Krislock,北卡罗来纳州。;Malick,J。;Roupin,F.,《将Max-Cut问题求解到最优的改进半定定界法》,《数学程序》,143,1-2,61-86(2014)·Zbl 1285.90030号 ·doi:10.1007/s10107-012-0594-z
[22] Krislock N、Malick J、Roupin F(2016)BiqCrunch 2.0用户指南。https://biqcrunch.lipn.univ-paris13.fr/biqcrunch/repository/papers/biqcrunc-manual.pdf。2020年8月6日访问·兹比尔1380.90284
[23] Krislock,北卡罗来纳州。;Malick,J。;Roupin,F.,Biqcrunch:求解二元二次型问题的半定分枝定界方法,ACM Trans Math Softw,43,4,32(2017)·Zbl 1380.90284号 ·数字对象标识代码:10.1145/3005345
[24] Laurent,M.,公制多边形的图形顶点,离散数学,151,1-3,131-153(1996)·Zbl 0854.05095号 ·doi:10.1016/0012-365X(94)00091-V
[25] Lasserre,JB,多项式全局优化与矩问题,SIAM J Optim,11,3,796-817(2001)·兹比尔1010.90061 ·doi:10.1137/S1052623400366802
[26] Lasserre,JB,非线性0-1规划的显式等价半正定规划,SIAM J Optim,12,3,756-769(2002)·Zbl 1007.90046号 ·doi:10.137/S105262340038079
[27] Lasserre,JB,稀疏多项式优化中的收敛SDP-松弛,SIAM J Optim,17,3,822-843(2006)·Zbl 1119.90036号 ·数字对象标识码:10.1137/05064504X
[28] 洛朗,M。;Poljak,S.,关于割多面体的半正定松弛,线性代数应用,223439-461(1995)·Zbl 0835.90078号 ·doi:10.1016/0024-3795(95)00271-R
[29] Liers F(2004)对确定伊辛自旋玻璃的确切基态及其物理的贡献。Verlag nicht ermittelbar博士论文
[30] Liers,F。;Jünger,M。;Reinelt,G。;Rinaldi,G.,用分支法计算硬伊辛自旋玻璃问题的精确基态,新Optim算法物理学,50,47-68,6(2004)·Zbl 1059.90147号
[31] Ma WJ,Marecek J,Mevissen M(2019)Lasserre层次结构的细粒度变体。In:2019年第57届Allerton通信、控制和计算年会(Allerton),IEEE,第580-586页
[32] 帕尔,KF;Vértesi,T.,贝尔不等式的量子界,《物理学评论A》,79,2(2009)·doi:10.1103/PhysRevA.79.022120
[33] Qualizza A,Belotti P,Margot F(2012)二次约束二次规划的线性规划松弛。In:混合整数非线性规划,Springer,pp 407-426·Zbl 1242.90155号
[34] 伦德尔,F。;Rinaldi,G。;Wiegele,A.,《通过交叉半定和多面体松弛求解最大切最优》,《数学程序》,121,2,307(2010)·Zbl 1184.90118号 ·doi:10.1007/s10107-008-0235-8
[35] Saxena,A。;Bonami,P。;Lee,J.,非凸混合整数二次约束规划的凸松弛:投影公式,数学规划,130,2,359-413(2011)·Zbl 1229.90144号 ·doi:10.1007/s10107-010-0340-3
[36] 谢拉利,HD;Dalkiran,E。;Desai,J.,通过一类新的v-半定割增强多项式规划问题的基于RLT的松弛,计算优化应用,52,2,483-506(2012)·Zbl 1250.90092号 ·doi:10.1007/s10589-011-9425-z
[37] Waki,H。;Kim,S。;小岛,M。;Muramatsu,M.,结构稀疏多项式优化问题的平方和和半定程序松弛,SIAM J Optim,17,1,218-242(2006)·Zbl 1109.65058号 ·数字对象标识代码:10.1137/050623802
[38] Waki,H。;Kim,S。;小岛,M。;Muramatsu先生。;Sugimoto,H.,算法883:Sparsepop——多项式优化问题的稀疏半定规划松弛,ACM Trans Math Softw,35,2,15(2008)·doi:10.1145/1377612.1377619
[39] Wang J,Li H,Xia B(2019a)一种新的基于术语稀疏性的稀疏SOS分解算法。摘自:2019年符号和代数计算国际研讨会论文集,第347-354页·Zbl 1467.68234号
[40] Wang J,Magron V,Lasserre JB(2019b)TSSOS:利用术语稀疏性的moment-SOS层次结构。arXiv预打印arXiv:1912.08899·Zbl 1506.90202号
[41] Wang J,Magron V,Lasserre JB(2020a)Chordal-TSSOS:利用和弦扩展的术语稀疏性的moment-SOS层次结构。arXiv预打印arXiv:2003.03210·Zbl 1457.90106号
[42] Wang J,Magron V,Lasserre JB,Mai NHA(2020b)CS-TSSOS:大规模多项式优化的相关和项稀疏性。arXiv预打印arXiv:2005.02828
[43] Wiegele A(2006)非线性优化技术应用于组合优化问题。克拉根福阿尔卑斯大学博士论文
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。