魏茨曼标志
ECCC公司
电子关于计算复杂度

计算复杂性基金会

登录 | 注册 | 经典风格



报告>详细信息:

纸张:

TR14-016 | 2014年1月16日03:02

辩论检查的复杂性

订阅




TR14-016型
作者:戈卡普·德米尔西A.C.杰姆说阿布泽·亚卡里尔马兹
发布日期:2014年1月31日13:02
下载:3772
关键词:


摘要:

我们研究概率辩论检验,在这种检验中,一个无声的资源受限的验证者在证明者和反驳者之间阅读关于语言中给定字符串的成员资格的对话。我们考虑部分信息和零信息的辩论,在这种辩论中,证明者无法看到反驳者的部分或全部信息,也无法看到完整信息的信息。该模型结合并推广了单向交互证明系统、可能不完全信息博弈和概率可检查辩论系统的概念。

我们给出了在$O(1)$空间和$O(1$随机位的同时边界下操作的验证器可以检查的具有辩论的语言类的完整特征。事实证明,这种验证器严格来说比确定性验证器更强大,允许对数空间界限并不会增加这种能力。PSPACE和EXPTIME分别具有零信息和部分信息辩论,当我们省略随机性边界时,恒定空间验证器可以检查任何期望的误差边界。任何数量的随机性都无法使验证器在固定时间范围内相对于确定性验证器具有显著的性能优势。然而,随机性似乎确实有助于验证者同时限定空间和时间。在对数空间和多项式时间验证器的情况下,我们证明对数随机性足以检查PSPACE中所有语言的完整和部分信息辩论。任何这样的语言都可以归结为矩阵的量化最大字数问题,这使得我们能够为这个问题的优化版本提供一个不可逼近的结果。



国际标准编号1433-8092|印记