Als «relativization» getaggte Fragen

1
Ruzzo-Simon-Tompa Orakel-Zugangsmechanismus
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Betrachten Sie nun Schaltungsfamilien mit Orakeltoren - beispielsweise ABABA^B , wobei AAA eine Schaltungskomplexitätsklasse ist, die einen Lograum mit Orakelzugriff auf eine andere Klasse BBB über an die Basis von A angehängte Orakeltore enthält AAA. Gibt es pathologische Beispiele, die dem für solche Klassen bekannten Ladner-Lynch-Papier ähneln? …
4
Erfasst die Diagonalisierung das Wesen der Klassentrennung?
Ich kann mich nicht erinnern, eine Klassentrennung gesehen zu haben, die nicht auf Diagonalisierungs- und Relativierungsergebnissen basiert. Die Diagonalisierung könnte weiterhin verwendet werden, um verbleibende bekannte Klassen zu trennen, da nicht relativierende Argumente weiterhin in der Schlussfolgerung der Diagonalisierung oder in der diagonalisierten Turing-Maschinenkonstruktion verwendet werden könnten. Hier sind einige …
4
Oracle Ergebnisse auf P vs BPP
Sei ein EXP-Komplettproblem. Dann P A = N P A .EINAAP.EIN= N.P.EINPA=NPAP^A = NP^A Sei ein Orakel, das die Abfragen berücksichtigt, die M (ein TM in P) stellen wird, und wir können P B ≠ N P B erhalten .B.BBM.MMP.B.≠ N.P.B.PB≠NPBP^B \neq NP^B Frage: Haben wir ähnliche Orakelergebnisse für P …
1
Welten, auf denen es keine „unverwundbaren Generatoren“ gibt
Unverwundbare Generatoren sind wie folgt definiert: Sei eine NP-Beziehung und eine Maschine, die akzeptiert . Informell ist ein Programm ein unverwundbarer Generator, wenn es bei Eingabe Instanz-Zeugen-Paare mit , gemäß einer Verteilung, unter der jeder Gegner mit Polynomzeit, dem gegeben wird , keinen Zeugen findet, dass mit erkennbarer Wahrscheinlichkeit für …
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 …
1
Gibt es ein Orakel so dass ?
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 (P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq PSPACE^{A} ?
2
Ist die Relativierung gut definiert?
Nach BGS - Theorem [1], gibt es eine Oracle , so dass .P A ≠ N P A.AAAPA≠NPAPA≠NPAP^A\neq NP^A Wenn die Relativierungsoperation eine genau definierte Funktion wäre, würde man erwarten, dass man aus schließen könnte, dass , z. B. , daraus folgen würde BGS. Allerdings ist noch offen.B A ≠ …
1
Ist
Betrachten Sie jede Sprache . Definieren Sie s ( L ) ∈ { 0 , 1 } ω (eine unendliche Folge von Bits) durch die rekursive FormelLLLs(L)∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL(s(L)&lt;n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) |s&lt;2n|=2n|s&lt;2n|=2n|s_{<2n}| = 2n V∉PV∉PV \notin \mathsf{P}VVVEE\mathsf{E} VVVPV=NPVPV=NPV\mathsf{P}^V=\mathsf{NP}^V Ich bin besonders daran interessiert, entweder ein spezifisches …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.