Als «complexity-classes» getaggte Fragen

Computerkomplexitätsklassen und ihre Beziehungen

1
Vermutung: Alle FPT NP-vollständigen Sprachen sind isomorph mit festen Parametern
Berman-Hartmanis-Vermutung: Alle NP-vollständigen Sprachen sehen gleich aus, in dem Sinne, dass sie durch polynomielle Zeitisomorphismen miteinander in Beziehung gesetzt werden können [1]. Ich interessiere mich für eine feinkörnigere Version der "Polynomzeit", wenn wir parametrisierte Reduktionen verwenden. Ein parametrierte Problem ist eine Teilmenge von , wobei Σ eine endliche Alphabet und …
1
Können Differentialgleichungen in ihre eigenen Komplexitätsklassen eingeteilt werden?
Dank der Komplexität der Berechnungen wurden die Probleme insgesamt klassifiziert. Aber ist es in Differentialgleichungen möglich, Differentialgleichungen in Abhängigkeit von ihrer Rechenstruktur zu klassifizieren? Wenn beispielsweise eine inhomogene Gleichung erster Ordnung vergleichsweise schwer zu lösen ist als eine homogene Gleichung 100. Ordnung, können sie dann als separate Konvexitätsklassen klassifiziert werden, …
1
Ein natürliches Problem in
Die Komplexitätsklasse ist wie folgt definiert (aus Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Eine Sprache ist in S P 2, wenn ein Polynom-Zeit-Prädikat P existiert, so dassLLLSP2S2PS_2^PPPP Wenn , existiert ein y, so dass für alle z , P ( x , y , z ) = 1 istx∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Wenn , so …
3
Was ist die schnellste bekannte BPP-Simulation mit Las Vegas-Algorithmen?
BPPBPP\mathsf{BPP} undZPPZPP\mathsf{ZPP} sind zwei grundlegende probabilistische Komplexitätsklassen. BPPBPP\mathsf{BPP} ist die Klasse von Sprachen, die durch probabilistische Polynomzeit-Turing-Algorithmen bestimmt wird, bei denen die Wahrscheinlichkeit, dass der Algorithmus eine falsche Antwort zurückgibt, begrenzt ist, dh die Fehlerwahrscheinlichkeit beträgt höchstens1313\frac{1}{3} (sowohl für JA als auch für NEIN). Andererseits können ZPPZPP\mathsf{ZPP} -Algorithmen als solche …
1
Ist deterministische Pseudozufälligkeit möglicherweise stärker als Zufälligkeit parallel?
Die Klasse BPNC (die Kombination von und N C ) sei ein logarithmischer paralleler Algorithmus mit begrenzter Fehlerwahrscheinlichkeit und Zugriff auf eine zufällige Quelle (ich bin mir nicht sicher, ob dieser einen anderen Namen hat). Definieren Sie die Klasse DBPNC auf ähnliche Weise, mit der Ausnahme, dass alle Prozesse zufälligen …
2
Über Inverse 3-SAT
Kontext : Kavvadias und Sideri haben gezeigt, dass das inverse 3-SAT-Problem coNP Complete ist: Gibt es bei einer Reihe von Modellen für n Variablen eine 3-CNF-Formel, bei der ϕ die genaue Menge von Modellen ist? Es entsteht eine unmittelbare Kandidatenformel, die die Konjunktion aller 3-Klauseln ist, die von allen Modellen …
2
Eine Variante von Critical SAT in DP
Eine Sprache gehört zur Klasse wenn es zwei Sprachen und so dassLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Ein kanonisches vollständiges Problem ist SAT-UNSAT: Ist es bei zwei 3-CNF-Ausdrücken, und , wahr, dass erfüllbar ist und nicht?DPDPDPFFFGGGFFFGGG Es ist auch bekannt, dass das kritische SAT-Problem vollständig ist: Ist …
1
Könnte eine beschreibende Komplexitätsversion von Rices Theorem verwendet werden, um AC0 und PSPACE zu trennen?
In dieser Frage wurde erwähnt, dass es beschreibende Komplexitätsversionen des Satzes von Rice gibt. Ich habe einen Beweis für den folgenden Satz gefunden: Bei einer Komplexitätsklasse C können nichttriviale Eigenschaften von Sprachen in C nicht in C berechnet werden Ich hatte zuvor den gefundenen Beweis veröffentlicht, aber weil er so …
2
Ist eine Komplexitätsklasse bekannt, die Online-Gegenstücke zu Optimierungsproblemen enthält?
Ist eine Komplexitätsklasse bekannt, die Online-Gegenstücke zu Optimierungsproblemen enthält? Wenn nicht, wie kann eine solche Klasse definiert werden? Wir wissen, dass viele Probleme ihre Online-Version haben: zB Online-Version des Papierverpackungsproblems. Die Online-Probleme sind schwieriger, gemessen an ihren Wettbewerbsverhältnissen. Und ich habe im Komplexitätszoo nichts Ähnliches gefunden . Grundsätzlich kann man …
1
Was sind die Komplexitäten der folgenden SAT-Untergruppen?
Angenommen, P.≠ N.P.P≠NPP \neq NP Verwenden Sie die folgende Notation für tetration (dh.icheinia{}^ia ).icha = aein⋅⋅⋅einich malia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | ist die Größe der Instanz x. Sei L eine Sprache, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L …
5
Komplexitätsklassen für andere Fälle als den „schlimmsten Fall“
Haben wir Komplexitätsklassen beispielsweise in Bezug auf die durchschnittliche Fallkomplexität? Gibt es zum Beispiel eine (benannte) Komplexitätsklasse für Probleme, deren Entscheidung die erwartete Polynomzeit benötigt? Eine andere Frage berücksichtigt die Best-Case- Komplexität, die im Folgenden beispielhaft dargestellt wird: Gibt es eine Klasse von (natürlichen) Problemen, deren Entscheidung mindestens exponentielle Zeit …
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.