Als «complexity-classes» getaggte Fragen

Computerkomplexitätsklassen und ihre Beziehungen

2
Intuition für die UP-Klasse
Die UP-Klasse ist als solche definiert : Die Klasse von Entscheidungsproblemen, die von einer NP-Maschine so gelöst werden können, dass Wenn die Antwort "Ja" lautet, wird genau ein Berechnungspfad akzeptiert. Wenn die Antwort "Nein" lautet, werden alle Berechnungspfade abgelehnt. Ich versuche, eine Intuition für diese Definition zu entwickeln. Kann man …
1
Syntaktische Komplexitätsklasse so dass
Es ist bekannt, dass einige (nicht relativierte) syntaktische Komplexitätsklassen zwischen PP{\bf P} und PSPACEPSPACE{\bf PSPACE} die folgende Eigenschaft haben: P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} . Ich frage mich, ob es eine (nicht relativierte) syntaktische Komplexitätsklasse XX{\bf X} so …
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? …
1
Wie komplex ist es, die Anzahl der Lösungen eines P-Space Complete-Problems zu zählen? Wie wäre es mit Klassen mit höherer Komplexität?
Ich denke, es würde # P-Space heißen, aber ich habe nur einen Artikel gefunden, der es vage erwähnt. Wie wäre es mit der Zählversion von EXP-TIME-Complete-, NEXP-Complete- und EXP-SPACE-Complete-Problemen? Gibt es frühere Arbeiten, die man in Bezug auf diese oder irgendeine Art von Einschluss oder Ausschluss wie Todas Theorem zitieren …
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
Komplexitätsklasse NEXP
Ich habe ein Problem, das sich in NEXP NP befindet und auch durch ein alternierendes TM mit exponentieller Zeit und nur einem Wechsel (beginnend in einem existenziellen Zustand) gelöst werden kann.NPNP^{\text{NP}} Ist etwas über NEXP NP bekannt ? Ist es gleich NEXP oder einer anderen Klasse? Gibt es andere als …
3
Welche Algorithmen können mit einer Gesamtfunktionssprache mit datenparallelen Operatoren ausgedrückt werden?
Stellen Sie sich eine funktionale Programmiersprache vor, deren einzige Datentypen numerische Skalare und beliebige Verschachtelungen von Arrays sind. Der Sprache fehlen alle Mittel zur unbegrenzten Iteration, daher sind die folgenden nicht zulässig: explizite Schleifen (ohne Nebenwirkungen sowieso nicht viel zu gebrauchen) Rekursion beliebige erstklassige Funktionen (kein y-Kombinator) Die Sprache hat …
3
Zwei Varianten von NP
Hier sind zwei Variationen der Definition von NP. Sie definieren (mit ziemlicher Sicherheit) unterschiedliche Komplexitätsklassen, aber meine Frage ist: Gibt es natürliche Beispiele für Probleme, die in diese Klassen passen? (Meine Schwelle für das, was hier als natürlich gilt, ist etwas niedriger als gewöhnlich.) Klasse 1 (eine Superklasse von NP): …
2
Beispiel für etwas, das sich für generische und zufällige Orakel unterscheidet?
Sei GGG ein generisches Orakel im Sinne der Kategorie Cohen / Baire. Sei RRR ein zufälliges Orakel. Gibt es Komplexitätsklassen A und B mit AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R oder umgekehrt, AG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Die Frage wurde von einem Kommentar von Scott Aaronson inspiriert .
2
Sind Orakel assoziativ?
Diese Frage mag eine offensichtliche Antwort haben ... aber hier ist die Frage trotzdem. Intuitiv ist es die folgende plausible Aussage: "Eine Maschine mit einer Subroutine A, die wiederum eine Subroutine B hat, ist dieselbe wie eine Maschine mit einer Subroutine A, die Zugriff auf Subroutine B hat". Um dieses …
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.