莱利·默里;文卡特·钱德拉塞卡兰;亚当·维尔曼 通过相对熵和部分对偶实现符号和多项式优化。 (英语) Zbl 1530.90071号 数学。程序。计算。 13,第2期,257-295(2021); 出版商更正同上13,第2号,297-299(2021)。 摘要:我们描述了约束符号和多项式优化问题相对熵松弛的AM/GM-指数和(SAGE)方法的推广。我们的方法利用了这样一个事实,即SAGE证书可以方便、透明地与凸对偶混合,从而实现某些结构化约束的部分对偶。这种更通用的方法保留了普通SAGE松弛的关键特性(例如稀疏性保持),并启发了一种考虑部分对偶的投影解恢复方法。我们用全球优化文献中的一系列示例以及公开可用的软件包来说明我们方法的实用性。在文章的原始出版物中,pdf版本的参考列表发布时出错。本更正中给出了正确的参考列表[同上13,297–299(2021)]。 引用于1审查引用于14文件 MSC公司: 90C23型 多项式优化 90立方厘米 数学规划中的最优性条件和对偶性 关键词:全局优化;指数锥程序;SAGE证书;SOS证书;符号规划 软件:GloptiPoly公司;科学Py;CVXOPT公司;莫塞克;PHC包;Sostools公司;POEM公司;ECOS公司;通用工具包;Sageopt公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Murray}等人,数学。程序。计算。13,编号2,257--295(2021;Zbl 1530.90071) 全文: 内政部 arXiv公司 参考文献: [1] Rountree,D.H.,Rigler,A.K.:广义几何规划中等式约束的惩罚处理。J.优化。理论应用。38(2), 169-178 (1982). 发行编号:1573-2878·Zbl 0472.90052号 [2] Kirschen,PG,多项编程在飞机设计中的应用,J.Aircr。,55, 3, 965-987 (2018) ·doi:10.2514/1.C034378 [3] Jabr,R.A.:使用符号编程的电感设计。COM-PEL国际计算杂志。数学。选举人。电子。工程26(2),461-475(2007)·Zbl 1157.78380号 [4] Chiang,M.:通信网络的非凸优化。收录于:Gilbert Strang荣誉,《应用数学和全局优化进展》,Springer US,Boston,第137-196页。国际标准图书编号:978-0-387-75714-8(2009)·Zbl 1193.49045号 [5] 沈,P。;Zhang,K.,使用线性松弛的符号几何规划的全局优化,应用。数学。计算。,150, 1, 99-114 (2004) ·Zbl 1053.90112号 [6] Wang,Y.,Liang,Z.:广义几何规划的确定性全局优化算法。申请。数学。计算。168(1), 722-737 (2005). 编号:0096-3003·Zbl 1105.65335号 [7] 沈,P。;Jiao,H.,广义几何规划的一种新的矩形分支和剪枝方法,应用。数学。计算。,183, 2, 1027-1038 (2006) ·Zbl 1112.65058号 [8] 邵健,Q。;Zhang,K-C;纪毅,基于拉格朗日松弛的符号几何规划全局优化新算法,应用。数学。计算。,184, 2, 886-894 (2007) ·Zbl 1116.65071号 [9] Shen,P.,Ma,Y.,Chen,Y.:广义几何规划的稳健算法。J.全球优化。41(4), 593-612 (2008). 发行编号:1573-2916·Zbl 1152.90613号 [10] 侯,X。;沈,P。;Chen,Y.,符号几何规划问题的全局优化算法,抽象应用。分析。,2014, 1-12 (2014) ·Zbl 1470.39055号 ·doi:10.1155/2014/158375 [11] 龚贤,X.,符号几何规划问题的全局优化,欧洲期刊Oper。研究,233,3500-510(2014)·Zbl 1339.90270号 ·doi:10.1016/j.主要.2013.10.016 [12] Shor,NZ,多项式函数的全局最小界类,控制论,23,6733-734(1987)·Zbl 0648.90058号 ·doi:10.1007/BF01070233 [13] Parrilo,P.:鲁棒性和优化中的结构化半定程序和半代数几何方法。加州理工学院博士论文(2000年) [14] Lasserre,JB,多项式全局优化与矩问题,SIAM J.Optim。,11, 3, 796-817 (2001) ·Zbl 1010.90061号 ·doi:10.1137/S1052623400366802 [15] Chandrasekaran,V。;Shah,P.,符号优化的相对熵松弛,SIAM J.Optim。,26, 2, 1147-1173 (2016) ·Zbl 1345.90066号 ·数字对象标识代码:10.1137/140988978 [16] Murray,R.、Chandrasekaran,V.、Wierman,A.:牛顿多面体和相对熵优化(2018)。arXiv:1810.01614 [17] 伊利曼,S。;de Wolff,T.,阿米巴,电路支持的非负多项式和平方和,研究数学。科学。,3, 9 (2016) ·Zbl 1415.11071号 ·doi:10.1186/s40687-016-0052-2 [18] Murty,K.G.,Kabadi,S.N.:二次规划和非线性规划中的一些NP-完全问题。数学。程序。39(2), 117-129 (1987). 发行编号:1436-4646·Zbl 0637.90078号 [19] 莫斯科ApS。MOSEK 9.0.70(测试版)(2019年) [20] Reznick,B.,从算术几何不等式导出的形式,数学。Ann.,283,3,431-464(1989)·Zbl 0637.10015号 ·doi:10.1007/BF01442738 [21] Pébay,P.P.,Rojas,J.M.,Thompson,D.C.:某些少数项的优化和NP R-完全性。摘自:《2009年符号数字计算会议论文集》,ACM出版社(2009)·Zbl 1356.65038号 [22] 潘提亚,C。;Koepl,H.等人。;Craciun,G.,单分子和双分子反应网络中的全局注入性和多重平衡,离散Contin。动态。系统。序列号。B、 17、6、2153-2170(2012)·Zbl 1253.80023号 ·doi:10.3934/dcdsb.2012.17.2153 [23] August,E.,Craciun,G.,Koeppl,H.:使用单项式支配寻找生物系统的不变集。2012年IEEE第51届IEEE决策与控制会议(CDC),IEEE(2012) [24] Wang,J.:非负多项式和电路多项式(2018)。arXiv:1804.09455 [25] Katthän,L.、Naumann,H.、Theobald,T.:SAGE和SONC多项式及其对偶理论的统一框架(2019年)。arXiv公司:1903.08966·兹伯利1466.14062 [26] Seidler,H.,de Wolff,T.:无约束优化的SONC和SOS证书的实验比较(2018)。arXiv:1808.08431 [27] Seidler,H.,de Wolff,T.:POEM:多项式优化的有效方法,版本0.2.1.0(a)(2019)。http://www.iaa.tu-bs.de/AppliedAlgebra/POEM/index.html [28] 亨利安,D。;激光,J-B;Löfberg,J.,GloptiPoly 3:矩、优化和半定规划,Optim。方法软件。,24, 4-5, 761-779 (2009) ·Zbl 1178.90277号 ·网址:10.1080/10556780802699201 [29] Papachristodoulou,A.等人:SOSTOOLS 3.00版MATLAB平方和优化工具箱(2013)。arXiv:1310.4716号 [30] 权力,V。;Reznick,B.,区间为正的多项式,Trans。美国数学。《社会学杂志》,352,10,4677-4692(2000)·Zbl 0957.26004号 ·doi:10.1090/S0002-9947-00-02595-2 [31] Laurent,M.:平方和、矩矩阵和多项式优化。收录于:Putinar,M.,Sullivant,S.(编辑)《代数几何的新兴应用》,第157-270页。Springer,纽约(2009)。国际标准编号:978-0-387-09686-5·Zbl 1163.13021号 [32] Borwein,J。;Lewis,A.,凸分析和非线性优化(2006),纽约:Springer,纽约·Zbl 1116.90001号 ·doi:10.1007/978-0-387-31256-9 [33] Lasserre,JB,《多项式和半代数优化导论》,剑桥应用数学教材(2015),剑桥:剑桥大学出版社,剑桥·Zbl 1320.90003号 ·doi:10.1017/CBO9781107447226 [34] Powell,M.J.D.:通过线性插值对目标和约束函数建模的直接搜索优化方法。载:《优化与数值分析进展》,施普林格,多德雷赫特,第51-67页。国际标准图书编号:978-94-015-8330-5(1994)·Zbl 0826.90108号 [35] Yan,J.:等式约束的符号程序:数值解和应用。不列颠哥伦比亚大学博士论文(1976年) [36] 阿格拉瓦尔。;钻石,S。;Boyd,S.,《严格的几何编程》,Optim。莱特。,13, 5, 961-976 (2019) ·Zbl 1425.90078号 ·doi:10.1007/s11590-019-01422-z [37] Bard,G.V.:关于GF(2)上线性代数的一些基本事实。摘自:《代数密码分析》,柏林施普林格出版社,第81-88页(2009年) [38] Verschelde,J.:算法795:PHCpack——通过同伦延拓求解多项式系统的通用解算器。ACM事务处理。数学。柔和。25(2), 251-276 (1999). 发行编号:0098-3500·Zbl 0961.65047号 [39] Ray,S。;Nataraj,PSV,使用Bernstein形式计算多项式范围的有效算法,J.Global Optim。,45, 3, 403-426 (2008) ·Zbl 1191.90046号 ·doi:10.1007/s10898-008-9382-y [40] Lasserre,J.B.,Toh,K.-C.,Yang,S.:多项式优化的有界度SOS层次结构。EURO J.计算。最佳方案。5(1), 87-117 (2017). 发行编号:2192-4414·Zbl 1368.90132号 [41] Weisser,T.,Lasserre,J.B.,Toh,K.C.:稀疏BSOS:具有稀疏性的大规模多项式优化的有界度SOS层次。数学。程序。计算。10(1), 1-32 (2018). 发行编号:1867-2957·Zbl 1402.90136号 [42] Murray,R.:Sageopt 0.5.3(2020年)。doi:10.5281/ZENODO.4017991 [43] Domahidi,A.,Chu,E.,Boyd,S.:ECOS:嵌入式系统的SOCP求解器。摘自:欧洲控制会议(ECC),第3071-3076页(2013年) [44] Serrano,S.A.:非对称锥优化算法和指数锥问题的实现。加利福尼亚州帕洛阿尔托斯坦福大学博士论文(2015) [45] Burnell,E.,Damen,N.B.,Hoburg,W.:GPkit:工程设计中以人为中心的凸优化方法。附:2020年CHI计算机系统人为因素会议记录(2020年) [46] Rijckaert,M.J.,Martens,X.M.:广义几何规划算法的比较。J.优化。理论应用。26(2), 205-242 (1978). 发行编号:1573-2878·Zbl 0369.90112号 [47] Surjanovic,S.,Bingham,D.:模拟实验虚拟库:测试函数和数据集。4月18日检索自网址:http://www.sfu.ca/苏尔加诺(2019) [48] 艾哈迈迪,AA;Majumdar,A.,《DSOS和SDSOS优化:平方和和和半定优化的更易处理的替代方案》,SIAM J.Appl。代数几何。,3, 2, 193-230 (2019) ·Zbl 1465.90061号 ·doi:10.1137/18M118935X [49] Vandenberghe,L.:CVXOPT线性和二次锥程序求解器(2010)。http://www.seas.ucla.edu/范登贝/出版物/coneprog.pdf [50] Forsgárd,J.,de Wolff,T.:声波锥的代数边界(2019)。arXiv:1905.04776 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。