×
铃木Tamaki

两个漫游者一轮游戏的平行重复：一个说明。 （英语） Zbl 1484.68063号

Interdiscip公司。信息科学。 21，第4期，289-306（2015）.
摘要：双机器人单轮博弈是一个基本的组合优化问题，它产生于交互式证明系统、近似难易性、密码学和量子力学等领域。并行重复定理表明，对于任何值小于1的双探测车单轮游戏，（k）倍的并行重复会以指数形式减少游戏值（k）。该定理最初由R.拉兹[SIAM J.Compute.27，No.3，763–803（1998；Zbl 0911.68082号)] 后来通过以下方式进行了简化和改进T.霍伦斯坦【理论计算5，第8号论文，141-172（2009；Zbl 1213.68297号)] 和A.拉奥[SIAM J.Comput.40，第6期，1871–1891（2011年；Zbl 1235.68078号)]. 所有已知的证明都基于信息论论证。最近，I.晚餐和D.斯特勒[摘自：第46届ACM计算理论年会论文集，STOC’14。纽约州纽约市：计算机协会（ACM）。624–633 (2014;Zbl 1315.91001号)] 基于矩阵分析论证，获得了并行重复定理的新证明。本文描述了Dinur和Steurer证明的一个特例。我们还描述了平行重复定理在两个证明者一轮博弈的不可逼近结果中的应用。我们的演示几乎是自包含的，因为我们只假设PCP定理。为此，我们还证明了与代数图论和逼近困难有关的必要结果。

引用于1文件

MSC公司：

2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
05元50分 图和线性代数（矩阵、特征值等）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析
90C27型 组合优化
91A80型 博弈论的应用

关键词：

交互式证明系统;近似的硬度;谱图论;矩阵分析;标签封面

引文：

Zbl 0911.68082号;Zbl 1213.68297号;Zbl 1235.68078号;Zbl 1315.91001号
PDF格式BibTeX公司 XML格式引用
\textit{S.Tamaki}，Interdiscip。信息科学。21，第4号，289--306（2015；Zbl 1484.68063）
全文： DOI程序

参考文献：

