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 …
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) …
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 …
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, …
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 …
Es ist klar, dass jedes Problem, das im deterministischen Lograum ( ) entscheidbar ist, höchstens zur Polynomzeit ( P ) auftritt . Zwischen L und P gibt es eine Fülle von Komplexitätsklassen . Beispiele umfassen N L , L o g C F L , N C i , S …
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 …
Im Anschluss an eine vorherige Frage , was sind die besten aktuellen Raum untere Schranken für SAT? Mit einer Leerzeichenuntergrenze meine ich hier die Anzahl der von einer Turing-Maschine verwendeten Arbeitsbandzellen, die ein binäres Arbeitsbandalphabet verwendet. Ein konstanter additiver Term ist unvermeidlich, da ein TM interne Zustände verwenden kann, um …
Ich frage mich, ob es eine Rechtfertigung dafür gibt, zu glauben, dass oder dass N L ≠ L ist .NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Es ist bekannt, dass . Die Literatur zur Derandomisierung von R L ist ziemlich überzeugend, dass R L = L ist . Kennt jemand einige …
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) , …
Immerman und Szelepcsenyi bewiesen unabhängig voneinander, dass . Borodin et al. Haben mit ihrer Technik des induktiven Zählens bewiesen, dass S A C i unter Komplementation für i > 0 geschlossen ist . Vor dem Reingold Satz ( S L = L ), Nisan und Ta-Shma bewiesen S L = …
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?
USTCONN ist das Problem, bei dem entschieden werden muss, ob es in einem Graphen einen Pfad vom Quellscheitelpunkt zum Zielscheitelpunkt gibt, der alle als Teil der Eingabe angegeben wird.ssstttGGG Omer Reingold hat gezeigt, dass USTCONN in L ist (doi: 10.1145 / 1391289.1391291 ). Der Proof konstruiert aus dem Zick-Zack-Produkt einen …
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 …
In einer klassischen Arbeit untersuchen Munro und Paterson das Problem, wie viel Speicher erforderlich ist, damit ein Algorithmus den Median in einem zufällig sortierten Array findet. Insbesondere konzentrieren sie sich auf das folgende Modell: Die Eingabe wird P-mal von links nach rechts gelesen. Es wird gezeigt, dass Speicherzellen ausreichen, die …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.