Compensación espacio-tiempo límites inferiores

Después de la discusión sobre los límites inferiores para 3SAT [ 1 ], me pregunto cuáles son los principales resultados del límite inferior formulados como compensaciones espacio-tiempo. Estoy excluyendo resultados como, por ejemplo, el teorema de Savitch; una buena entrada se centraría en un solo problema y sus límites. Un ejemplo sería:

"Deje que T y S sean el tiempo de ejecución y el espacio de cualquier algoritmo SAT. Entonces debemos tener T⋅S≥n2cos (π / 7) −o (1) infinitamente a menudo". (Dado en [ 1 ] por Ryan Williams).

o

"SAT no puede resolverse simultáneamente en n ^{1 + 0 (1)} tiempo y n ^1-ε espacio para cualquier ε> 0 en máquinas de Turing no deterministas de acceso aleatorio general". (Lance Fortnow en 10.1109 / CCC.1997.612300)

Además, incluyo definiciones de clases de complejidad de intercambio espacio-tiempo natural (excluyendo clases de circuito).

Aquí hay algunas referencias adicionales. Se puede encontrar más mirando los documentos que citan estos.

$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)$