时空权衡下限

在讨论了3SAT [ 1 ]的下界之后，我想知道制定为时空权衡的主要下界结果是什么。我排除了诸如Savitch定理之类的结果；一个好的条目将集中在单个问题及其边界上。一个例子是：

“让T和S为任何SAT算法的运行时间和空间范围。那么我们必须经常无限地使T⋅S≥n2cos（π/ 7）-o（1）无限。” （在Ryan Williams的[ 1 ]中给出。）

要么

“ 在一般随机访问不确定的图灵机上，对于任何ε> 0而言，在n ^{1 + 0（1）}时间和n1 ^-ε空间中无法同时求解SAT 。” （Lance Fortnow在10.1109 / CCC.1997.612300中）

此外，我包括定义自然时空权衡复杂类（不包括电路类）的。

这里是一些其他参考。通过查看引用这些文章的文章，可以找到更多内容。

$P$$T^2 S \geq \Omega(n^3)$

$O(n)$$O(1)$$k+1$$T S \geq \Omega(n^2)$$k$

$S \leq o(n)$$T \geq \omega(n)$

$TS \geq \Omega(n^2)$