Limites inférieures de compromis espace-temps

Suite à la discussion sur les bornes inférieures pour 3SAT [ 1 ], je me demande quels sont les principaux résultats de borne inférieure formulés comme des compromis espace-temps. J'exclus des résultats tels que, disons, le théorème de Savitch; une bonne entrée se concentrerait sur un seul problème et ses limites. Un exemple serait:

"Soit T et S le temps d'exécution et l'espace liés à tout algorithme SAT. Ensuite, nous devons avoir T⋅S≥n2cos (π / 7) −o (1) infiniment souvent." (Donné dans [ 1 ] par Ryan Williams.)

ou

"SAT ne peut pas être résolu simultanément dans n ^{1 + 0 (1)} temps et n ^1-ε espace pour tout ε> 0 sur les machines de Turing non déterministes à accès aléatoire générales." (Lance Fortnow dans 10.1109 / CCC.1997.612300)

De plus, j'inclus des définitions de classes de complexité de compromis spatio-temporelles naturelles (à l'exclusion des classes de circuits).

Voici quelques références supplémentaires. Pour en savoir plus, consultez les articles qui les citent.

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