实时、常空间、常随机性验证器
摘要：在本研究中，我们研究了一类语言，这些语言的成员证明可以由实时有限状态机使用恒定数量的随机比特进行验证，而不考虑其输入的大小。由于对验证器的任何进一步限制都将阻止对非正则语言进行验证，因此这是允许检查外部提供的证明具有有意义用途的最紧密的计算预算。我们证明了所有可以由两头单向确定性有限自动机识别的语言都具有这种成员证明。对于任意$k>0$，存在一类语言，它们无法被任何$k$头单向非确定性有限自动机识别，但在这个意义上仍可以进行实时验证。同时，我们还证明了非回文字符串集合在这些限制下也可以进行验证，而它无法被任何单向多头确定性有限自动机识别。
作者："Ozdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say
论文ID：2206.00968
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-06-03