非确定性计算模型
摘要：使用具有只读访问辅助内存的确定性多头双向自动机进行非确定性计算。内存包含附加数据（猜测），仅当对某些内存内容进行计算成功时，计算才成功。此外，我们还考虑猜测受限的情况，其中猜测必须满足某些约束条件。我们展示了标准复杂度类（如L，NL，P，NP，PSPACE）如何在这些非确定性计算模型中进行描述。这些描述与众所周知的描述不同，因为它们不涉及交替操作。
作者：M. N. Vyalyi
论文ID：0811.2586
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-11-18