Theoretische Informatik advice-and-nonuniformity

3

Es wird vermutet, dass da die Umkehrung \ mathsf {PH} = \ Sigma_2 implizieren würde . Ladners Theorem besagt, dass wenn \ mathsf {P} \ ne \ mathsf {NP}, dann \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ …

29 cc.complexity-theory complexity-classes advice-and-nonuniformity p-vs-np np-intermediate

1

Probleme in NP, aber nicht in Average-P / Poly

Das Karp-Lipton-Theoem besagt, dass wenn , dann P H zu Σ P 2 zusammenbricht . Unter der Annahme , Trennungen zwischen Σ P 2 und Σ P 3 , kein N P -komplette Problem wird gehört P / p o l y .N P ⊂ P / p o l …

20 cc.complexity-theory np conditional-results advice-and-nonuniformity average-case-complexity

1

Was sind die Konsequenzen von

Eine Sprache ist in , wenn es eine logspace Turingmaschine vorhanden ist , der die Sprache mit Polynom Menge Rat entscheidet.L/polyL/polyL/poly Weitere Informationen finden Sie hier: https://en.wikipedia.org/wiki/L/poly Frage Was sind die Konsequenzen von ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory circuit-complexity polynomial-time advice-and-nonuniformity logspace

1

Hat P / poly NP / poly interessante Implikationen?

P / P o l y = N P / p o l y N P ⊆ P / p o l yP/poly=NP/polyP/poly = NP/poly impliziert , was wiederum interessante Konsequenzen wie den Zusammenbruch der Polynomhierarchie hat.NP⊆P/polyNP \subseteq P/poly Gibt es interessante Implikationen für ?P / P o l y …

12 cc.complexity-theory conditional-results advice-and-nonuniformity

1

Verallgemeinert sich der Satz der Raumhierarchie auf ungleichmäßige Berechnungen?

Allgemeine Frage Verallgemeinert sich der Satz der Raumhierarchie auf ungleichmäßige Berechnungen? Hier sind einige spezifischere Fragen: Ist ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Für alle Räume konstruierbar Funktionen f(n)f(n)f(n) , ist DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Für welche Funktionen h(n)h(n)h(n) ist bekannt, dass: für den gesamten Raum f (n) konstruierbar ist f(n)f(n)f(n), DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq …

11 cc.complexity-theory space-bounded space-complexity advice-and-nonuniformity hierarchy-theorems

1

Wurde die Derandomisierung leicht ungleichmäßiger Klassen, z. B. BPP / linear, untersucht?

Mit BPP / linear beziehe ich mich auf BPP-Maschinen mit linearen Ratschlägen, die das Versprechen erfüllen, wenn sie den "richtigen" Rat geben, und die Derandomisierung sollte uns beispielsweise einen P / linearen oder (SUBEXP / linearen) Algorithmus geben. Wenn wir uneinheitliche Annahmen verwenden, sollten klassische Ergebnisse funktionieren, da wir ungleichmäßige …

10 cc.complexity-theory derandomization advice-and-nonuniformity

3

Was sind Beispiele dafür, wie Ungleichmäßigkeit nützlich sein kann?

Ich bin gespannt, wie Sie festgestellt haben, dass Ungleichmäßigkeiten bei der Berechnung hilfreich sind. Ein Weg ist die Zufälligkeit, wie in , und ein anderer ist Nachschlagetabellen, die zeigen, dass alle Sprachen ungleichmäßige Schaltkreise haben.B P.P.⊆ P./ polyBPP⊆P/polyBPP \subseteq P/poly Insbesondere interessiert mich, wie Objekte, von denen bekannt ist, dass …

9 circuit-complexity advice-and-nonuniformity

1

Kann ein zufälliges Orakel ändern, welche TFNP-Probleme im Durchschnitt stark sind?

Ich habe zu verschiedenen Zeiten über die folgende Frage nachgedacht, seit ich diese Frage zur Kryptographie gesehen habe . Frage Sei eine TFNP- Beziehung. Kann ein zufälliges Orakel P / Poly helfen , R mit nicht zu vernachlässigender Wahrscheinlichkeit zu brechen ? Formaler, R.RRR.RR \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Tut für …

9 cr.crypto-security relativization advice-and-nonuniformity search-problem random-oracles

1

Uneinheitliche vs. einheitliche Gegner

Diese Frage stellte sich im Zusammenhang mit der Kryptographie, aber ich werde sie im Folgenden in Bezug auf die Komplexitätstheorie vorstellen, da die Menschen hier mit letzterer besser vertraut sind. Diese Frage bezieht sich auf Probleme in NP, jedoch nicht auf Average-P / Poly und Beating Nonuniformity von Oracle Access …

9 cc.complexity-theory cr.crypto-security np advice-and-nonuniformity average-case-complexity

1

Trennung von Klassen mit unterschiedlichen Ratschlägen?

Mit dem Zeithierarchiesatz kann man zeigen, dass es beispielsweise Probleme in P gibt, die von einer Turing-Maschine nicht in einer Zeit gelöst werden können, die kleiner als const * n ^ 2 ist. Aber geben Sie der Turing-Maschine einige Ratschläge und alle Wetten sind geschlossen. Man kann noch nicht zeigen, …

9 cc.complexity-theory lower-bounds circuit-complexity advice-and-nonuniformity separation

Als «advice-and-nonuniformity» getaggte Fragen