Der Zeithierarchiesatz besagt, dass Turingmaschinen mehr Probleme lösen können, wenn sie (genug) mehr Zeit haben. Gilt es in irgendeiner Weise, wenn der Raum asymptotisch begrenzt ist? Wie verhält sich zu wenn wächst schnell genug?
Mich interessiert besonders der Fall, dass , und .
Insbesondere gilt I folgende Sprache:
Jedoch könnte in entschieden Stufen unter Verwendung von Raum.
Ohne auf vier Bandsymbole zu beschränken und somit zu ermöglichen, Zellen in Zellen zu komprimieren , erhalten wir Raumprobleme, wenn ein mit zu vielen Bandsymbolen simuliert wird . In diesem Fall befindet sich die Sprache nicht mehr in . Dasselbe passiert, wenn für einige , die schnell genug berechnet werden können.
Diese Frage ist im Grunde eine Umformulierung meiner Frage hier .
Bearbeiten Zusammenfassung: Geänderte zu DTISP ( f ( n ) , s ( n ) ) , aber ich denke , die Kreuzung auch wert ist , darüber nachzudenken.
Antworten:
Dies ist ein offenes Problem: Es ist offen , ob (oder sogar N S P A C E ( O ( n ) ) ). Wir wissen nur, dass D T I M E ( O ( n )DTISP(O(nlogn),O(n))=DSPACE(O(n)) NSPACE(O(n)) .DTIME(O(n))⊆DSPACE(O(n/logn))
Unter plausiblen rechnerischen Komplexitätsannahmen gibt es jedoch eine richtige Hierarchie. Wenn beispielsweise für jeden , Schalt-SAT ∉ IO- O ( 2 n - ε ) , dann D T I S P ( O ( f ) , O ( s ( n ) ) ) ⊊ D T I S P ( O ( f 1 + ε ) , O ( s (ε>0 O(2n−ε)
wobei f ( n ) ≥ n , f ( n ) ist 2 O ( min ( n , s ( n ) ) ) , und f istZeit-Raumkonstruierbar.DTISP(O(f),O(s(n)))⊊DTISP(O(f1+ε),O(s(n)))
f(n)≥n f(n) 2o(min(n,s(n))) f
Insbesondere (unter der Hypothese) dient die Existenz einer befriedigenden Zuordnung für Schaltungen mit Eingaben und Größe ( log f ) O ( 1 ) als Gegenbeispiel zur Gleichheit der Klassen.⌊lg(f1+ε/2)⌋ (logf)O(1)
Anmerkungen:
CIRCUIT-SAT ist mindestens so hart wie SAT (was in der stark exponentiellen Zeithypothese verwendet wird).k
Gemäß der Konvention ist in CIRCUIT-SAT die Anzahl der Eingangsleitungen; Schaltkreisgröße ist n 0 ( 1 ) .n nO(1)
Wenn die Annahme CIRCUIT-SAT für quasilineare Schaltungsgrößen verwendet, dann ist die auf gebundene kann gelockert werden , um O ( ( 2 - ε ) min ( n , s ( n ) ) ) . Außerdem ergeben schwächere / stärkere Annahmen zur Härte von CIRCUIT-SAT schwächere / stärkere Hierarchien (die wir derzeit nachweisen können).f(n) O((2−ε)min(n,s(n)))
io Mittel unendlich oft und können gelöscht werden , die (einschließlich kontinuierlicher in gewissem Sinne sind f ( n ) = n a ).f f(n)=na
Es ist wahrscheinlich, dass die DTISP-Hierarchie scharf genug ist, um von o ( f / log f ) (und möglicherweise o ( f ) ) zu unterscheiden (wenn f im Verhältnis zum zulässigen Raum nicht zu groß ist).O(f) o(f/logf) o(f) f
Zur Unterscheidung von 2 n , brauchen wir nur die schwächere Annahme P ≠ PSPACE.na 2n
quelle