逆转复杂性再探讨
摘要：广义的反转有界的图灵机研究中，除了一些带有有限的头反转次数 (由 r(n) 限制) 的磁带外，还有一些磁带上的头反转次数没有限制，但大小受到 s(n) 限制。最近，这种机器被引入作为一种将对外存储器和内存空间的随机访问限制化的计算模型。在这里，受头反转限制的每一条磁带对应于一个外部存储设备，而受大小限制的磁带模拟了内存。我们用 ST(r(n),s(n),O(1)) 表示所有可以由符合上述资源限制的确定性图灵机解决的问题的类。类似地，NST 和 RST 分别用于对应的非确定性和随机化类别。 虽然之前的论文集中在特定问题的下界，包括排序、集合相等问题和几个查询评估问题，但本文着重于(R,N)ST类别与经典复杂度类之间的关系，以及(R,N)ST类别的结构复杂度的研究。我们的主要结果是(1) 内存空间和外部存储器头反转之间的权衡，(2) (R,N)ST类别与“经典”时间受限、空间受限、反转受限和电路复杂度类别之间的对应关系，以及(3) (R)ST类别的层次结构，即外部存储器磁带上头反转次数增加。
作者：Andre Hernich, Nicole Schweikardt
论文ID：cs/0608036
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23