Als «space-complexity» getaggte Fragen


3
Wie viel Zeit zum Erkennen von Palindromen im logarithmischen Raum?
Es ist bekannt, dass Palindrome auf -Band-Turingmaschinen in linearer Zeit erkannt werden können, nicht jedoch auf Einzelband-Turingmaschinen (in diesem Fall ist die benötigte Zeit quadratisch). Der Linearzeitalgorithmus verwendet eine Kopie der Eingabe und damit auch einen linearen Raum.222 Können wir Palindrome in linearer Zeit einer Multitape-Turing-Maschine erkennen, die nur einen …


1
Quadratisches Verhältnis zwischen nichtdeterministischem und deterministischem Raum?
Der Satz von Savitch zeigt, dass für alle ausreichend großen Funktionen f und der Beweis, dass dies eng ist, seit Jahrzehnten ein offenes Problem ist .NSPACE(f(n))⊆DSPACE(f(n)2)NSPEINCE(f(n))⊆DSPEINCE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Nehmen wir an, wir nähern uns dem Problem vom anderen Ende. Nehmen Sie der Einfachheit halber das boolesche Alphabet an. Der von …



1
Verallgemeinert sich der Satz der Raumhierarchie auf ungleichmäßige Berechnungen?
Allgemeine Frage Verallgemeinert sich der Satz der Raumhierarchie auf ungleichmäßige Berechnungen? Hier sind einige spezifischere Fragen: Ist ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Für alle Räume konstruierbar Funktionen f(n)f(n)f(n) , ist DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Für welche Funktionen h(n)h(n)h(n) ist bekannt, dass: für den gesamten Raum f (n) konstruierbar ist f(n)f(n)f(n), DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq …


1
Kann eine Quarter-Subset-Mitgliedschaft platzsparend entschieden werden?
Betrachten Sie das folgende Entscheidungsproblem. Sei q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i} und sei (Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n) geeignet Aufzählung der Teilmengen von {0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\} mit höchstens n/4n/4n/4 Elementen. Quarter-Subset Membership Input: Tupel von nichtnegativen ganzen Zahlen (i,j,n)(i,j,n)(i,j,n) binär dargestellt Frage: ist i∈Cnji∈Cjni \in C_j^n ? Kann durch Auswahl einer "netten" Aufzählung (Cni)(Cin)(C_i^n) die Quarter-Subset-Mitgliedschaft …

2
Die Härte beim Generieren einer Instanz eines Problems, die schwieriger ist als die Komplexität des resultierenden Problems
In dem Film Inception Cobb wird Ariadne gebeten, ein Labyrinth zu entwerfen, dessen Gestaltung doppelt so lange dauert. Dies bietet sich für ein allgemeines Problem an, bei dem wir eine Situation haben, in der die Ressourcen um einen gewissen Betrag begrenzt sind und jeder, der überprüft, ob dieses Problem in …


1
Savitch verwendet Messbarkeit
In Savitchs Arbeit von 1969 "Beziehungen zwischen nichtdeterministischen und deterministischen Bandkomplexitäten" stellt er fest, dass "alle gängigen Speicherfunktionen L (n)> = lg n messbar sind. Insbesondere ist jedes Polynom in n und lg n messbar." Seine Definition von messbar lautet: "Eine Funktion L (n) gilt als messbar, wenn es eine …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.