Als «complexity-classes» getaggte Fragen

Fragen zu Beziehungen zwischen Komplexitätsklassen.

19
Bedeutet

Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Ist es möglich, dass und die Kardinalität von der Kardinalität von ? Oder bedeutet , dass und unterschiedliche Kardinalitäten...

14
Beweis des Karp-Lipton-Theorems

Ich versuche, den Beweis des Karp-Lipton-Theorems zu verstehen, wie er im Buch "Computational Complexity: A modern approach" (2009) dargelegt ist. In diesem Buch heißt es insbesondere: Karp-Lipton-Theorem Wenn NP , dann ist PH .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2...

12
Was ist Komplexitätsklasse

Was bedeutet die Komplexitätsklasse ? Ich weiß, dass die Komplexitätsklasse ist, die Sprachen enthält, für die es eine polynomielle zeitlich nicht deterministische Turing-Maschine so dass wenn die Anzahl der Akzeptanzzustände der Maschine am Eingang ungerade ist.⊕P⊕P⊕P⊕P\oplus P^{\oplus...

11
Warum ist NP in EXPTIME?

Gibt es eine einfache Möglichkeit zu erkennen, warum NP in EXPTIME ist? Es scheint mir a priori denkbar, dass es ein Problem geben könnte, dessen Lösung eine überexponentielle Zeit erfordert, dessen Lösung jedoch in Polynomzeit verifiziert werden

10
Beweisen, dass wenn

Ich würde mich sehr über Ihre Hilfe beim Nachweis des Folgenden freuen. Wenn dann ist .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N P.P=NP\mathrm{P}=\mathrm{NP} Hier ist die Klasse aller Sprachen, die von einer...