Als «space-bounded» getaggte Fragen

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

4
Warum betrachten wir den Log-Raum als Modell für eine effiziente Berechnung (anstelle des Polylog-Raums)?
Dies könnte eher eine subjektive Frage als eine konkrete Antwort sein, aber trotzdem. In der Komplexitätstheorie untersuchen wir den Begriff effizienter Berechnungen. Es gibt Klassen wie für Polynomial Time und für Log Space . Beide werden als eine Art "Effizienz" angesehen und erfassen die Schwierigkeiten einiger Probleme ziemlich gut.LPP\mathsf{P}LL\mathsf{L} Es …

1
Ist LOGLOG = NLOGLOG?
Definieren Sie LOGLOG als die Klasse von Sprachen, die von einer deterministischen Turing-Maschine (mit bidirektionalem Zugriff auf die Eingabe) in Raum O (loglog n) berechnet werden können. Definieren Sie NLOGLOG auf ähnliche Weise als die Klasse von Sprachen, die von einer nicht deterministischen Turing-Maschine (mit bidirektionalem Zugriff auf die Eingabe) …

1
Treewidth und das NL vs L Problem
Die ST-Konnektivität ist das Problem, zu bestimmen, ob in einem gerichteten Graphen ein gerichteter Pfad zwischen zwei getrennten Eckpunkten und . Ob dieses Problem im Logspace gelöst werden kann, ist ein seit langem offenes Problem. Dies nennt man das vs Problem.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Was ist die Komplexität von ST-Connectivity, wenn der zugrunde …

2
Enge Untergrenzen für Savitch's Theorem
Zunächst entschuldige ich mich im Voraus für jede Dummheit. Ich bin kein Experte für Komplexitätstheorie (ganz im Gegenteil! Ich bin ein Student, der meinen ersten Kurs in Komplexitätstheorie belegt). Hier ist meine Frage. Nun besagt der Satz von Savitch, dass Nun bin ich gespannt, ob diese untere Schranke eng war, …

3
Zwischenprobleme zwischen L und NL
Es ist bekannt , dass gerichtet st-Konnektivität ist NLNLNL -komplette. Das bahnbrechende Ergebnis von Reingold zeigte, dass die ungerichtete st-Konnektivität in . Es ist bekannt, dass planar gerichtete st-Konnektivität in . Cho und Huynh definierten ein parametrisiertes Rucksackproblem und zeigten eine Hierarchie von Problemen zwischen und .U L ∩ c …


1
Logspace-Algorithmen für Diagramme mit begrenzter Baumbreite
Die Baumbreite misst, wie nah ein Diagramm an einem Baum ist. Es ist NP-schwer, die Baumbreite zu berechnen. Der bekannteste Näherungsalgorithmus erreicht Faktor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelles Theorem besagt, dass jede Eigenschaft von Graphen, die in der monadischen Logik zweiter Ordnung (MSO2) definierbar ist, in linearer Zeit für jede Klasse von Graphen mit …



1
Kann
Betrachten Sie die Sprache .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Es ist bekannt, dass von keiner sublogarithmisch-raumwechselnden Turing-Maschine (ATM) erkannt werden kann (Szepietowski, 1994) . (Es gibt einen Geldautomaten, der sublogarithmischen Raum für Mitglieder, aber nicht für alle Nichtmitglieder verwendet!)EQUALITYEQUALITY \mathtt{EQUALITY} Andererseits zeigte Freivalds (1981) , …


3
Weltraumgebundene TMs und Orakel
Im Allgemeinen zählt das Abfrageband für ein Orakel für die räumliche Komplexität eines TM. Es erscheint jedoch plausibel, nur ein beschreibbares Orakelband zuzulassen (wie es bei L-Platz-Verkleinerungen verwendet wird). Ist eine solche Konstruktion sinnvoll? Ergibt es irgendwelche besonders absurden Ergebnisse?


3
CFG-Analyse mit
Es gibt eine Vielzahl von Algorithmen, die eine kontextfreie Grammatik in analysieren können.. Mit der Matrixmultiplikation kann man sogar asymptotisch schneller gehen.O(n3)O(n3)O(n^3) Alle Algorithmen zum Parsen beliebiger CFGs, die ich kenne, haben jedoch eine schlechteste Raumnutzung von (obwohl ich zugegebenermaßen keine Ahnung habe, wie viel Raum dieser Matrixmultiplikationsalgorithmus verwendet). Ich …


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.