Als «complexity-classes» getaggte Fragen

Angenommen, ich betrachte die folgende Variante von BPP, die wir E (xact) BPP nennen lassen: Eine Sprache ist in EBPP, wenn es eine polynomiell zeitlich zufällige TG gibt, die jedes Wort der Sprache mit einer Wahrscheinlichkeit von genau 3/4 akzeptiert und jedes Wort nicht in die Sprache mit genau...

Ich folge dem Vorschlag von Josh Grochow und wandle meinen Kommentar von einer vorherigen Frage in eine neue Frage um. Welche Beweise haben wir für ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Hier ist die Klasse von Sprachen, die durch nicht deterministische Polynomzeit-Turing-Maschinen erkennbar sind,...

Vor kurzem bin ich auf die folgende Variante der Kantenfärbung gestoßen. Suchen Sie bei einem zusammenhängenden ungerichteten Graphen eine Färbung der Kanten, die die maximale Anzahl von Farben verwendet, und erfüllen Sie gleichzeitig die Bedingung, dass für jeden Scheitelpunkt die Kanten, die auf...

Im "letzten Absatz" der "ersten Seite" des folgenden Papiers: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Wenn NP polynomgroße Schaltkreise hat, dann ist MA = AM", Theoretical Computer Science, 1995. Ich bin auf eine etwas kontraintuitive Behauptung gestoßen:...

Ist NP in DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

Wir sagen , dass NFA ist ständig mehrdeutige Existieren k ∈ N , so dass jedes Wort w ∈ & Sigma; * durch entweder akzeptiert wird 0 oder (exakt) k Pfaden.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Wenn Automat für ständig mehrdeutig ist k = 1 , dann M heißt Eindeutiges FA...

Auf eine Frage hin, die Greg Kuperberg mir gestellt hat, frage ich mich, ob es Papiere gibt, die Komplexitätsklassen von Sprachen definieren und untersuchen, die verschiedene Arten von Wissensnachweisen zulassen . Klassen wie SZK und NISZK sind vom Standpunkt der Komplexität aus äußerst natürlich,...

Ich bin daran interessiert, ob es gute Expository-Artikel oder Umfragen gibt, auf die ich mich beziehen kann, wenn ich über Komplexitätsklassenoperatoren schreibe : Operatoren, die Komplexitätsklassen transformieren, indem sie ihnen beispielsweise Quantifizierer hinzufügen. Beispiele für Operatoren...

Ich habe mich gefragt, ob Probleme, für die sublineare Zeitalgorithmen (in der Eingabegröße) existieren, als solche mit spezifischen Eigenschaften charakterisiert werden können. Dies umfasst die sublineare Zeit (z. B. Eigenschaftstests, ein alternativer Begriff der Approximation für...

Ich benötige eine Liste von vollständigen Sprachen. Im Complexity Zoo sind zwei solche Probleme aufgeführt :Σp2Σ2p\Sigma_2^p Mindestäquivalent DNF. Gibt es bei einer DNF-Formel F und einer Ganzzahl k eine DNF-Formel, die F mit k oder weniger Vorkommen von Literalen äquivalent ist? Kürzester...

LogCFL ist die Menge aller Sprachen, deren Logspace auf eine kontextfreie Sprache reduziert werden kann. Ebenso ist LogDCFL die Menge aller Sprachen, deren Logspace auf eine deterministische kontextfreie Sprache reduziert werden kann. In diesem Wikipedia-Artikel finden Sie einige natürliche...

Hierarchietheoreme sind grundlegende Werkzeuge. Eine gute Anzahl von ihnen wurde in einer früheren Frage gesammelt (siehe Welche Hierarchien und / oder Hierarchiesätze kennen Sie? ). Einige Komplexitätsklassentrennungen ergeben sich direkt aus Hierarchiesätzen. Beispiele für solche gut bekannte...

Was sind einige Beispiele für Paare von Komplexitätsklassen und B, so dassAAABBB wir wissen nicht, ob undA=BA=BA=B wir kennen auch keine widersprüchlichen Relativierungen (dh wir kennen keine Orakel und Q, so dass A P = B P und A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Um die Frage...

Es wird gesagt, dass ein Problem P in APX vorliegt, wenn eine Konstante c> 0 existiert, so dass ein Polynomzeit-Approximationsalgorithmus für P mit einem Approximationsfaktor von 1 + c existiert. APX enthält PTAS (durch einfaches Auswählen einer beliebigen Konstanten c> 0) und P. Ist APX in...

Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt...

Was sind einige nicht-triviale Probleme, bei denen wir wissen, dass der derzeitige Algorithmus der asymptotisch optimale ist? (Für Turingmaschinen) Und wie ist das

Die Komplexitätsklasse BQP entspricht polynomiellen Zeitquanten-Subroutinen, die klassische Eingaben aufnehmen und eine probabilistische klassische Ausgabe ausgeben. Der Quantenratschlag modifiziert diesen, um Kopien einiger vorbestimmter Quantenratschlagzustände einzuschließen, jedoch mit...

Beim Lesen der Abhandlung " Eine anwendungsbezogene Theorie für FPH " können Sie folgende Passage finden: In Anbetracht der Theorien, die Klassen von Rechenkomplexität charakterisieren, gibt es drei verschiedene Ansätze: in einem Fall sind die Funktionen, die innerhalb der Theorie definiert werden...

In den letzten zwei Jahrzehnten wurde fantastisch an der Permanenten gearbeitet. Ich habe mich eine Weile über die Möglichkeit eines Smooth-P-Algorithmus für die Permanente von nichtnegativen Matrizen gewundert. Es gibt natürlich den berühmten JSV-Algorithmus, aber das ist ein fpras. Wenn man an...

Kurze Frage. Was ist die Rechenleistung von "Quanten" -Schaltungen, wenn wir nicht einheitliche (aber immer noch invertierbare) Gatter zulassen und vom Ausgang verlangen, dass er mit Sicherheit die richtige Antwort gibt? Diese Frage handelt in gewissem Sinne davon, was mit der Klasse passiert, E Q...