Als «space-bounded» getaggte Fragen

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

4
Wenn P = BQP, bedeutet dies, dass PSPACE (= IP) = AM ist?
Kürzlich haben Watrous et al. Bewiesen, dass QIP (3) = PSPACE ein bemerkenswertes Ergebnis ist. Das war, gelinde gesagt, ein überraschendes Ergebnis für mich und hat mich zum Nachdenken angeregt ... Ich fragte mich, was wäre, wenn Quantencomputer durch klassische Computer effizient simuliert werden könnten. Könnte dies EINFACH mit der …
1
Welche Ergebnisse machen den Quantenraum interessant?
Die zeitbegrenzte Quantenberechnung ist offensichtlich sehr interessant. Was ist mit weltraumgebundener Quantenberechnung? Ich kenne viele interessante Ergebnisse für die Quantenberechnung mit sublogarithmischen Raumgrenzen und verschiedenen Arten von Quantenautomatenmodellen. Andererseits wurde gezeigt, dass Wahrscheinlichkeit und Quantenraum für unbegrenzte Fehler für jeden konstruierbaren Raum äquivalent sind (Watrous, 1999 und 2003 ).s ( …
3
Effiziente Logspace-Algorithmen
Es ist leicht zu erkennen, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Viele bekannte logspace Algorithmen (zum Beispiel: ungerichteten st-Konnektivität, planar Graphisomorphie) laufen in O ( n k ) , wobei k irrsinnig groß ist.LLLPPPO ( nk)O(nk)O(n^k)kkk Ich …
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
Kontextsensitive Grammatik für SAT?
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 Aufwand für die Buchhaltung überprüft werden …
1
Vollständigkeit und kontextsensitive Sprachen.
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 vorstellen, die CSL sind (da CSL gleich NSPACE [ ] …
1
Maschinencharakterisierung von
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 undnicht. Außerdem istund weist daher eine Maschinencharakterisierung auf, daLogCFL?SACiSACiSAC^iO(login)O(login)O({\log}^i{n})SACiSACiSAC^ii≥1i≥1i …
2
Raum wechselnde Hierarchie
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 kollabiert, bedeutet dies , dass (die Definition des begrenzten alternierenden Turingmaschine und von dem, was Eine Hierarchie finden …
1
Zeithierarchien in DSPACE (O (s (n)))
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 DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) wenn fgfg\frac{f}{g} wächst schnell genug? Mich interessiert besonders der Fall, dass s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) …
2
Können Multipebble-Automaten alle deterministischen kontextsensitiven Sprachen bestimmen?
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 # ). Während der Berechnung kann ein MPA erkennen, …
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.