Quadratic Simulations of Merlin-Arthur Games
Quadratic Simulations of Merlin-Arthur Games
复制标题
Merlin-Arthur 游戏的二次模拟
DOI：
10.1007/978-3-319-77404-6_62
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Watson, Thomas
中科院分区：
文献类型：
--
作者：
Watson, Thomas
已知的证明在运行时间上产生二次开销。我们证明，这种二次开销是必要的黑盒模拟，特别是，我们得到一个相对的神谕。我们还表明，2-sided-error Merlin-Arthur游戏可以模拟为1-sided-error Arthur-Merlin游戏与二次开销。我们还提出了一个简单的，基于查询复杂性的证明（由Mika Göös提供），有一个相对的预言（这是以前已知的使用泛型的证明）。
The known proofs ofincur a quadratic overhead in the running time. We prove that this quadratic overhead is necessary for black-box simulations; in particular, we obtain an oracle relative to which. We also show that 2-sided-error Merlin–Arthur games can be simulated by 1-sided-error Arthur–Merlin games with quadratic overhead. We also present a simple, query complexity based proof (provided by Mika Göös) that there is an oracle relative to which(which was previously known to hold by a proof using generics).