arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1407.7592cs.CCcs.FL
收藏

关于乘指数一次写的图灵机

On multiply-exponential write-once Turing machines

Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrząszcz

摘要:

在这项工作中,我们分析了一次写的【形】图灵机,即机器,可以写入一个给定的磁带单元最多一次的乘法指数复杂性类。我们证明了$k$ -DExpWOSpace = $k$ -DExpWOTime = $k$ -ExpTime和非确定性对应。对于交替机,我们证明了$k$ -AExpWOTime = $k$ -AExpTime = $k-1$ -ExpSpace。

英文摘要:

In this work we analyze the multiply-exponential complexity classes for write-once Turing machines, i.e. machines that can write to a given tape cell at most once. We show that $k$-DExpWOSpace = $k$-DExpWOTime = $k$-ExpTime and the nondeterministic counterpart. For alternating machines we show that $k$-AExpWOTime = $k$-AExpTime = $k-1$-ExpSpace.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