空间是比时间更强的资源吗？非确定性至少二次时间情况下的肯定回答

我们证明，所有在时间 $f(n) \ge n^2$ 内可接受的语言，可以在空间 $O(f(n)^{1/2})$ 和时间 $O(f(n))$ 内接受。证明通过模拟进行，基于猜测模拟图灵机在进入某些关键单元时的内部状态序列，这些单元的位置也是猜测的。我们的方法不易推广到多带图灵机，并且在任何情况下都不能相对化。