Nisan hat in "Pseudozufallsgeneratoren für weltraumgebundene Berechnungen" bewiesen, dass es einen Pseudozufallsgenerator gibt, der weltraumgebundene Berechnungen "täuscht". Gilt diese Konstruktion für jedes Orakel (zumindest für nicht adaptive
Ich interessiere mich für zwei Fragen bezüglich kontextsensitiver Sprachen (CSL) und Vollständigkeit: Gibt es einen Begriff von Vollständigkeit für CSL und welche Sprachen sind vollständig? Gibt es natürliche CSL, die NP-vollständig sind? Für 2. kann ich mir natürlich NP-vollständige Sprachen...
Nach einem klassischen Ergebnis von Kuroda ist die Komplexitätsklasse NSPACE [ ]nnn (auch bekannt als NLIN-SPACE) genau die Klasse CSL von kontextsensitiven Sprachen . Das Erfüllbarkeitsproblem SAT liegt in NSPACE [ ] vor, da eine lineare Schätzung für eine Lösung mit höchstens einem linearen...
Wir betrachten häufig Komplexitätsklassen, bei denen wir in Bezug auf den Platz, den unsere Turing-Maschine verwenden kann, begrenzt sind, zum Beispiel: oder NSPACE ( f ( n ) ) . Es scheint, dass es in der frühen Komplexitätstheorie viel Erfolg mit diesen Klassen wie dem Raumhierarchiesatz und dem...
Savitch gab einen deterministischen Algorithmus zum Lösen der st-Konnektivität unter Verwendung des -Raums an, der N L ⊆ D S P A C E ( log 2 n ) impliziert . Der Savitch-Algorithmus läuft in der Zeit 2 O ( log 2 n ) . Es ist ein großes offenes Problem, ob die st-Konnektivität durch einen...
ist die Klasse von Entscheidungsproblemen, die durch eine Familie von O ( log i n ) -Tiefenschaltungen mit UND-Gattern mit unbegrenztem Fanin-ODER und begrenztem Fanin lösbar sind. Negationen sind nur auf der Eingangsebene zulässig. Es ist bekannt, dassfürunter Komplement abgeschlossen ist...
Dank Immerman und Szelepcsényi ist bekannt, dass wenn f = Ω ( log ) (auch für nicht raumkonstruierbare Funktionen).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) In der gleichen Arbeit, Immerman Zustand , dass die logspace Wechselhierarchie...
Ein MPA (Multipebble-Automat) ist ein 2DFA (bidirektionaler deterministischer endlicher Automat), der eine beliebige Anzahl von Steinen verwenden kann (tatsächlich höchstens Steine auf einer gegebenen Eingabe w - die Eingabe wird auf das Band zwischen zwei Enden geschrieben -Markierungen als # w...
Man betrachte einen dimensionalen Vektor v, wobei v i ∈ { 0 , 1 } ist . Für jedes i kennen wir p i = P ( v i = 1 ) und nehmen an, dass v i unabhängig sind. Gibt es unter Verwendung dieser Wahrscheinlichkeiten einen effizienten Weg, um binäre n- dimensionale Vektoren zu iterieren, um mit größter...
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 DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) zu
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...
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
Zeigen Sie eine Funktion die räumlich, aber nicht zeitlich konstruierbar ist.f( n )f(n)f(n) Hängt dieses Problem mit einer möglichen Trennung zwischen den Komplexitätsklassen DTIME (f (n)) und SPACE (f (n))
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...
Es ist bekannt, dass das NP-vollständige Problem namens Subset Sum ein FPTAS hat. Ich habe mich gefragt, ob es ein PSPACE Complete-Problem gibt, das auch ein FPTAS hat. Danke im
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...
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...
Ein bekannter Trick zum Speichern von Bitvektoren unter Verwendung eines nicht initialisierten Speichers kann einen Bitvektor der Größe zuweisen, bei dem alle Bits auf 0 gesetzt werden, indem ( 2 n + 1 ) ⌈ lg n ⌉ Speicherbits zugewiesen und nur ⌈ lg initialisiert werden n ⌉ von ihnen. Diese...
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...
Stellen Sie sich eine -Maschine vor (nämlich einen probabilistischen Algorithmus, der Logspace und polynomiell viele zufällige Bits verwendet). Es ist bekannt (Saks-Zhou), dass B P L ⊆ D S P A C E ( l o g 1,5 ( n ) ) .B P.L.B.P.L.BPLB P.L ⊆ D S.P.A C.E.( l o g1.5( n )