Limiti inferiori del compromesso spazio-temporale

Dopo la discussione sui limiti inferiori per 3SAT [ 1 ], mi chiedo quali sono i principali risultati del limite inferiore formulati come compromessi spazio-temporali. Escludo risultati come, per esempio, il teorema di Savitch; una buona voce si focalizzerebbe su un singolo problema e sui suoi limiti. Un esempio potrebbe essere:

"Lascia che T e S siano il tempo di esecuzione e il limite di spazio di qualsiasi algoritmo SAT. Quindi dobbiamo avere T⋅S≥n2cos (π / 7) −o (1) infinitamente spesso." (Dato in [ 1 ] da Ryan Williams.)

"SAT non può essere risolto simultaneamente in n ^{1 + 0 (1)} tempo e n spazio ^1-ε per qualsiasi ε> 0 su macchine di Turing non deterministiche ad accesso casuale generale." (Lance Fortnow in 10.1109 / CCC.1997.612300)

Inoltre, includo le definizioni delle classi di complessità del compromesso spazio-tempo naturale (escluse le classi di circuito).

— Michaël Cadilhac
fonte

hmm. un altro esempio di non necessità del tag CW.

— Suresh Venkat,

Cosa intendi?

— Michaël Cadilhac,

Suresh sta dicendo che non devi mettere "wiki della comunità" su questa domanda, se riformuli la domanda in modo che sia qualcosa di diverso da un grande elenco, ed eri più specifico su ciò che stai cercando. Inoltre, è davvero una "domanda delicata"?

— Ryan Williams,

Bene, voglio un grande elenco e la domanda non specifica è, credo, un buon modo per ottenerlo. Questo tipo di elenco è proibito? (Posso praticamente dedurre che ho fatto qualcosa di sbagliato, poiché non è stata data alcuna risposta, ma non so cosa.) Inoltre, questa è una domanda delicata in quanto non richiede alcun lavoro intellettuale.

— Michaël Cadilhac,

Speriamo di chiarire questo eventualmente nelle FAQ. Direi che questa non è una domanda delicata perché è tecnica. Una domanda delicata riguarda di più gli argomenti relativi alla ricerca: dove andare a scuola di specializzazione, come leggere documenti, ecc.

— Suresh Venkat

Ecco alcuni riferimenti aggiuntivi. Puoi trovare di più guardando i documenti che li citano.

Duris e Galil (1984) forniscono un linguaggio in che richiede su macchine Turing a nastro singolo con un numero costante di testine di lettura / scrittura. Karchmer (1986) ha dimostrato che lo stesso limite inferiore vale per il problema della distinzione degli elementi . $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)$

— Ryan Williams
fonte