Ich dachte, ich würde diese Frage teilen, da sie für andere Benutzer hier interessant sein könnte. Nehmen wir an, dass eine Funktion, die zu einer einheitlichen Klasse gehört (wie ), auch zu einer kleinen ungleichmäßigen Klasse gehört (wie , dh ungleichmäßige ), bedeutet, dass die Funktion zu einer...
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 \ emptyset . Der Beweis scheint jedoch nicht auf \ mathsf...
Ich möchte wissen, ob Ungleichmäßigkeit die Rechenfunktionen in der Praxis unterstützt. Es ist leicht zu zeigen, dass es Funktionen in , eine nicht berechenbare Funktion und die Sprache { } zu berücksichtigen , die eindeutig einfache uneinheitliche Schaltungen aufweist , ist aber überhaupt nicht...
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 yNP⊂P/pOly\mathsf{NP} \subset \mathsf{P/poly}P
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...
Wenn ein Algorithmus in der Zeit abläuft, können wir ihn für das gleiche Größenproblem in eine "triviale" einheitliche Schaltkreisfamilie umwandeln, höchstens .≈ t ( n ) log t ( n )t ( n )t(n)t(n)≈ t ( n ) logt ( n )≈t(n)Logt(n)\approx t(n)\log t(n) Andererseits könnte es sein, dass wir für dieses...
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 ≠ N P / p o l yP/poly≠NP/polyP/poly \neq...
Der Lehrassistent eines Kurses hat es geschafft, ein Programm zu schreiben, das (deterministisch) schwierige Prüfungsfragen erzeugt. Jetzt möchte sie ein Programm schreiben, das die entsprechenden Antworten generiert. Das Problem des Prüfers fragt, ob dies immer möglich ist. der Prüfer Vermutung...
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
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...
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...
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...
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...
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...