Wir haben ein Problem und haben einen Algorithmus gefunden, der 2-nexptime zu sein scheint. Ich würde gerne bekannte 2-Nexptime-vollständige Probleme finden, um eine Untergrenze zu finden. Ich fand in der Literatur hauptsächlich zwei solche Probleme: ob PCP als Lösung mit einer Größe von weniger...
Quasi-Polynomialzeit, kurz QP, ist eine Komplexitätsklasse auf deterministischen Turing-Maschinen. Hier ist die genaue Definition: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Während βP eine Komplexitätsklasse mit begrenztem Nichtdeterminismus ist. Hier ist die genaue Definition:...
Das Problem # MONOTONE-2SAT ist bekanntermaßen # P-vollständig. Dies bedeutet, dass #SAT darauf reduziert werden kann. Meine Frage lautet: Wenn eine # SAT- Instanz , welche Transformation konvertiert in die entsprechende # MONOTONE-2SAT-Instanz ?FFFF 'FFFF′F′F' Eine zweite Frage ist: Lassen‚die...
Ist bekannt, ob SPACE (n) (die Klasse von Sprachen, die von deterministischen TMs mit linearem Raum erkannt werden) eine geeignete Teilmenge von E ist (die Klasse von Sprachen, die von deterministischen TMs in der Zeit 2 ^ O (n) erkannt
Dies ist eine etwas frivole Frage, die in meinem Kopf auftauchte, nachdem ich die verschiedenen Antworten auf "Was ist die" kleinste "Komplexitätsklasse, für die eine superlineare Schaltungsgrenze bekannt ist? " Gelesen habe . Die Antworten beziehen sich auf , und als ich mir den Zooeintrag danach...
Können Sie bitte entweder eine Referenz angeben oder bestimmte Beispiele für PSPACE-vollständige Probleme nennen, die in pseudo-polynomialer Zeit lösbar sind? Zusätzliche Hinweise: Definition der Pseudo-Polynom-Zeit: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Als Antwort auf einige zuvor...
Wie wir wissen, ist der Graphisomorphismus in NP, aber es ist nicht bekannt, dass er NP-vollständig oder P-vollständig ist. Ich habe mich gefragt, ob es Probleme gibt, von denen bekannt ist, dass sie in PSPACE vorhanden sind, von denen jedoch nicht bekannt ist, dass sie PSPACE-vollständig sind und...
Gibt es eine Trap-Door-ähnliche Funktion, deren Codierungskomplexität die Polynomzeit und deren invertierende Komplexität (ohne geheimen Schlüssel) auch eine Polynomfunktion in der Eingabelänge mit (sagen wir, und ist bedingungslos nachweisbar durch )? Was bedeuten solche Funktionen, wenn...
Ist das etwas über Sprachen bekannt, die vom bidirektionalen deterministischen Mehrkopfzählerautomaten oder Logspace TM mit Zähler (äquivalentes Modell) erkannt werden? Diese Klasse heißt Aux2DC in der Arbeit meines Beraters . Oder über solch eine nichtdeterministische Klasse? Ich habe erhalten,...
Ist es möglich, eine Reduzierung der Zählung von #SAT auf #HornSAT zu finden? Ich habe diese Frage hier nicht gefunden und habe mich daher entschlossen zu prüfen, ob jemand eine Antwort darauf hat. Lassen Sie mich erklären, was ich mit Reduktion zähle. Angenommen, sind zwei Zählprobleme. Zum...
Ich hoffe, diese Frage ist für diese Seite nicht zu naiv. In der Mathematik (Topologie, Geometrie, Algebra) ist es üblich, zwischen zwei Objekten zu unterscheiden, indem man eine algebraische oder numerische Invariante erstellt und beweist, dass die beiden Objekte unterschiedliche Werte haben. Ich...
Um Nicht-Mathematikern das P vs NP-Problem erklären zu können, hätte ich gerne ein pädagogisches Beispiel dafür, wann eine Brute-Force-Suche vermieden werden kann. Das Problem sollte im Idealfall sofort verständlich sein und der Trick sollte weder zu einfach noch zu schwer sein. Das Beste, was ich...
(Ich habe diese Frage vor zehn Tagen auf CS gepostet , seitdem keine Antwort mehr - also poste ich sie hier.) Jede CNF-Formel kann in Polynomzeit unter Verwendung neuer Variablen in eine 3-CNF-Formel umgewandelt werden. Es ist nicht immer möglich, wenn neue Variablen nicht zulässig sind (nehmen Sie...
Laut Handshaking Lemma: Jeder ungerichtete Graph mit einem Scheitelpunkt, dessen Grad eine ungerade Zahl ist, muss einen anderen Scheitelpunkt haben, dessen Grad eine ungerade Zahl ist. Diese Beobachtung bedeutet, dass wir, wenn wir ein Diagramm und einen Scheitelpunkt ungeraden Grades erhalten und...
Ich suche nach mehr Problemen in mit unteren Grenzen der klassischen Zeitkomplexität. Einige Leute fragen sich vielleicht, wie Sie eine solche Untergrenze beweisen können. Siehe unten.PPP Exponentielle Untergrenzen: Behauptung: Wenn Sie ein Problem , das unter Polynomreduktionen vollständig ist,...
In https://en.wikipedia.org/wiki/Geometric_complexity_theory wird erwähnt, dass ".. Ketan Mulmuley glaubt, dass das Programm, wenn es realisierbar ist, wahrscheinlich etwa 100 Jahre dauern wird, bis es das P vs. NP-Problem lösen kann". Es scheint darauf hinzudeuten, dass das einzige derzeit...
Kann der Schnittpunkt zweier Sprachen in NP, die nicht NP-vollständig sind, NP-vollständig sein? Kann die Schnittmenge zweier Sprachen in coNP, die nicht coNP vollständig sind, coNP vollständig sein? Kann der Schnittpunkt zweier Sprachen, eine in coNP, aber nicht vollständig, und eine andere in NP,...
Die ungleichmäßigen Versionen von P, NP und coNP sind P / Poly, NP / Poly und coNP / Poly. Ebenso können wir für jede Ebene in der PH eine ungleichmäßige Version definieren. Zum Beispiel: / poly von Problemen der Form besteht { x : ∃ y ∀ zΣ2Σ2\Sigma_2 , wobei C eine Schaltung mit Polynomgröße ist,...
Hintergrund Wir wissen, dass P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE . Außerdem wissen wir aus dem Satz von Toda, dass PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} . Weitere Hintergrundinformationen zu #P#P\#P finden Sie hier: https://en.wikipedia.org/wiki/Sharp-P Frage Gibt es ein Orakel AAA so dass...
Die Sprache Critical SAT ist definiert als die Menge der -Booleschen Formeln f, so dass f ∈ U N S A T, aber das Entfernen einer Klausel aus f es erfüllbar macht. Es ist bekannt, dass Critical SAT D P -vollständig ist. Frage ich mich um die folgende Variante: Bei einer gegebenen C N F Formel f , ist...