×
亚当·库尔皮兹;萨穆利·勒帕宁;莫纳尔多·马斯特罗利利

对称公式的平方和层次下限。 （英语） Zbl 1445.90056号

数学。程序。 182，编号1-2（A），369-397（2020）.
摘要：我们介绍了一种在初始问题公式呈现高度对称性时证明平方和（SoS）/Laserre层次结构下限的方法。我们的主要技术定理允许我们将正半定性的研究简化为对“行为良好”的一元多项式不等式的分析。我们在两个问题上演示了该技术，一个是无约束问题，另一个是有约束问题。更准确地说，我们给出了完整图的整数截多面体的Grigoriev/Laurent下界的一个简短的初等证明。我们还表明，SoS层次结构需要非恒定的轮数，以提高初始完整性差距2Min背包用覆盖不等式加强线性规划。

引用于1文件

MSC公司：

90C05（二氧化碳） 线性规划
90C22型 半定规划

关键词：

平方和层次结构;完整性缺口
PDF格式BibTeX公司 XML格式引用
\textit{A.Kurpisz}等人，《数学》。程序。182，编号1--2（A），369--397（2020；Zbl 1445.90056）
全文： 内政部 arXiv公司

参考文献：

[1] Bansal，N.、Buchbinder，N.和Naor，J.：广义缓存的随机竞争算法。收录于：STOC，第235-244页（2008年）·Zbl 1231.68278号
[2] Bansal，N.，Gupta，A.，Krishnaswamy，R.：广义最小和集覆盖的常数因子近似算法。收录于：SODA，第1539-1545页（2010年）·Zbl 1288.68254号
[3] Bansal，N.，Pruhs，K.：调度的几何结构。收录于：FOCS，第407-414页（2010年）
[4] Barak，B.，Brandáo，F.G.S.L.，Harrow，A.W.，Kelner，J.A.，Steurer，D.，Zhou，Y.：超收缩性，平方和证明及其应用。收录于：STOC，第307-326页（2012年）·Zbl 1286.68176号
[5] Barak，B.，Chan，S.O.，Kothari，P.：两两独立的平方和下限。收件人：STOC（2015）。arXiv:1501.00734号·Zbl 1321.68295号
[6] 巴拉克，B。；Steurer，D.，《平方和证明和寻求最佳算法》，Electron。集体计算。复杂。（ECCC），21，59（2014）·Zbl 1373.68253号
[7] Bhaskara，A.，Charikar，M.，Vijayaraghavan，A.，Guruswami，V.，Zhou，Y.：最稠密k-子图的强SDP松弛的多项式完整性间隙。在：SODA，第388-405页（2012）·Zbl 1423.68202号
[8] Bienstock，D。；Zuckerberg，M.，《0-1整数规划的子集代数提升算子》，SIAM J.Optim。，15, 1, 63-95 (2004) ·Zbl 1077.90041号 ·doi:10.1137/S1052623402420346
[9] Blekherman，G.，ao Gouveia，J.，Pfeiffer，J.：超立方体上的平方和。CoRR arXiv:1402.4199（2014）·Zbl 1375.14187号
[10] Blekherman，G.，Parrilo，P.，Thomas，R.：半定优化和凸代数几何。工业和应用数学学会，宾夕法尼亚州费城（2012年）。10.1137/1.9781611972290 ·Zbl 1260.90006号
[11] Carnes，T.，Shmoys，D.B.：容量受限覆盖问题的原对偶模式。载：国际化学品安全方案，第288-302页（2008年）·Zbl 1143.90375号
[12] Carr，R.D.，Fleischer，L.，Leung，V.J.，Phillips，C.A.：加强容量受限网络设计的完整性差距并覆盖问题。收录于：SODA，第106-115页（2000年）·Zbl 0970.90069号
[13] Chakrabarty，D.，Grant，E.，Könemann，J.：关于列限制和优先级覆盖整数规划。摘自：IPCO，第355-368页（2010年）·Zbl 1285.90014号
[14] Cheung，KKH，一些多面体的Lasserre秩的计算，数学。操作。研究，32，1，88-94（2007）·Zbl 1278.90331号 ·doi:10.1287/门1060.0212
[15] Chlamtac，E。；Tulsiani，M。；Anjos，M。；Lasserre，J.，凸松弛和积分间隙，《半定、二次和多项式优化手册》，139-169（2011），柏林：斯普林格出版社，柏林·Zbl 1334.90099号
[16] 库克·W·。；Dash，S.，关于多面体的矩阵切割秩，数学。操作。第26、1、19-30号决议（2001年）·Zbl 1073.90574号 ·doi:10.1287/门261.1.19.10593
[17] Fawzi，H.，Saunderson，J.，Parrilo，P.：有限阿贝尔群上的稀疏平方和证明。CoRR.arXiv:1503.01207（2015）·兹伯利1327.90175
[18] Godsil，C.：协会计划（2010年）。课堂笔记可在http://quoll.uwaterloo.ca/mine/Notes/assoc2.pdf ·Zbl 0848.05070号
[19] 戈曼斯，墨西哥；Tunçel，L.，半正定约束何时有助于提升过程？，数学。操作。第26、4、796-815号决议（2001年）·Zbl 1082.90548号 ·doi:10.1287/门26.4.796.10012
[20] Grigoriev，D.，《背包位置信号的复杂性证明》，计算。复杂。，10, 2, 139-154 (2001) ·Zbl 0992.68077号 ·doi:10.1007/s00037-001-8192-0
[21] Grigoriev，D.，奇偶性的正泰伦茨微积分证明的线性下界，Theor。计算。科学。，259, 1-2, 613-622 (2001) ·Zbl 0974.68192号 ·doi:10.1016/S0304-3975（00）00157-2
[22] Grigoriev，D.，Hirsch，E.A.，Pasechnik，D.V.：半代数证明的复杂性。收录于：STACS，第419-430页（2002年）·Zbl 1054.03035号
[23] 洪，S。；Tunçel，L.，组合优化多面体提升和项目秩的下限分析的统一，离散应用。数学。，156, 1, 25-41 (2008) ·Zbl 1152.90538号 ·doi:10.1016/j.dam.2007.07.021
[24] 科特，S.：关于独特的双谚语单回合游戏的力量。收录于：STOC，第767-775页（2002年）。10.1145/509907.510017 ·Zbl 1192.68367号
[25] Kurpisz，A.，Leppänen，S.，Mastrolilli，M.：最小和单机调度问题的Lasserre下界。收录于：《欧洲账户体系》，第853-864页（2015年）·Zbl 1467.68058号
[26] Kurpisz，A.，Leppänen，S.，Mastrolilli，M.：关于0/1 lasserre层次结构的最难问题公式。收录于：ICALP，第872-885页（2015年）·兹比尔1440.90043
[27] Kurpisz，A.，Leppänen，S.，Mastrolilli，M.：二元多项式优化问题的紧致平方和下限。第78:1-78:14页（2016年）。10.4230/LIPIcs公司。2016年7月28日·Zbl 1388.90094号
[28] Lasserre，JB，多项式全局优化与矩问题，SIAM J.Optim。，11, 3, 796-817 (2001) ·Zbl 1010.90061号 ·doi:10.1137/S1052623400366802
[29] Laurent，M.，《0-1编程中Sherali-Adams、Lovász-Schrijver和Lasserre松弛的比较》，数学。操作。第28、3、470-496号决议（2003年）·邮编1082.90084 ·doi:10.1287/门28.3.470.16391
[30] Laurent，M.，切割多面体半定层次中迭代次数的下限，数学。操作。Res.，28，4，871-883（2003）·Zbl 1082.90085 ·doi:10.1287/门28.4.871.20508
[31] Lee，J.R.，Raghavendra，P.，Steurer，D.：半定规划松弛大小的下界。在：STOC，第567-576页（2015）。10.1145/2746539.2746599 ·Zbl 1321.90099号
[32] Lee，T.，Prakash，A.，de Wolf，R.，Yuen，H.：关于对称二次函数的平方和度。摘自：第31届计算复杂性会议，CCC 2016，日本东京，第17:1-17:31页（2016）。10.4230/LIPIcs公司。CCC.2016年17月·Zbl 1380.68203号
[33] Lovász，L。；Schrijver，A.，矩阵和集函数锥与0-1优化，SIAM J.Optim。，1, 2, 166-190 (1991) ·Zbl 0754.90039号 ·数字对象标识代码：10.1137/0801013
[34] Meka，R.，Potechin，A.，Wigderson，A.：种植集团的平方和下限。收录于：STOC，第87-96页（2015年）。10.1145/2746539.2746600 ·Zbl 1321.05241号
[35] O'Donnell，R.：近似性和证明复杂性（2013）。在ELC东京演讲。幻灯片的可用位置http://www.cs.cmu.edu/odonnell/slides/approx-proof-cxty.pps
[36] Parrilo，P.：鲁棒性和优化中的结构化半定程序和半代数几何方法。加州理工学院博士论文（2000年）
[37] Raghavendra，P.：每个CSP的最优算法和不近似结果？收录于：STOC，第245-254页（2008年）。10.1145/1374376.1374414 ·兹比尔1231.68142
[38] Rothvoß，T.：近似算法中的拉塞尔层次（2013）。附：MAPSP 2013-教程讲稿
[39] Schoenebeck，G.：某些k-csp的线性水平Lasserre下界。收录于：FOCS，第593-602页（2008年）
[40] 史蒂芬·T。；Tunçel，L.，关于通过半定提升表示匹配多面体，数学。操作。第24、1、1-7号决议（1999年）·Zbl 0977.90078号 ·doi:10.1287/moor.24.1.1
[41] Tulsiani，M.：Lasserre层级中的CSP缺口和减少。收录于：STOC，第303-312页（2009年）·Zbl 1304.90157号
[42] Wolsey，LA，0-1变量线性不等式的面，数学。程序。，8, 168-175 (1975) ·Zbl 0314.90063号 ·doi:10.1007/BF01580441
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。