[1] N.Alon和B.Klartag。经济的复曲面通过契格的不平等而起作用。拓扑与分析杂志，1（2）：101-1112009·Zbl 1185.05085号
[2] S.Arora和B.Barak。计算复杂性——一种现代方法。剑桥大学出版社，2009年·Zbl 1193.68112号
[3] S.Arora、C.Lund、R.Motwani、M.Sudan和M.Szegedy。证明验证和近似问题的难度。J.ACM，45（3）：501-5551998·兹比尔1065.68570
[4] S.Arora和S.Safra。《证据的概率检验：NP的一个新特征》，《美国医学杂志》，45（1）：70-1221998年·Zbl 0903.68076号
[5] L.Babai、L.Fortnow和C.Lund。非确定性指数时间具有双探测车交互协议。计算复杂性，1:3-401991·Zbl 0774.68041号
[6] B.Barak、M.Braverman、X.Chen和A.Rao。如何压缩交互式通信。SIAM J.计算。，42(3):1327-1363, 2013. ·Zbl 1272.68138号
[7] B.Barak、M.Hardt、I.Haviv、A.Rao、O.Regev和D.Steurer。取整独特游戏的平行重复。第49届IEEE计算机科学基础研讨会（FOCS）论文集，第374-383页，2008年。
[8] B.Barak、A.Rao、R.Raz、R.Rosen和R.Shaltiel。自由投影游戏的强并行重复定理。《2009年近似随机会议录》，第352-365页，2009年·Zbl 1255.68146号
[9] M.Ben-Or、S.Goldwasser、J.Kilian和A.Wigderson。多元交互式证明：如何消除棘手的假设。1988年，第20届ACM计算机理论研讨会（STOC）论文集，第113-131页。
[10] M.Ben-Or、S.Goldwasser、J.Kilian和A.Wigderson。使用两个证明人交互证明的有效识别方案。第九届国际密码学年会（CRYPTO）会议记录，第498-5061989页·Zbl 0724.68027号
[11] M.Braverman、A.Rao、O.Weinstein和A.Yehudayoff。在通信复杂性方面指导产品。2013年第54届IEEE计算机科学基础研讨会（FOCS）论文集，第746-755页。
[12] J.-Y.Cai、A.Condon和R.J.Lipton。关于不完全信息的博弈。西奥。计算。科学。，103(1):25-38, 1992. ·Zbl 0757.90090号
[13] A.Chailloux和G.Scarpa。通过叠加信息成本，指数衰减纠缠博弈的并行重复。2014年第41届国际自动化、语言和编程学术讨论会（ICALP）第一部分，第296-307页·Zbl 1410.91009号
[14] R.Cleve、W.Slofstra、F.Unger和S.Upadhyay。量子异或证明系统的完美并行重复定理。计算复杂性，17（2）：282-2992008·Zbl 1145.81017号
[15] I.迪努尔和P.哈莎。使用可解码PCP的低错误双查询PCP的组成。2009年第50届IEEE计算机科学基础研讨会（FOCS）论文集，第472-481页·Zbl 1292.68083号
[16] I.迪努尔和D.斯特勒。平行重复的分析方法。CoRR，abs/1305.19792013年·Zbl 1315.91001号
[17] I.迪努尔和D.斯特勒。平行重复的分析方法。2014年第46届ACM计算机理论研讨会（STOC）会议记录，第624-633页·Zbl 1315.91001号
[18] I.Dinur、D.Steurer和T.Vidick。纠缠投影对策的一个平行重复定理。2014年第29届IEEE计算复杂性年会（CCC）会议记录，第197-208页·Zbl 1329.68116号
[19] C.Dwork、U.Feige、J.Kilian、M.Naor和S.Safra。NP的低通信2校验器零知识证明。第十二届国际密码学年会（CRYPTO）论文集，第215-227页，1992年·Zbl 0925.68143号
[20] U.菲戈。关于单轮证明系统中两个标准器的成功概率。《复杂性理论会议第六届年度结构会议论文集》，第116-1231991页。
[21] U.菲戈。近似集合覆盖的ln n阈值。美国医学会期刊，45（4）：634-6521998年·Zbl 1065.68573号
[22] U.Feige、S.Goldwasser、L.Lovász、S.Safra和M.Szegedy。交互式证明和近似团的硬度。J.ACM，43（2）：268-2921996年·Zbl 0882.68129号
[23] U.Feige、G.Kindler和R.O'Donnell。理解平行重复需要理解泡沫。2007年第22届IEEE计算复杂性年会（CCC）会议记录，第179-192页。
[24] U.Feige和L.Lovász。双证明单轮证明系统：它们的威力和问题（扩展抽象）。1992年第24届ACM计算机理论研讨会（STOC）论文集，第733-744页。
[25] J.Hástad。集团很难在n1-ε范围内近似。数学学报，182（1）：105-1421999·兹比尔0989.68060
[26] J.Hástad。一些最佳不可接近性结果。美国医学杂志，48（4）：798-8592001·Zbl 1127.68405号
[27] T.霍伦斯坦。平行重复：简化和无意义的情况。计算理论，5（1）：141-1722009·Zbl 1213.68297号
[28] R.Jain、A.Pereszlényi和P.Yao。乘积分布下纠缠两层单轮博弈的并行重复定理。2014年第29届IEEE计算复杂性年会（CCC）会议记录，第209-216页。
[29] J.Kempe和O.Regev。与纠结证明和非签名证明没有强烈的平行重复。2010年第25届IEEE计算复杂性年会（CCC）会议记录，第7-15页。
[30] J.Kempe和T.Vidick。纠缠游戏的并行重复。2011年第43届ACM计算理论研讨会（STOC）会议记录，第353-362页·Zbl 1288.91011号
[31] S.Khot。关于独特的2谚语1轮游戏的力量。2002年第34届ACM计算机理论研讨会（STOC）会议记录，第767-775页·兹比尔1192.68367
[32] S.Khot。关于独特的游戏猜想（受邀调查）。2010年第25届IEEE计算复杂性年会（CCC）会议记录，第99-121页。
[33] G.Kindler、A.Rao、R.O'Donnell和A.Wigderson。球形立方体：计算硬度放大的最佳泡沫。Commun公司。ACM，55（10）：90-972012年。
[34] D.拉皮多和A.沙米尔。NP的单轮、双探测车、零知识协议。组合数学，15（2）：204-214，1995·Zbl 0834.94015号
[35] D.拉皮多和A.沙米尔。NEXP时间的完全并行多探测车协议。J.计算。系统。科学。，54(2):215-220, 1997. ·Zbl 0877.68078号
[36] A.Lubotzky、R.Phillips和P.Sarnak。Ramanujan图形。Combinatorica，8（3）：261-2771988·兹比尔0661.05035
[37] C.Lund、L.Fortnow、H.J.Karloff和N.Nisan。交互式证明系统的代数方法。美国医学杂志，39（4）：859-8681992·Zbl 0799.68097号
[38] C.Lund和M.Yannakakis。关于逼近极小化问题的困难。美国医学会期刊，41（5）：960-981994年·Zbl 0814.68064号
[39] D.Moshkovitz和R.Raz。带有子常量错误的两次查询PCP。J.ACM，57（5），2010年·兹比尔1327.68110
[40] I.Parnafes、R.Raz和A.Wigderson。在新旧通信模型中，直接产品结果和GCD问题。第二十届美国计算机学会计算机理论学术研讨会（STOC）论文集，第363-372页，1997年·Zbl 0968.68070号
[41] A.Rao。投影游戏中的平行重复和集中界限。SIAM J.计算。，40(6):1871-1891, 2011. ·Zbl 1235.68078号
[42] 拉兹（R.Raz）。平行重复定理。SIAM J.计算。，27(3):763-803, 1998. ·Zbl 0911.68082号
[43] 拉兹（R.Raz）。平行重复两个谚语游戏（受邀调查）。2010年第25届IEEE计算复杂性年会论文集，第3-6页。
[44] 拉兹（R.Raz）。强烈平行重复的反例。SIAM J.计算。，40(3):771-777, 2011. ·Zbl 1234.68141号
[45] R.Raz和R.Rosen。膨胀机上投影游戏的一个强并行重复定理。《第27届计算复杂性会议（CCC）会议记录》，第247-257页，2012年。
[46] A.沙米尔。IP=PSPACE。J.ACM，39（4）：869-8771992年·兹比尔0799.68096
[47] D.施泰尔。改进了并行重复独特游戏的舍入。《2010年ANDOM会议录》，第724-737页，2010年·Zbl 1305.68104号
[48] D.斯特勒。关于独特游戏的复杂性和图形扩展。普林斯顿大学博士论文，2010年·Zbl 1293.05373号
[49] L.Trevisan先生。组合优化问题的不逼近性。手稿·Zbl 1204.90088号
[50] S.P.瓦丹。伪随机性。理论计算机科学的基础和趋势，7（1-3）：1-3362012。
[51] O.Verbitsky。走向平行重复猜想。西奥。计算。科学。，157(2):277-282, 1996. ·Zbl 0871.68008号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。