×
维克多·陈

具有完美完整性的查询效率专政测试。 （英语） Zbl 1309.68216号

Goldreich，Oded（编辑），《性能测试》。当前的研究和调查。柏林：施普林格出版社（ISBN 978-3-642-16366-1/pbk）。计算机科学课堂讲稿6390276-279（2010）。
摘要：独裁测试问题通常是构建PCP系统的起点。A.萨莫罗德尼茨基和L.特雷维先[摘自：2006年STOC第38届ACM计算理论年会论文集。纽约州纽约市：ACM出版社。11–20 (2006;Zbl 1301.68137号)]设计了一个独裁测试，它可以进行（q）查询，并且具有大约（O（q\cdot 2^{-q}）的稳健性。然而，他们的测试有不完美的完整性。我们描述了在设计专制测试方面取得的一些进展，这些测试具有完美的完整性。
关于整个系列，请参见[Zbl 1197.68012号].

引用于1文件

MSC公司：

68瓦20 随机算法
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）

关键词：

概率可检证明;独裁测试

引文：

Zbl 1301.68137号
PDF格式BibTeX公司 XML格式引用
\textit{V.Chen}，莱克特。注释计算。科学。6390276--279（2010年；Zbl 1309.68216）
全文： 内政部

参考文献：

[1] Arora，S.，Lund，C.，Motwani，R.，Sudan，M.，Szegedy，M.：证明验证和近似问题的硬度。J.ACM 45（3），501-555（1998）·Zbl 1065.68570号 ·doi:10.145/278298.278306
[2] Arora，S.，Safra，S.：证明的概率检验：NP的一个新表征。J.ACM 45（1），70-122（1998）·Zbl 0903.68076号 ·doi:10.1145/273865.273901
[3] Bellare，M.，Goldreich，O.，Sudan，M.：自由位、PCP和不可接近性——走向紧密结果。SIAM计算机杂志27（3），804–915（1998）·Zbl 0912.68041号 ·doi:10.1137/S0097539796302531
[4] Chen，V.：超图独裁测试具有完美的完整性。收录人：Dinur，I.、Jansen，K.、Naor，J.、Rolim，J.（编辑），约于2009年出版。LNCS，第5687卷，第448–461页。斯普林格，海德堡（2009）·Zbl 1255.68147号 ·doi:10.1007/978-3642-03685-9_34
[5] Dinur，I.，Mossel，E.，Regev，O.：近似着色的条件硬度。SIAM计算杂志39（3），843-873（2009）·Zbl 1192.68317号 ·数字对象标识码：10.1137/07068062X
[6] Engebretsen，L.，Holmerin，J.：PCP中NP的更有效查询和最大CSP的改进近似硬度。摘自：Diekert，V.，Durand，B.（编辑）STACS 2005。LNCS，第3404卷，第194-205页。斯普林格，海德堡（2005）·Zbl 1118.68499号 ·doi:10.1007/978-3-540-31856-9_16
[7] Gowers，W.T.：Szemerédi定理的新证明。地理。功能。分析。 11(3), 465–588 (2001) ·Zbl 1028.11005号 ·doi:10.1007/s00039-001-0332-9
[8] Guruswami，V.，Lewin，D.，Sudan，M.，Trevisan，L.：用3个查询PCP对NP进行严格描述。收录于：FOCS，第8-17页（1998年）·doi:10.1109/SFCS.1998.743424
[9] Hástad，J.：一些最佳不可接近性结果。美国医学会杂志48（4），798–859（2001）·Zbl 1127.68405号 ·doi:10.1145/502090.502098
[10] Hástad，J.，Khot，S.：查询具有完美完整性的高效PCP。计算理论1（7），119-148（2005）·Zbl 1213.68331号 ·doi:10.40086/toc.2005.版本001a007
[11] Hástad，J.，Wigderson，A.：线性和PCP图形测试的简单分析。随机结构。算法22（2），139-160（2003）·兹比尔1064.68070 ·doi:10.1002/rs.10068
[12] 科特，S.：关于独特的双谚语单回合游戏的力量。收录于：STOC，第767–775页（2002年）·Zbl 1192.68367号
[13] Khot，S.、Kindler，G.、Mossel，E.、O'Donnell，R.：MAX-CUT和其他2变量CSP的最佳不逼近结果？SIAM计算机杂志37（1），319–357（2007）·Zbl 1135.68019号 ·doi:10.1137/S0097539705447372
[14] Khot，S.，Saket，R.：一个具有完美完整性的三查询非自适应PCP。收录于：CCC，第159-169页（2006年）·doi:10.1109/CCC.2006.5
[15] O'Donnell，R.，Wu，Y.：三位独裁者测试：1对5/8。收录于：SODA，第365-373页（2009年）
[16] O'Donnell，R.，Wu，Y.：可满足-3CSP的条件硬度。收录于：STOC，第493–502页（2009年）·Zbl 1304.68080号
[17] Parnas，M.，Ron，D.，Samorodnitsky，A.：测试基本布尔公式。SIAM离散数学杂志16（1），20–46（2002）·Zbl 1041.68050号 ·doi:10.1137/S0895480101407444
[18] Raz，R.：平行重复定理。SIAM计算机杂志27（3），763–803（1998）·Zbl 0911.68082号 ·doi:10.1137/S0097539795280895
[19] Samorodnitsky，A.：远距离低阶测试。收录于：STOC，第506–515页（2007年）·Zbl 1232.68175号 ·数字对象标识代码：10.1145/1250790.1250864
[20] Samorodnitsky，A.，Trevisan，L.：具有最佳摊销查询复杂性的NP的PCP特征。收录：STOC，第191–199页（2000年）·Zbl 1296.68060号 ·数字对象标识代码：10.1145/335305.335329
[21] Samorodnitsky，A.，Trevisan，L.：Gowers均匀性、变量影响和PCP。SIAM计算机杂志39（1），323–360（2009）·兹比尔1185.68353 ·doi:10.1137/070681612
[22] Sudan，M.，Trevisan，L.：具有低摊销查询复杂性的概率可检查证明。在：FOCS，第18-27页（1998年）·doi:10.1010/SFCS.1998.743425
[23] Tamaki，S.，Yoshida，Y.：一个具有完美完整性的查询效率高的非自适应长代码测试。ECCC，TR09-074（2009）
[24] Tao，T.：组合学中的结构和随机性。收录于：FOCS，第3-15页（2007年）·doi:10.1109/FOCS.2007.17
[25] Trevisan，L.：在PCP和线性测试中回收查询（扩展摘要）。收录于：STOC，第299-398页（1998年）·Zbl 1029.68556号 ·数字对象标识代码：10.1145/276698.276769
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。