勒文特·图内尔;亨利·沃尔科维奇 锥优化的强对偶性和最小表示。 (英语) Zbl 1284.90080号 计算。最佳方案。申请。 53,第2期,619-648(2012). 概述:线性规划LP的强对偶性和严格互补性的优雅理论结果是当前算法成功的背后。此外,预处理对于单纯形方法和内点方法来说都是提高效率的关键步骤。然而,对于非多面体锥上的锥规划,理论和预处理技术可能会失败。我们重新审视了有限维线性锥优化问题的对偶性、最优性、约束条件、CQ和严格互补性的已知结果和新结果。一个主题是锥和约束的最小表示的概念。这为预处理锥优化问题提供了一个框架,以避免由于强CQ(近似)损失而产生的理论和数值困难,严格可行性。我们包括了原始原始对偶对中的对偶间隙与同构对偶中缺乏严格互补性之间令人惊讶的理论联系的结果和例子。我们的重点是处理半定规划(SDP)的结果。 引用于22文件 理学硕士: 90立方 非线性规划 90C22型 半定规划 关键词:圆锥体优化;二元性;预处理;约束条件;二元缺口;半定规划;严格互补;漂亮的圆锥体;弯曲锥体;面部双完整锥体 PDF格式BibTeX公司 XML格式引用 \textit{L.Tunçel}和\textit{H.Wolkowicz},计算机。最佳方案。申请。53,第2号,619--648(2012;Zbl 1284.90080) 全文: 内政部 参考文献: [1] Abrams,R.A.,Ben-Israel,A.:最优条件和衰退锥。操作。第23(3)号决议,549–553(1975)·Zbl 0322.90047号 ·数字对象标识代码:10.1287/opre.23.349 [2] Alizadeh,F.,Goldfarb,D.:二阶锥规划。数学。程序。,序列号。B 95(1),3–51(2003)·Zbl 1153.90522号 ·文件编号:10.1007/s10107-002-0339-5 [3] Alizadeh,F.,Haeberly,J.-P.A.,Overton,M.L.:半定规划的原对偶内点方法:收敛速度、稳定性和数值结果。SIAM J.Optim公司。8, 746–768 (1998) ·Zbl 0911.65047号 ·doi:10.1137/S1052623496304700 [4] Andersen,E.D.,Roos,C.,Terlaky,T.:关于二阶和p阶锥优化中对偶性的注释。优化51(4),627–643(2002)·Zbl 1040.90047号 ·doi:10.1080/0233193021000030751 [5] Anjos,M.F.,Wolkowicz,H.:通过第二次提升来加强Max-Cut问题的半定松弛。离散应用程序。数学。119(1–2), 79–106 (2002) ·Zbl 1102.90369号 ·doi:10.1016/S0166-218X(01)00266-9 [6] Auslender,A.,Teboulle,M.:最优化和变分不等式中的渐近锥和函数。施普林格数学专著。施普林格,纽约(2003)·Zbl 1017.49001号 [7] Barker,G.P.:有限维圆锥面的晶格。线性代数应用。7, 71–82 (1973) ·兹布尔0249.15010 ·doi:10.1016/0024-3795(73)90038-4 [8] Barker,G.P.:凸锥中的面和对偶性。线性多线性代数6(3),161-169(1978/1979)·Zbl 0397.15013号 ·网址:10.1080/0308108780808817234 [9] Ben-Israel,A.,Ben-Tal,A.,Zlobec,S.:非线性规划中的最优性:可行方向方法。Wiley-Interscience,纽约(1981)·Zbl 0454.90043号 [10] Berman,A.:圆锥、矩阵和数学规划。施普林格,柏林,纽约(1973年)·Zbl 0256.90002号 [11] Bertsekas,D.P.,Tseng,P.:集交定理和最优解的存在性。数学。程序。110(2), 287–314 (2007) ·Zbl 1133.90009 ·doi:10.1007/s10107-006-0003-6 [12] Borwein,J.M.,Moors,W.B.:线性映射下凸锥闭性的稳定性。J.凸分析。16, 699–705 (2009) ·Zbl 1182.47057号 [13] Borwein,J.M.,Wolkowicz,H.:有限维范围抽象凸规划的最优性表征。J.奥斯特。数学。Soc.A 30(4),390-411(1980/1981)·Zbl 0469.90088号 ·doi:10.1017/S1446788700017882 [14] Borwein,J.M.,Wolkowicz,H.:con-convex编程问题的面部简化。J.奥斯特。数学。Soc.A 30(3),369–380(1980/81)·网址:10.1017/S1446788700017250 [15] Borwein,J.M.,Wolkowicz,H.:规范化抽象凸规划。数学杂志。分析。申请。83(2), 495–530 (1981) ·Zbl 0467.90076号 ·doi:10.1016/0022-247X(81)90138-4 [16] Borwein,J.M.,Wolkowicz,H.:抽象凸规划的无约束限定最优性特征。数学。程序。螺柱19,77–100(1982)·兹伯利0495.90085 ·doi:10.1007/BFb0120983 [17] Bröndsted,A.:Les faces d'un convene converxe abstrait。C.R.数学。阿卡德。科学。巴黎,Sér。A-B 280(7),A435–A437(1975),另见第Aii页·兹比尔0297.52002 [18] Cheung,Y.-L.,Schurr,S.,Wolkowicz,H.:退化半定程序的预处理和约简。技术报告CORR 2011-02,安大略省滑铁卢滑铁卢大学(2011)。www.optimization-online.org/DB_HTML/2011/02/2929.HTML·Zbl 1288.90060号 [19] Chua,C.B.:通过T-代数将齐次锥和正定锥联系起来。SIAM J.Optim公司。14(2), 500–506 (2003) ·Zbl 1046.90058号 ·doi:10.1137/S1052623402406765 [20] Chua,C.B.,Tunçel,L.:凸表示的不变性和效率。数学。程序。111(1–2), 113–140 (2008) ·Zbl 1157.90010号 ·doi:10.1007/s10107-006-0072-6 [21] Clarke,F.H.:优化和非光滑分析。加拿大数学。Soc.专著和高级文本系列。威利,纽约(1983年)·Zbl 0582.49001号 [22] Deutsch,F.:强锥壳相交性质在凸优化和近似中的作用。收录于:近似理论九,第一卷,田纳西州纳什维尔,1998年。因诺夫。申请。数学。,第105–112页。范德比尔特大学出版社,纳什维尔(1998)·Zbl 0929.49009号 [23] 杜芬,R.J.:无限程序。收录于:Tucker,A.W.(编辑)《线性等式和相关系统》,第157-170页。普林斯顿大学出版社,普林斯顿(1956)·Zbl 0072.37603号 [24] Faybusovich,L.:关于Nesterov的半无限编程方法。《应用学报》。数学。74(2), 195–215 (2002) ·Zbl 1027.90098号 ·doi:10.1023/A:1020643711475 [25] Freund,R.M.,Ordóñez,F.,Toh,K.C.:半定规划问题的行为度量及其与IPM迭代计数的相关性。USC-ISE第2005-02号工作文件,麻省理工学院(2005)。网址:www-rcf.usc.edu/\(\sim\)fordon/·兹比尔1278.90447 [26] Freund,R.M.,Vera,J.R.:通过椭球算法实现圆锥线性形式凸优化的基于条件的复杂性。SIAM J.Optim公司。10(1), 155–176 (1999) ·Zbl 0953.90044号 ·doi:10.1137/S105262349732829X [27] Fujisawa,K.,Fukuda,M.,Nakata,K.:通过矩阵补全预处理稀疏半定程序。最佳方案。方法软件。21(1), 17–39 (2006) ·Zbl 1181.90214号 ·doi:10.1080/105567805123319523 [28] Goldman,A.J.,Tucker,A.W.:线性规划理论。在:线性不等式和相关系统,第53-97页。数学研究年鉴,第38卷。普林斯顿大学出版社,普林斯顿,(1956年)·Zbl 0072.37601号 [29] Gondzio,J.:在应用内点方法之前对线性程序进行预解分析。信息J.计算。9(1), 73–91 (1997) ·Zbl 0890.90143号 ·doi:10.1287/ijoc.9.1.73 [30] Gonzalez-Lima,M.,Wei,H.,Wolkowicz,H.:非退化假设下线性规划的稳定原对偶方法。计算。最佳方案。申请。44(2), 213–247 (2009) ·兹比尔1184.90100 ·doi:10.1007/s10589-007-9157-2 [31] Guignard,M.:Banach空间中数学规划问题的广义Kuhn-Tucker条件。SIAM J.控制7(2),232-241(1969)·Zbl 0182.53101号 ·数字对象标识代码:10.1137/0307016 [32] Halická,M.,de Klerk,E.,Roos,C.:关于半定优化中中心路径的收敛性。SIAM J.Optim公司。12(4), 1090–1099 (2002) ·Zbl 1035.90100号 ·doi:10.1137/S1052623401390793 [33] Helmberg,C.:半定规划。欧洲药典。第137(3)号决议,461-482(2002)·Zbl 1008.90044号 ·doi:10.1016/S0377-2217(01)00143-6 [34] Holmes,R.B.:几何泛函分析及其应用。施普林格,柏林,(1975)·Zbl 0336.46001号 [35] Jeyakumar,V.,Lee,G.M.:稳定Farkas引理和锥凸规划对偶的完全刻画。数学。程序。114(2,Ser.A),335–347(2008)·Zbl 1145.90074号 ·doi:10.1007/s10107-007-0104-x [36] Jeyakumar,V.,Li,G.Y.:凸规划中的稳定零对偶间隙:完全对偶特征及其在半定规划中的应用。数学杂志。分析。申请。360(1), 156–167 (2009) ·Zbl 1208.90134号 ·doi:10.1016/j.jmaa.2009.06.043 [37] Ji,J.,Potra,F.A.,Sheng,R.:关于半定规划的预测-校正方法的局部收敛性。SIAM J.Optim公司。10(1), 195–210 (1999) ·Zbl 0959.65076号 ·doi:10.1137/S1052623497316828 [38] Jibetean,D.,Laurent,M.:全局无约束多项式优化的半定逼近。SIAM J.Optim公司。16(2), 490–514 (2005) ·Zbl 1103.90073号 ·数字对象标识码:10.1137/04060562X [39] Koberstein,A.,Suhl,U.H.:大型LP问题对偶单纯形方法的进展:实用对偶相位1算法。计算。最佳方案。申请。37(1), 49–65 (2007) ·Zbl 1161.90438号 ·doi:10.1007/s10589-007-9022-3 [40] Kojima,M.,Shida,M.,Shindoh,S.:SDP和SDLCP的预测-校正不可行内点算法的局部收敛性。技术报告,日本东京理工大学信息科学系,东京(1996)·兹标0897.90183 [41] Krishnan,K.,Terlaky,T.:组合优化中的内点和半定方法。在:图论和组合优化。GERAD 25 Anniv公司。Ser,第8卷,第101-157页。施普林格,纽约(2005)·邮编1098.90089 [42] Krislock,N.,Wolkowicz,H.:使用半定表示和面部还原的显式传感器网络定位。SIAM J.Optim公司。20(5), 2679–2708 (2010) ·Zbl 1229.90250号 ·doi:10.1137/090759392 [43] Kurcyusz,S.:关于无限维极值问题的拉格朗日乘子的存在性。牛市。阿卡德。波兰。科学。,Sér。科学。技术22,799–802(1974)·Zbl 0296.90050号 [44] Kurcyusz,S.:关于Banach空间中拉格朗日乘子的存在性和不存在性。J.优化。理论应用。20(1),81–110(1976)·Zbl 0309.49010号 ·doi:10.1007/BF00933349 [45] Lobo,M.S.,Vandenberghe,L.,Boyd,S.,Lebret,H.:二阶锥规划的应用。线性代数应用。284(1–3), 193–228 (1998) ·兹比尔0946.90050 ·doi:10.1016/S0024-3795(98)10032-0 [46] Luenberger,D.G.:向量空间方法优化。威利,纽约(1969年)·Zbl 0176.12701号 [47] Luo,Z.-Q.,Sturm,J.F.,Zhang,S.:半定规划对称原对偶路径允许算法的超线性收敛。SIAM J.Optim公司。8, 59–81 (1998) ·Zbl 0910.90229号 ·doi:10.1137/S1052623496299187 [48] Mészáros,C.,Gondzio,J.:《在应用内点方法之前对线性程序进行预解分析》的补遗【INFORMS J.Compute.9(1997),第1期,73–91;MR 99a:90120】,Gondjio著。信息J.计算。13(2), 169–170 (2001) ·Zbl 1238.90095号 ·doi:10.1287/ijoc.13.2.169.10519 [49] 蒙特罗,R.D.C.:半定规划的一阶和二阶方法。数学。程序。,序列号。B 97(1-2),209-244(2003)·Zbl 1035.90057号 [50] Nesterov,Y.E.,Nemirovski,A.S.:凸规划中的内点多项式算法。SIAM,费城(1994) [51] Pais,A.G.:圆锥极限点和面。数学杂志。分析。申请。126(1), 223–228 (1987) ·Zbl 0632.90001号 ·doi:10.1016/0022-247X(87)90087-4 [52] Pataki,G.:关于封闭凸锥线性图像的封闭性。数学。操作。第32(2)号决议,395–412(2007年)·Zbl 1341.90146号 ·doi:10.1287/门1060.0242 [53] Pólik,I.,Terlaky,T.:对称锥上优化的精确对偶性。加拿大安大略省汉密尔顿麦克马斯特大学技术报告(2007年) [54] Potra,F.A.,Sheng,R.:不收缩中心路径邻域的半定规划的预测-校正方法的超线性收敛性。牛市。数学。社会科学。数学。鲁姆。43(91)(2)、107–124(2000)·Zbl 0999.90025号 [55] Pshenichniyi,B.N.:极值的必要条件。《纯粹与应用数学》,第4卷。Dekker,纽约(1971年)。K.Makowski译自俄语。L.W.Neustadt编辑的翻译 [56] Ramana,M.V.:多二次规划和半定规划问题的算法分析。博士论文,约翰霍普金斯大学,马里兰州巴尔的摩(1993) [57] Ramana,M.V.:半定规划的精确对偶理论及其复杂性含义。数学。程序。77(2), 129–162 (1997) ·Zbl 0890.90144号 [58] Ramana,M.V.,Tunçel,L.,Wolkowicz,H.:半定规划的强对偶性。SIAM J.Optim公司。7(3), 641–662 (1997) ·Zbl 0891.90129号 ·doi:10.1137/S1052623495288350 [59] Renegar,J.:线性规划的一些摄动理论。数学。程序。,序列号。A 65(1),73–91(1994)·Zbl 0818.90073号 ·doi:10.1007/BF01581690 [60] Renegar,J.:将条件度量纳入线性规划的复杂性理论。SIAM J.Optim公司。5(3), 506–524 (1995) ·Zbl 0838.90139号 ·doi:10.1137/0805026 [61] Renegar,J.:线性规划、复杂性理论和初等函数分析。数学。程序。,序列号。A 70(3),279–351(1995)·Zbl 0855.90085号 [62] Robinson,S.M.:不等式系统的稳定性定理,第二部分:可微非线性系统。SIAM J.数字。分析。13, 497–513 (1976) ·Zbl 0347.90050号 ·数字对象标识代码:10.1137/0713043 [63] Rockafellar,R.T.:凸分析。普林斯顿大学数学里程碑。普林斯顿大学出版社,普林斯顿(1997)。重印1970年原版,普林斯顿平装本 [64] Schurr,S.P.:私人通信。安大略省滑铁卢市滑铁卢大学技术报告(2008年) [65] Shapiro,A.,Nemirovskii,A.:线性二次曲线问题的对偶性。佐治亚州亚特兰大乔治亚理工学院工业和系统工程学院技术报告(2003年) [66] Shapiro,A.,Scheinberg,K.:对偶性和最优性条件。在:半定规划手册。国际。序列号。操作。资源管理科学。,第27卷,第67-110页。Kluwer学术,波士顿(2000)·Zbl 0957.90517号 [67] Todd,M.J.:半定规划。Acta Numer公司。10, 515–560 (2001) ·Zbl 1105.65334号 [68] Tunçel,L.:关于非凸集的SDP松弛的Slater条件。操作。Res.Lett公司。29(4), 181–186 (2001) ·Zbl 0993.90075号 ·doi:10.1016/S0167-6377(01)00093-1 [69] Waki,H.,Kim,S.,Kojima,M.,Muramatsu,M.:结构稀疏多项式优化问题的平方和和半定程序松弛。SIAM J.Optim公司。17(1), 218–242 (2006) ·Zbl 1109.65058号 ·数字对象标识代码:10.1137/050623802 [70] Waksman,Z.,Epelman,M.:关于凸集中的点分类。数学。扫描。38(1), 83–96 (1976) ·Zbl 0331.52004号 [71] Wei,H.,Wolkowicz,H.:半定规划中硬实例的生成和求解。数学。程序。125(1), 31–45 (2010) ·兹比尔1198.90317 ·doi:10.1007/s10107-008-0256-3 [72] Wolkowicz,H.:矩阵理论中优化的一些应用。线性代数应用。40, 101–118 (1981) ·Zbl 0472.90078号 ·doi:10.1016/0024-3795(81)90143-9 [73] Wolkowicz,H.,Saigal,R.,Vandenberghe,L.(编辑):半定规划手册。国际运筹学系列;《管理科学》,第27卷。Kluwer学术,波士顿(2000)·Zbl 0951.90001号 [74] Wolkowicz,H.,Zhao,Q.:图划分问题的半定规划松弛。离散应用程序。数学。96/97, 461–479 (1999) ·Zbl 0932.90030号 ·doi:10.1016/S0166-218X(99)00102-X [75] Zhao,Q.,Karisch,S.E.,Rendl,F.,Wolkowicz,H.:二次分配问题的半定规划松弛。J.库姆。最佳方案。2(1),71–109(1998)·Zbl 0904.90145号 ·doi:10.1023/A:1009795911987 [76] Zowe,J.,Kurcyusz,S.:Banach空间中数学规划问题的正则性和稳定性。申请。数学。最佳方案。5, 49–62 (1979) ·兹比尔0401.90104 ·doi:10.1007/BF01442543 [77] Zuluaga,L.F.,Vera,J.,Peña,J.:半正定形式锥的LMI近似。SIAM J.Optim公司。16(4), 1076–1091 (2006) ·Zbl 1131.90040号 ·文件编号:10.1137/03060151X 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不声称其完整性或完全匹配。