×
布里埃，乔普;丹尼尔·达杜什;塞巴斯蒂安·波库塔

具有高半定扩张复杂性的0/1多面体的存在性。 （英语） Zbl 1325.90066号

数学。程序。 153，第1（B）号，179-199（2015）.
摘要：在[T.Rothvoß同上，第142号，第1-2（A）、255-268（2013年；Zbl 1282.90245号)]证明了存在一个0/1多面体（顶点在（0,1）^n中的多面体），因此任何投影到它的高维多面体都必须有（2^{varOmega（n）}面，即其线性扩展复杂度是指数的。是否存在一个具有高正半定扩张复杂性的0/1多面体的问题尚未解决。我们通过证明存在一个0/1多面体来肯定地回答这个问题，即投影到它的任何谱面都必须是维（2^{varOmega（n）}）的半定锥与仿射空间的交集。我们的证明依赖于一种新的技术来重标半定因式分解。

引用于2评论
引用于7文件

理学硕士：

90C09型 布尔编程
90立方厘米 整数编程
90C27型 组合优化
90C22型 半定规划

关键词：

半定扩展公式;扩展配方;扩展复杂性

引文：

Zbl 1282.90245号
PDF格式BibTeX公司 XML格式引用
\textit{J.Briét}等人，《数学》。程序。153，第1（B）号，179--199（2015；Zbl 1325.90066）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Ben-Tal，A.，Nemirovski，A.：关于二阶锥的多面体近似。数学。操作。第26号决议，193-205（2001）。doi:10.1287/门26.2.193.10561·Zbl 1082.90133号 ·doi:10.1287/门26.2.193.10561
[2] Braun，G.，Pokutta，S.：共同信息和独特分离。参见：IEEE第54届计算机科学基础年度研讨会（FOCS 2013），第688-697页。加州伯克利（2013）·Zbl 1353.68072号
[3] Braun，G.、Fiorini，S.、Pokutta，S.和Steurer，D.：线性规划的近似极限（超越层次）。摘自：第53届IEEE计算机科学基础研讨会（FOCS 2012），第480-489页（2012）。国际标准图书编号978-1-4673-4383-1。doi:10.1109/FOCS.2012.10·Zbl 1343.68308号
[4] Braverman，M.，Moitra，A.：扩展配方的信息复杂性方法。摘自：第45届ACM计算理论研讨会论文集，第161-170页。ACM（2013）·Zbl 1293.68137号
[5] Faenza，Y.、Fiorini，S.、Grappe，R.、Tiwary，H.R.：扩展公式、非负因子分解和随机通信协议。摘自：Mahjoub，A.，Markakis，V.，Milis，I.，Paschos，V.（eds.）组合优化，计算机科学讲义第7422卷，第129-140页。施普林格，柏林（2012）。国际标准图书编号978-3-642-32146-7。doi:10.1007/978-3642-32147-4_13·兹比尔1370.68022
[6] Fiorini，S.、Massar，S.和Pokutta，S.，Tiwarve，H.R.，de Wolf，R.：线性与半定扩展公式指数：分离和强下界。致：STOC会议记录（2012a）·Zbl 1286.90125号
[7] Fiorini，S.、Rothvoß，T.、Tiwary，H.R.：多边形的扩展公式。谨慎。计算。地理。48（3），658-668（2012年b）。ISSN 0179-5376。doi:10.1007/s00454-012-9421-9·Zbl 1290.68122号
[8] Goemans，M.X.：置换面体的最小紧致公式。数学。程序。1-7 (2014). doi:10.1007/s10107-014-0757-1·Zbl 1322.90048号
[9] Gouveia，J.，Parrilo，P.A.，Thomas，R.：凸集的提升和锥因式分解。数学。操作。第38（2）号决议，248-264（2011）·Zbl 1291.90172号 ·doi:10.1287/摩尔.1120.0575
[10] Hindry，M.，Silverman，J.H.：丢番图几何：导论。施普林格，柏林（2000）·Zbl 0948.11023号 ·doi:10.1007/978-1-4612-1210-2
[11] John，F.：以不等式为辅助条件的极值问题。收录于：R.Courant 60岁生日时提交给他的研究和论文，第187-204页（1948）·Zbl 0034.10503中
[12] Kat o，T.：线性算子的扰动理论。柏林施普林格（1995）·Zbl 0836.47009号
[13] Rothvoß，T.：一些0/1多面体需要指数大小的扩展公式。数学。程序。142(1-2), 255-268 (2013). doi:10.1007/s10107-012-0574-3·Zbl 1282.90245号
[14] Rothvoß，T.：匹配多面体具有指数扩展复杂性。ArXiv电子版（2013）·Zbl 1315.90038号
[15] 香农，C.E.：双端开关电路的合成。贝尔系统。《技术期刊》25，59-98（1949）·doi:10.1002/j.1538-7305.1949.tb03624.x
[16] Yannakakis，M.：用线性规划表达组合优化问题（扩展摘要）。摘自：《1988年STOC会议记录》，第223-228页（1988）
[17] Yannakakis，M.：用线性程序表示组合优化问题。J.计算。系统。科学。43(3), 441-466 (1991). doi:10.1016/0022-0000（91）90024-Y·Zbl 0748.90074号 ·doi:10.1016/0022-0000（91）90024-Y
[18] 齐格勒，G.M.：0/1-多面体讲座。收录于：Kalai，G.，Ziegler，G.M.（编辑）《多面体组合与计算》，DMV研讨会第29卷，第1-41页。Birkhäuser Basel（2000年）。国际标准图书编号978-3-7643-6351-2。doi:10.1007/978-3-0348-8438-9_1·Zbl 0966.52012号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。