胡浩;雷娜塔·索蒂洛夫;亨利·沃尔科维奇 对称约化半定和双非负程序的面约化。 （英语） Zbl 1519.90153号 数学。程序。 200，编号1（A），475-529（2023）. 小结：我们考虑面部缩小，法国和对称性减少，SR公司，半定规划技术，可持续发展计划我们表明，在乘法器的交替方向方法中，这两者惊人地很好地拟合在一起，ADMM公司，方法。事实上，这种方法允许简单地添加非负约束，并解决双重非负约束，挪威船级社许多类难组合问题的松弛。我们还表明，奇异度在SR公司，而且那个挪威船级社这里考虑的松弛具有一阶奇异性，在法国.组合法国和SR公司在数值稳定性和运行时间方面都有显著改善ADMM公司和内点法。我们对各种方法进行了测试挪威船级社包括大小大于（n=500）的二次指派问题在内的硬组合问题的松弛。在应用约简技术之前，这转化为250000阶和（625乘以10^8）非负约束变量的半定约束。 引用于2文件 理学硕士： 90立方厘米22 半定规划 90C25型 凸面编程 关键词：半定规划;群对称性;面部缩小术;二次指派问题;顶点分隔符问题 软件：SDPNAL公司+;莫塞克;Matrix市场;ADMM_QAP公司;YALMIP公司;塞杜米;QAPLIB公司 PDF格式BibTeX公司 XML格式引用 \textit{H.Hu}等人，数学。程序。200，编号1（A），475--529（2023；Zbl 1519.90153） 全文： 内政部 OA许可证 参考文献： [1] 安德森，E.D.，安德森，K.D.：线性规划的mosek内点优化器：齐次算法的实现。《高性能优化》，第197-232页。斯普林格（2000）·Zbl 1028.90022号 [2] Bachoc，C.，Gijswijt，D.C.，Schrijver，A.，Vallentin，F.：不变半定程序。收录：Anjos，F.，Lasserre，J.B.（编辑）《关于半定、二次曲线和多项式优化的手册》，国际出版社第166卷。序列号。操作。资源管理科学。，第219-269页。施普林格，纽约（2012）·Zbl 1334.90097号 [3] 巴特，SN；Leighton，FT，解决超大规模集成电路图形布局问题的框架，J.Compute。系统。科学。，28, 2, 300-343 (1984) ·兹伯利0543.68052 [4] Boisvert，R.F.、Pozo，R.、Remington，K.、Barrett，R.F、Dongarra，J.J.：矩阵市场：测试矩阵集合的网络资源。Boisvert，R.F.（编辑）《数值软件的质量》，第125-137页。马萨诸塞州波士顿斯普林格（1997） [5] Borwein，J.M.，Wolkowicz，H.：有限维范围抽象凸规划的最优性表征。J.澳大利亚。数学。Soc.序列号。A、 30（4）:390-411，（1980/81）·Zbl 0469.90088号 [6] Borwein，J.M.，Wolkowicz，H.：con-convex编程问题的面部简化。J.澳大利亚。数学。Soc.序列号。A、 30（3）:369-380，（1980/81）·Zbl 0464.90086号 [7] JM Borwein；Wolkowicz，H.，正则化抽象凸程序，J.数学。分析。申请。，83, 2, 495-530 (1981) ·Zbl 0467.90076号 [8] 博伊德，S。；北卡罗来纳州帕里赫。；朱，E。；佩莱托，B。；Eckstein，J.，《通过交替方向乘数法进行分布式优化和统计学习》，Found。趋势马赫数。学习。，3, 1, 1-122 (2011) ·Zbl 1229.90122号 [9] 伯克德，RE；东南部卡里什；Rendl，F.，QAPLIB-二次分配问题库，J.Global Optim。，10, 4, 391-403 (1997) ·Zbl 0884.90116号 [10] Chen，Y.，Ye，X.：单纯形投影（2011）。arXiv公司：1101.6081 [11] Condat，L.，单纯形和（L_1）球的快速投影，数学。程序。，158, 1-2, 575-585 (2016) ·Zbl 1347.49050号 [12] de Klerk，E.，《利用半定规划中的特殊结构：理论和应用综述》，《欧洲期刊》，Oper。第201、1、1-10号决议（2010年）·Zbl 1177.90315号 [13] de Klerk，E.，de Oliveira Filho，F.M.，Pasechnik，D.V.：通过关联方案放松组合问题。收录于：《半定、二次曲线和多项式优化手册》，Internat第166卷。序列号。操作。资源管理科学。，第171-199页。施普林格，纽约（2012）·Zbl 1334.90100号 [14] de Klerk，E.，Dobre，C.，（\dot{{\rm P}}}）asechnik，D.V.：矩阵代数的数值块对角化及其在半定规划中的应用。数学。程序。，129（1，序列B）：91-111，（2011）·Zbl 1225.90098号 [15] 德克勒克，E。；Sotirov，R.，利用二次分配问题的半定规划松弛中的群对称性，数学。程序。，122, 2, 225-246 (2010) ·Zbl 1184.90120号 [16] 德克勒克，E。；Sotirov，R.，具有适当对称性的二次分配问题的改进半定规划界，数学。程序。，133, 1-2, 75-91 (2012) ·Zbl 1270.90045号 [17] Delsarte，P.：编码理论关联方案的代数方法。法国卢浮天主教大学博士论文（1973年）·Zbl 1075.05606号 [18] Drusvyatskiy，D.，Wolkowicz，H.：圆锥优化中退化的许多方面。已找到。Trends®Optim.公司。，3(2):77-170, (2017) [19] Eckstein，J.：从ADMM推导解的值边界。最佳方案。莱特。14(6), 1289-1303 (2020) ·Zbl 1448.90075号 [20] Fu，B.，Oprisan，S.A.，Xu，L.：多向宽带几何分离器和蛋白质折叠。摘自：算法与计算国际研讨会，第995-1006页。斯普林格（2005）·Zbl 1175.68490号 [21] 藤泽，K。；小岛，M。；Nakata，K.，利用半定规划的原对偶内点方法中的稀疏性，数学。程序。，79, 235-253 (1997) ·Zbl 0887.90156号 [22] 盖特曼，K。；帕里罗，PA，《对称群，半定程序和平方和》，J.Pure Appl。代数，192，1-3，95-128（2004）·Zbl 1108.13021号 [23] Gatermann，K。；Parrilo，PA，对称群，半定程序和平方和，J.Pure Appl。代数，192，1-3，95-128（2004）·Zbl 1108.13021号 [24] Gijswijt，D.：矩阵代数和代码的半定编程技术。博士论文（2010） [25] Helmberg，C。；伦德尔，F。；莫哈尔，B。；Poljak，S.，图中带宽和分隔符问题的谱方法，线性多线性代数，39，1-2，73-90（1995）·兹比尔083205093 [26] Hu，H.，Sotirov，R.：关于求解二次最短路径问题。信息J.计算。32(2), 219-233 (2020) ·Zbl 1451.90018号 [27] Jargalsaikhan，B。；吕克曼，JJ，关于双非负锥严格互补的一个注记，最优化，68，2-3，457-464（2019）·Zbl 1411.90255号 [28] Johnson，D.S.，Mehrotra，A.，Trick，M.A.：COLOR02/03/04：图着色及其推广，（2002） [29] Kanno，Y。；大崎，M。；Murota，K。；Katoh，N.，半定程序内点方法中的群对称性，Optim。工程，2293-320（2001）·Zbl 1035.90056号 [30] Karisch，S.E.，Rendl，F.：半定规划和图均分。《半定和内点方法主题》，罗德岛普罗维登斯，1998年，菲尔德数学科学研究所通信系列，第18卷。美国数学学会·Zbl 0905.90171号 [31] 小岛，M.，小岛，S.，Hara，S.：半定规划的线性代数。技术报告1004，东京理工大学信息科学系，日本东京，1997年。线性矩阵不等式和半正定规划（日本）（京都，1996）·Zbl 0971.90089号 [32] Kungurtsev，V.，Marecek，J.：半定规划的两步预处理。摘自：第59届IEEE决策与控制会议（CDC），第384-389页（2020年） [33] Leighton，F.T.：超大规模集成电路中的复杂性问题：交换机和其他网络的最佳布局，（1983年） [34] Li，M.，Andersen，D.G.，Smola，A.J.：通过并行子模块近似进行图形分区以加速分布式机器学习。arXiv预印本arXiv:11505.04636，（2015） [35] 李，X。；Pong，TK公司；Sun，H。；Wolkowicz，H.，最小割问题的双重非负松弛的严格压缩Peaceman-Rachford分裂方法，计算。最佳方案。申请。，78, 3, 853-891 (2021) ·Zbl 1465.05146号 [36] 利普顿，RJ；罗丝，DJ；Tarjan，RE，广义嵌套解剖，SIAM J.Numer。分析。，16, 2, 346-358 (1979) ·Zbl 0435.65021号 [37] 利普顿，RJ；Tarjan，RE，平面分离定理的应用，SIAM J.Compute。，9, 3, 615-627 (1980) ·Zbl 0456.68077号 [38] Löfberg，J.：Yalmip：matlab中建模和优化的工具箱。在：CACSD会议记录，第3卷。台湾台北（2004） [39] Löfberg，J.，《实践中的预处理和后处理平方和程序》，IEEE Trans。自动。控制，54，5，1007-1011（2009）·Zbl 1367.90002号 [40] 劳伦索，BF；Muramatsu，M。；Tsuchiya，T.，面部还原和部分多面体，SIAM J.Optim。，28, 3, 2304-2326 (2018) ·Zbl 1401.90259号 [41] 米勒，德国劳埃德船级社；滕，S-H；瑟斯顿，W。；Vavasis，SA，有限元网格的几何分隔符，SIAM J.Sci。计算。，19, 2, 364-386 (1998) ·Zbl 0914.65123号 [42] Mittelmann，H。；彭，J.，基于半定规划的汉明和曼哈顿距离矩阵二次分配问题的界估计，SIAM J.Optim。，20, 6, 3408-3426 (2010) ·Zbl 1211.90162号 [43] Murota，K。；Kanno，Y。；小岛，M。；Kojima，S.，矩阵代数块对角分解的数值算法及其在半定规划中的应用，Jpn。J.Ind.申请。数学。，27, 1, 125-160 (2010) ·兹比尔1204.65068 [44] 奥利维拉，DE；Wolkowicz，H。；Xu，Y.，ADMM为QAP的SDP放松，数学。程序。计算。，10, 4, 631-658 (2018) ·兹比尔1411.90258 [45] Percenter，F。；Parrilo，PA，通过Jordan代数对半定程序进行降维，数学。程序。，181, 1, 51-84 (2020) ·邮编1468.90080 [46] Percenter，F.N.：半定和二次曲线优化中的约化方法。麻省理工学院博士论文（2017） [47] Pirim，H。；埃克西奥卢，B。；帕金斯，AD；Yuüceer，圣彼得堡。，高通量基因表达数据的聚类，计算机操作。研究，39，12，3046-3061（2012）·Zbl 1349.62554号 [48] Pong，TK公司；Sun，H。；Wang，N。；Wolkowicz，H.，特征值，二次规划和切割最小化问题的半定规划松弛，计算。最佳方案。申请。，63, 2, 333-364 (2016) ·Zbl 1360.90263号 [49] Povh，J。；Rendl，F.，图分区的共正编程方法，SIAM J.Optim。，18, 1, 223-241 (2007) ·Zbl 1143.90025号 [50] Povh，J。；Rendl，F.，二次分配问题的同正和半定松弛，离散优化。，6, 3, 231-241 (2009) ·Zbl 1167.90597号 [51] 伦德尔，F。；Sotirov，R.，最小割和顶点分隔问题，计算。最佳方案。申请。，69, 1, 159-187 (2018) ·Zbl 1393.90126号 [52] Schrijver，A.，Delsarte和Lovász边界的比较，IEEE Trans。《信息论》，25，4，425-429（1979）·Zbl 0444.94009号 [53] Sotirov，R.，图分区问题的一种有效的半定规划松弛，INFORMS J.Comput。，26, 1, 16-30 (2013) ·Zbl 1356.90104号 [54] Sotirov，R.，《重新审视图形二分法》，Ann.Oper。第265、1、143-154号决议（2018年）·兹比尔1392.90120 [55] Sremac，S.：半定规划中的误差界和奇异度。滑铁卢大学博士论文（2019年） [56] Sremac，S。；Woerdeman，HJ；Wolkowicz，H.，半定规划中的误差界和奇异度，SIAM J.Optim。，31, 1, 812-836 (2021) ·Zbl 1462.90086号 [57] Sturm，JF，Using SeDuMi 1.02，一个用于对称锥优化的Matlab工具箱，Optim。方法软件。，11，1-4625-653（1999年）·Zbl 0973.90526号 [58] Sturm，JF，线性矩阵不等式的误差界，SIAM J.Optim。，10, 4, 1228-1248 (2000) ·Zbl 0999.90027号 [59] Sun，D。；Toh，KC；袁，Y。；Zhao，XY，SDPNAL\（+\）：一个用于有界约束半定规划的Matlab软件（1.0版），Optim。方法软件。，35, 1, 87-115 (2020) ·Zbl 1432.90104号 [60] Truetsch，U.：二次分配问题的基于半定规划的分枝定界框架。蒂尔堡大学（2014） [61] Tunçel，L.，关于非凸集的SDP松弛的Slater条件，Oper。Res.Lett.公司。，29, 4, 181-186 (2001) ·Zbl 0993.90075号 [62] Vallenton，F.，《半定程序中的对称性》，线性代数应用。，430, 1, 360-369 (2009) ·Zbl 1165.90017号 [63] van Dam，ER；Sotirov，R.，图分割问题的半定规划和特征值界，数学。程序。，151, 2, 379-404 (2015) ·Zbl 1328.90103号 [64] 范登伯格，L。；Andersen，MS，弦图和半定优化，Found。趋势选项。，1, 4, 241-433 (2015) [65] Waki，H。；Muramatsu，M.，一种用于寻找稀疏SOS表示的面部缩小算法，Oper。Res.Lett.公司。，38, 5, 361-365 (2010) ·Zbl 1205.90219号 [66] 韦德伯恩，JHM，关于超复数，Proc。伦敦。数学。学会，2，6，77-118（1908） [67] Wolkowicz，H.，Zhao，Q.：图划分问题的半定规划松弛。离散应用程序。数学。，96/97:461-479, 1999. 入选特别编辑评选，1999年版·Zbl 0932.90030号 [68] Yang，L。；Sun，D。；Toh，K-C，\（{\rm SDPNAL}+\）：非负约束半定规划的优化半光滑Newton-CG增广拉格朗日方法，数学。程序。计算。，7, 3, 331-366 (2015) ·Zbl 1321.90085号 [69] Zhao，Q.，Karisch，S.E.，Rendl，F.，Wolkowicz，H.，二次分配问题的半定规划松弛。J.库姆。最佳方案。2(1):71-109 (1998) ·兹比尔0904.90145 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。