Als «space-bounded» getaggte Fragen

Fragen zu Raumressourcen von Berechnungen in rechnerischer Komplexität oder Algorithmen.

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
Durchschnittliche Raumkomplexität
Ich versuche, Probleme zu finden, deren durchschnittliche Raumkomplexität analysiert wurde. Insbesondere interessiert mich, ob es Probleme mit einer nachgewiesenen Untergrenze der Raumkomplexität gibt, die superlinear ist, und insbesondere, wenn es Probleme mit einer Durchschnittsfallanalyse gibt (z. B. gilt die Grenze, selbst wenn der Algorithmus zulässig ist sich für einen kleinen …
1
Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen?
Erkennen nichtdeterministische lineare begrenzte Automaten mit beschränktem Besuch nur reguläre Sprachen? Mit einem nichtdeterministischen linear begrenzten Automaten (nLBA) meine ich eine nichtdeterministische Turing-Maschine mit einem Band, bei der die Eingabe mit Endmarkern an beiden Enden "aufgefüllt" wird, die niemals überschrieben werden können und so dass sich der Kopf niemals aus …
2
Sind nicht deterministische Baumlaufautomaten stärker als deterministische?
Update: Es scheint, dass dieses Problem kürzlich untersucht und gelöst wurde. Siehe diesen Wiki-Artikel: http://en.wikipedia.org/wiki/Tree_walking_automaton Und auch diese Umfrage: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Angenommen, anstelle der üblichen Wortgruppe {0,1} * sind unsere Wörter nicht linear, sondern werden in einer Baumstruktur angegeben. Um zu verhindern, dass unsere Maschinen "verloren gehen", definieren Sie unsere …
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 …
1
Hamming Gewicht der Kräfte
Was ist bei positiven ganzen Zahlen und über die räumliche und zeitliche Komplexität des Findens des Hamming-Gewichts (Anzahl der binären Einsen) von ?e b ebbbeeebebeb^e Wenn Bits verfügbar sind, kann die Anzahl einfach durch Standardtechniken berechnet und die Einsen gezählt werden. Aber welche Techniken sind möglich, wenn weniger Speicher verwendet …
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.