弗兰克·珀敏特；帕布罗·帕里洛 部分面部缩小：通过PSD锥体近似值简化等效SDP。 （英语） Zbl 1405.90098号 数学。程序。 171，编号1-2（A），1-54（2018）. 总结：我们开发了一个实用的半定规划（SDP）面部约简程序，该程序利用了正半定锥的计算效率逼近。该方法通过解决一系列更容易的优化问题，简化了没有严格可行解（解析器的频繁输出）的SDP，并可作为SDP求解器的有用预处理技术。我们在实践中证明了该方法在SDP上的有效性，并描述了我们公开可用的软件实现。我们还展示了如何在PSD锥近似中找到最大秩矩阵（这有助于我们找到最大化简），并且我们给出了对偶解恢复的后处理过程，该过程通常适用于基于表面约简的预处理技术。最后，我们展示了如何选择近似值来保持问题稀疏性。 引用于36文件 MSC公司： 90立方厘米22 半定规划 90 C59 数学规划中的近似方法和启发式 90C25型 凸面编程 关键词：半定规划面部缩小程序；最大秩矩阵；双解决方案恢复 软件：frlib公司；无SPOT；CVX公司；优化软件基准；DIMACS公司；雅尔米普；Sostools公司；SDPT3系统；塞杜米 PDF格式BibTeX公司 XML格式引用 \textit{F.Percenter}和\textit{P.Parrilo}，数学。程序。171，编号1--2（A），1-54（2018；Zbl 1405.90098） 全文： 内政部 arXiv公司 参考文献： [1] Ahmadi，A.A.，Majumdar，A.：（DSOS）和（SDSOS）优化：基于LP和SOCP的平方和优化替代方案。摘自：《第48届信息科学与系统年会论文集》，第1-5页（2014年） [2] Alipanahi，B.，Krislock，N.，Ghodsi，A.，Wolkowicz，H.，Donaldson，L.，Li，M.：通过半定面容缩小的蛋白质结构。摘自：《计算分子生物学研究》，第1-11页。施普林格（2012） [3] 安德森，ED；Andersen，KD，线性规划预求解，数学。程序。，71, 221-245, (1995) ·Zbl 0846.90068号 ·doi:10.1007/BF01586000 [4] Anjos，MF；Wolkowicz，H，通过对MAX-cut问题的第二次提升来加强半定松弛，离散应用。数学。，119, 79-106, (2002) ·Zbl 1102.90369号 ·doi:10.1016/S0166-218X（01）00266-9 [5] 巴克，GP；Carlson，D，对角占优矩阵的锥，Pac。数学杂志。，57, 15-32, (1975) ·Zbl 0283.52005号 ·doi:10.2140/pjm.1975.57.15 [6] 巴斯顿，V，极端共正二次型，阿里斯学报。，15, 319-327, (1969) ·Zbl 0186.36502号 ·doi:10.4064/aa-15-3-319-327 [7] Berman，A.，Shaked-Monderer，N.：完全正矩阵。《世界科学》，新加坡（2003年）。国际标准图书编号981-238-368-9。http://opac.inria.fr/record=b113077 ·Zbl 1030.15022号 [8] Blekherman，G.，Parrilo，P.A.，Thomas，R.R.：半定优化与凸代数几何。SIAM，费城（2013）·Zbl 1260.90006号 [9] 博曼，EG；陈，D；帕雷克，O；托莱多，S，关于因子宽度和对称矩阵，线性代数应用。，405, 239-248, (2005) ·Zbl 1098.15014号 ·doi:10.1016/j.laa.2005.03.029 [10] Borwein，J；Wolkowicz，H，正则化抽象凸程序，数学杂志。分析。申请。，83495-530，（1981年）·Zbl 0467.90076号 ·doi:10.1016/0022-247X（81）90138-4 [11] Boyd，S.，Vandenberghe，L.：凸优化。剑桥大学出版社，剑桥（2009）·Zbl 1058.90049号 [12] Boyd，S.，El Ghaoui，L.，Feron，E.，Balakrishnan，V.：《系统和控制理论中的线性矩阵不等式》，第15卷。SIAM，费城（1994）·兹伯利0816.93004 ·数字对象标识代码：10.1137/1.9781611970777 [13] 博伊德，S；米勒，M；O’Donoghue，B；Wang，Y，多期投资的绩效边界和次优政策，Found。最佳趋势。，2013年1月1日至69日 [14] Brändén，P，具有半平面性质的多项式和拟阵理论，高等数学。，216, 302-320, (2007) ·Zbl 1128.05014号 ·doi:10.1016/j.aim.2007.05.011 [15] Burkowski，F.，Cheung，Y.-L.，Wolkowicz，H.：在蛋白质构象中高效使用半定规划来选择旋转体。技术报告，CORR:进行中，第2011页。滑铁卢大学，滑铁卢，安大略省（2011年）·Zbl 1304.90224号 [16] Burton，S.，Youm，Y.，Vinzant，C.：Vámos拟阵多项式的真正稳定扩张。arXiv:1411.2038号 [17] 陈，D；托莱多，S，对称h-矩阵零空间的组合刻画，线性代数应用。，392, 71-90, (2004) ·Zbl 1061.65028号 ·doi:10.1016/j.laa.2004.05.016 [18] 张，Y-L；舒尔，S；沃尔科维奇，H；Bailey，DH（编辑）；Bauschke，HH（编辑）；Borwein，P（编辑）；Garvan，F（编辑）；Théra，M（编辑）；Vanderwerff，J（编辑）；Wolkowicz，H（ed.），退化半定程序的预处理和正则化，251-303，（2013），柏林·Zbl 1288.90060号 ·doi:10.1007/978-1-4614-7621-4_12 [19] Choe，Y-B型；奥克斯利，JG；Sokal，AD；Wagner，DG，具有半平面性质的齐次多元多项式，高级应用。数学。，32, 88-187, (2004) ·兹比尔1054.05024 ·doi:10.1016/S0196-8858（03）00078-2 [20] Klerk，E；Roos，C；Terlaky，T，通过自对偶偏对称嵌入在半定规划中的初始化，Oper。Res.Lett.公司。，20213-221（1997）·Zbl 0881.90096号 ·doi:10.1016/S0167-6377（97）00011-4 [21] Diananda，P.H.：关于实变量中的非负形式，其中一些或全部是非负的。摘自：《剑桥哲学学会数学学报》，第58卷，第17-25页。剑桥大学出版社（1962）·Zbl 0108.04803号 [22] Fawzi，H.，Parrilo，P.A.：原子锥秩的自标度边界：非负秩和cp-rank的应用。arXiv预印arXiv:1404.3240（2014） [23] Grant，M.，Boyd，S.：CVX:MATLAB软件，用于严格的凸编程（网页和软件）。网址：http://cvxr.com/ [24] Gruber，G.，Kruk，S.，Rendl，F.，Wolkowicz，H.：无约束条件半定规划的预解。https://pdfs.semanticschoolr.org/61ca/fc993c23c6b94a1115292bcab45fb48bbc52.pdf (1998) [25] Krislock，N；Wolkowicz，H，使用半定表示和面部还原的显式传感器网络定位，SIAM J.Optim。，20, 2679-2708, (2010) ·Zbl 1229.90250号 ·doi:10.1137/090759392 [26] Löfberg，J.：YALMIP：MATLAB中用于建模和优化的工具箱。载于：2004年台湾台北CACSD会议记录。http://users.isy.liu.se/johanl/yalmip [27] Löfberg，J，《实践中的预处理和后处理平方和程序》，IEEE Trans。自动。控制，541007-1011，（2009）·Zbl 1367.90002号 ·doi:10.1109/TAC.2009.2017144 [28] Lourenço，B.F.，Muramatsu，M.，Tsuchiya，T.：用内点预言机完全解决SDP（2015）。arXiv预打印arXiv:1507.08065 [29] Luo，Z.-Q.，Sturm，J.F.，Zhang，S.：二次凸规划的对偶结果。技术报告，计量经济研究所研究论文（1997年） [30] Mittelmann，HD，sdp和socp求解器的独立基准，数学。程序。，95, 407-430, (2003) ·Zbl 1030.90080号 ·doi:10.1007/s10107-002-0355-5 [31] Papachristodoulou，A.，Anderson，J.，Valmorbida，G.，Prajna，S.，Seiler，P.，Parrilo，P.：MATLAB的SOSTOOLS 3.00版平方和优化工具箱。arXiv预印本arXiv:1310.4716（2013） [32] Pataki，G；Wolkowicz，H（编辑）；Saigal，R（编辑）；Vandenberghe，L（ed.），半定规划手册，29-65，（2000），柏林·Zbl 0951.90001号 ·doi:10.1007/978-1-4615-4381-7_3 [33] Pataki，G；Bailey，DH（编辑）；Bauschke，HH（编辑）；Borwein，P（编辑）；Garvan，F（编辑）；Théra，M（编辑）；Vanderwerff，J（编辑）；Wolkowicz，H（ed.），圆锥线性规划中的强对偶性：面部缩减和扩展对偶，613-634，（2013），柏林·Zbl 1282.90231号 ·doi:10.1007/978-1-4614-7621-4_28 [34] Pataki，G.：糟糕的半定程序：它们看起来都一样。arXiv预印arXiv:1112.1436（2016）·Zbl 1366.90158号 [35] Pataki，G.，Schmieta，S.：半定二次线性程序的DIMACS库。http://dimacs.rutgers.edu/Challenges/Seventh/Instances (1999) [36] Percenter，F.，Parrilo，P.A.：通过面部简化和多面体近似选择SOS程序的基础。摘自：IEEE决策与控制会议记录（2014年） [37] Posa，M.、Tobenkin，M.和Tedrake，R.：通过平方和对具有冲击和摩擦的刚体系统进行Lyapunov分析。摘自：第十六届混合系统国际会议论文集：计算与控制（2013）·Zbl 1364.70020号 [38] 基斯特，AJ；Klerk，E；Roos，C；Terlaky，T，一般二次规划的共正松弛，Optim。方法软件。，9, 185-208, (1998) ·Zbl 0904.90126号 ·doi:10.1080/10556789808805692 [39] Ramana，MV，半定规划的精确对偶理论及其复杂性含义，数学。程序。，77, 129-162, (1997) ·Zbl 0890.90144号 ·doi:10.1007/BF02614433 [40] 拉马纳，MV；通塞尔，L；Wolkowicz，H，半定规划的强对偶，SIAM J.Optim。，7, 641-662, (1997) ·Zbl 0891.90129号 ·doi:10.1137/S1052623495288350 [41] Rockafellar，右。T.：凸分析，第28卷。普林斯顿大学出版社，普林斯顿（1997）·Zbl 0932.90001号 [42] Sturm，JF，Using sedumi 1.02，一个用于对称锥优化的MATLAB工具箱，Optim。方法软件。，11, 625-653, (1999) ·Zbl 0973.90526号 ·doi:10.1080/10556789908805766 [43] Sturm，JF，线性矩阵不等式的误差界，SIAM J.Optim。，10, 1228-1248, (2000) ·Zbl 0999.90027号 ·doi:10.1137/S1052623498338606 [44] Toh，K-C；托德，MJ；TüTüncü，RH，SDPT3-a Matlab半定编程软件包，1.3版，Optim。方法软件。，11, 545-581, (1999) ·Zbl 0997.90060号 ·doi:10.1080/10556789908805762 [45] Tunçel，L；Wolkowicz，H，锥优化的强对偶和最小表示，计算。最佳方案。申请。，53, 619-648, (2012) ·Zbl 1284.90080号 ·doi:10.1007/s10589-012-9480-0 [46] 瓦格纳，DG；Wei，Y，半平面性质的判据，离散数学。，309, 1385-1390, (2009) ·Zbl 1194.05019号 ·doi:10.1016/j.disc.2008.02.005 [47] Waki，H，如何通过多项式优化的lasserr松弛生成弱不可行半定程序，Optim。莱特。，6, 1883-1896, (2012) ·Zbl 1257.90069号 ·doi:10.1007/s11590-011-0384-1 [48] 瓦基，H；Muramatsu，M，二次曲线优化问题的简化算法，J.Optim。理论应用。，158188-215（2013）·兹比尔1272.90048 ·doi:10.1007/s10957-012-0219-y [49] 瓦基，H；Muramatsu，M，一种用于发现稀疏sos表示的面部简化算法，Oper。Res.Lett.公司。，38, 361-365, (2010) ·兹比尔1205.90219 ·doi:10.1016/j.orl.2010.05.011 [50] 瓦基，H；Nakata，M；Muramatsu，M，解决多项式优化中半定规划问题的内点方法的奇怪行为，计算。最佳方案。申请。，53223-844（2012年）·Zbl 1264.90162号 ·doi:10.1007/s10589-011-9437-8 [51] 沃尔科维奇，H；赵，Q，图划分问题的半定规划松弛，离散应用。数学。，96, 461-479, (1999) ·Zbl 0932.90030号 ·doi:10.1016/S0166-218X（99）00102-X [52] Ye，Y；托德，MJ；Mizuno，S，An\（\cal{O}（\sqrt{nL}）\）-迭代齐次和自对偶线性规划算法，数学。操作。决议，19，53-67，（1994）·Zbl 0799.90087号 ·doi:10.1287/门19.1.53 [53] 赵，Q；东南部卡里什；伦德尔，F；Wolkowicz，H，二次分配问题的半定规划松弛，J.Comb。最佳。，2, 71-109, (1998) ·Zbl 0904.90145号 ·doi:10.1023/A:1009795911987 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。