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, die einen eindeutigen Akzeptanzpfad für "yes" -Instanzen und einen …
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 1/4 …
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 v einfallen, höchstens zwei Farben verwenden.vvvvvv Meine …
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: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 …
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 …
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, auch wenn wir das Nullwissen völlig …
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 Implikant. Gibt es bei gegebener Formel F und …
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 (UFA).MMMk=1k=1k=1MMM Sei …
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 Trennungen: , P ≠ E X P , N P ≠ N E …
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 Das Folgende kann als eine minimale Liste von Operatoren interpretiert werden, die eine Antwort …
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 Entscheidungsprobleme), den sublinearen Raum (z. B. Skizzier- / Streaming-Algorithmen, bei denen die Turing-Maschine über …
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 LogCFL-vollständige Probleme. Es gibt einige andere interessante LogCFL-vollständige Probleme. Ich konnte …
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 PEQP\mathsf{EQP}wenn Sie zulassen, dass die …
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 andere Arbeiten in Smoothed Complexity denkt, war 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.