具有私有和公共硬币的有限状态验证器
摘要：有限状态验证器使用有限数量的私有硬币的效果，在“公共”硬币的结果对验证者可见的交互证明系统中。虽然在验证者获得合理的大时间和空间范围时，私有硬币和公共硬币机器之间的交换不会改变可验证语言的类别，但这种区别对于常数空间验证器的功能具有众所周知的影响。我们表明，使用恒定的私有硬币“预算”（与输入的长度无关）显著增加了具有有限状态验证器的公共硬币交互证明的能力，并提供了对复杂性类别 $mP$ 的新特征，即这类机器可以在期望的多项式时间内具有任意小的错误的可验证语言的集合。
作者：M. Utkan Gezer and A. C. Cem Say
论文ID：2306.09542
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-06-19