麦考瑞,伊恩一世。 关于日志空间概率复杂性类的结构。 (英语) Zbl 0941.68051号 SIAM J.计算。 29,第3期,987-1007(2000). 摘要:我们研究了logspace概率图灵机、Arthur-Merlin游戏和带有logspace几率验证器的反自然游戏识别的语言的层次属性和logspace约简。每个日志空间复杂性类都基于相应的双向多头有限状态自动机被分解为一个层次结构,我们(最终)证明了层次结构层次的分离(即使对于单字母字母表上的语言);此外,我们还展示了将每个日志空间复杂度类有效降低到其相应层次结构的低级别或在低级别之间。我们发现Savitch迷宫线程问题的概率变量和概率-plus-非确定性变量分别是PL(对数空间概率图灵机识别的语言类)和PPP(多项式时间确定性图灵机识别语言类)的对数空间完备变量,并且可以分别由具有概率状态、概率状态和非确定性状态的单向无意义双头(或单向单头单计数器)有限状态自动机识别。 MSC公司: 2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等) 65年第68季度 形式语言和自动机 2005年第68季度 计算模型(图灵机等)(MSC2010) 2010年第68季度 计算模式(非确定性、并行、交互式、概率性等) 68宽10 计算机科学中的并行算法 68卢比99 离散数学与计算机科学 关键词:多头有限自动机;头部层次结构;概率计算;概率图灵机;Arthur Merlin游戏;对抗自然的游戏;日志空间缩减 PDF格式BibTeX公司 XML格式引用 \textit{I.I.Macarie},SIAM J.计算机。29,第3号,987--1007(2000;Zbl 0941.68051) 全文: 内政部