空间是否比时间更强大？对于非确定性至少二次时间情况的积极回答
摘要：时间复杂度为f(n) >= n^2的语言都可以在O(f(n)^{1/2})的空间和O(f(n))的时间内被接受。证明通过模拟实现，基于猜测模拟TM在进入某些关键单元时的内部状态序列以及它们的位置。我们的方法不容易推广到多带TM，并且在任何情况下都不能相对化。
作者：Nicola Caporaso
论文ID：1001.4649
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-01-27