Als «complexity-classes» getaggte Fragen

Fragen zu Beziehungen zwischen Komplexitätsklassen.

2
Warum glauben wir, dass PSPACE EXPTIME ist?
Ich habe intuitiv Probleme zu verstehen, warum PSPACE im Allgemeinen anders ist als EXPTIME. Wenn PSPACE die Menge der Probleme ist, die im Raumpolynom in der Eingabegröße lösbar sind , wie kann es dann eine Klasse von Problemen geben, die einen größeren exponentiellen Zeitsprung erfahren und den exponentiellen Raum nicht …
3
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 haben müssen?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not …
1
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 Beweis: Nach Theorem 5.4 genügt es, um PH zu zeigen, dass und …
2
Gibt es etablierte Komplexitätsklassen mit reellen Zahlen?
Ein Student hat mich kürzlich gebeten, einen NP-Härtenachweis für sie zu prüfen. Sie führten eine Reduktion nach folgenden Grundsätzen durch: Ich reduziere dieses Problem P′P′P' , von dem bekannt ist, dass es NP-vollständig ist, auf mein Problem PPP (mit einer mehrmaligen Vielfachreduktion), also ist PPP NP-hart. Meine Antwort war im …
1
Gibt es bekannte Probleme mit AM-complete / ist AM-complete gut definiert?
Ich bin gespannt, ob es in der Arthur-Merlin-Komplexitätsklasse vollständige Probleme gibt. Der Graph Non-Isomorphism (GNI) scheint das kanonische Beispiel für ein Problem in AM zu sein, aber es ist wahrscheinlich kein vollständiges. Ich frage mich wahrscheinlich auch, ob ein "vollständiges" Problem für AM gut definiert ist. Da AM = BP.NP, …
1
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 P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Aber was bedeutet ? Ich kann einfach nicht folgen, …
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.