Log-Space-Uniform NC ist im deterministischen Polylog-Space enthalten (manchmal geschriebenes PolyL). Gehört RNC auch zu dieser Klasse? Die standardmäßige randomisierte Version von PolyL sollte in PolyL vorliegen, aber ich sehe nicht, dass (einheitliche) RNC in randomisiertem PolyL vorliegt. Die...
Parität-L ist die Menge von Sprachen, die von einer nicht-deterministischen Turing-Maschine erkannt werden und die nur zwischen einer geraden oder ungeraden Anzahl von "Akzeptanz" -Pfaden (anstelle einer Null- oder einer Nicht-Null-Anzahl von Akzeptanzpfaden) unterscheiden kann weiter auf die...
Beim Lesen des Artikels "Ist es an der Zeit, den Sieg bei der Zählung der Komplexität zu erklären?" über an dem „Gödels verlorenen Brief und P = NP“ Blog, erwähnte sie die Dichotomie für CSPs. Nachdem ich ein paar Links gefolgt, gegoogelt und Wikipeds gemacht hatte, stieß ich auf Ladners Theorem :...
Shiva Kintali hat gerade eine (cool!) Angekündigt führen , dass Graphisomorphie für beschränkte Baumweite Graphen der Breite heißt -hard⊕ L≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informell ist meine Frage: "Wie schwer ist das?" Wir wissen, dass ungleichmäßig ist , siehe die Antworten auf diese Frage . Wir...
Gibt es in irgendwelche natürlichen Probleme , die in nicht vorhanden sind (von denen bekannt ist, dass sie es sind) ?NP∩ c o NPNP∩cONPNP \cap coNPUP∩ c o UPUP∩cOUPUP \cap coUP Offensichtlich ist die große, die jeder in kennt, die Entscheidungsversion des Factorings (hat n einen von höchstens k),...
Die Untersuchung der prägnanten Darstellung von Graphen wurde von Galperin und Wigderson in einem Artikel von 1983 initiiert , in dem sie nachweisen, dass für viele einfache Probleme wie das Finden eines Dreiecks in einem Graphen die entsprechende prägnante Version in vollständig ist. Papadimitriou...
Was wären die Konsequenzen von #P = FP? Ich interessiere mich sowohl für praktische als auch für theoretische Konsequenzen. Aus praktischer Sicht interessieren mich insbesondere die Konsequenzen für die künstliche Intelligenz. Hinweise auf Papiere oder Bücher sind ausdrücklich erwünscht. Bitte...
Kürzlich hat Ryan Willams bewiesen, dass Konstruktivität in natürlichem Beweis unvermeidbar ist, um eine Trennung der Komplexitätsklassen abzuleiten: und . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Die Konstruktivität in Natural Proof ist eine Bedingung, die alle kombinatorischen Beweise...
, ich verstehe, dass der Auffülltrick es uns ermöglicht, Komplexitätsklassen nach oben zu übersetzen - zum Beispiel . Das Auffüllen funktioniert, indem die Eingabe "aufgeblasen" und die Konvertierung ausgeführt wird (etwa von in P ). Dies ergibt einen "magischen" Algorithmus, den Sie für die...
Es gibt eine reiche Literatur und mindestens ein sehr gutes Buch, in dem die bekannte Härte von Näherungsergebnissen für NP-harte Probleme im Zusammenhang mit multiplikativen Fehlern dargelegt ist (z. B. ist die 2-Näherung für die Vertex-Abdeckung unter der Annahme von UGC optimal). Dies schließt...
Dies hängt mit der Frage zusammen, ob die Mitgliederzahl der Zeugen für jede NP-Sprache bereits bekannt ist. Einige natürliche (-vollständige) Probleme haben Zeugen linearer Länge: eine befriedigende Zuordnung für S A T , eine Folge von Eckpunkten für H A M P A T H
Die Komplexitätstheorie unterscheidet anhand von Konzepten wie der NP-Vollständigkeit zwischen Rechenproblemen mit relativ effizienten Lösungen und solchen, die nicht zu lösen sind. "Feinkörnige" Komplexität zielt darauf ab, diese qualitative Unterscheidung in einen quantitativen Leitfaden für die...
Betrachten Sie Optimierungsprobleme der folgenden Form. Sei eine polynomiell berechenbare Funktion, die eine Zeichenkette in eine rationale Zahl abbildet . Das Optimierungsproblem lautet: Was ist der Maximalwert von über Bit-Strings ?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Nehmen wir an,...
Was sind die überzeugenden Gründe für die Annahme von ? L ist die Klasse von Log-Space-Algorithmen mit Zeigern auf die Eingabe.L≠PL≠PL\neq P Angenommen, L = P für den Moment. Wie würde ein Log-Space-Algorithmus für ein P-complete-Problem in seinen allgemeinen Umrissen
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 Artikel oder Ideen, die davon überzeugen,...
In diesem Thread wird Norbet Blums versuchter P≠NPP≠NPP \neq NP Beweis kurz widerlegt, indem festgestellt wird, dass die Tardos-Funktion ein Gegenbeispiel zu Satz 6 ist. Satz 6 : Sei f∈Bnf∈Bnf \in \mathcal{B}_n eine monotone Boolesche Funktion. Angenommen, es gibt einen CNF-DNF-Approximator...
Dies ist eine Art offene Frage, für die ich mich im Voraus entschuldige. Gibt es Beispiele für Aussagen, die (scheinbar) nichts mit Komplexität oder Turing-Maschinen zu tun haben, deren Antwort aber implizieren würde ?P≠NPP≠NP\mathbf{P}\neq
Als ich eine Antwort von Peter Shor und eine frühere Frage von Adam Crume las, stellte ich fest, dass ich einige falsche Vorstellungen darüber habe, was es bedeutet, hart zu sein.PP\mathsf{P} Ein Problem ist hart, wenn ein Problem in P mit L- Reduktionen (oder wenn Sie N C- Reduktionen bevorzugen )...
Ist BQP gleich BPP mit Zugang zu einem Orakel der verborgenen Abelschen
Gibt es ein Beispiel für ein natürliches Problem, das in BPP vorkommt, bei RP oder Co-RP jedoch nicht bekannt