Als «pspace» getaggte Fragen

3
Ist diese Variante von TQBF noch PSPACE-vollständig?
Entscheiden, ob eine quantifizierte Boolesche Formel wie ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), Immer wahr zu bewerten ist ein klassisches PSPACE-vollständiges Problem. Dies kann als ein Spiel zwischen zwei Spielern mit abwechselnden Zügen angesehen werden. Der erste Spieler bestimmt den Wahrheitswert der ungeradzahligen Variablen …


1
Was ist das Orakel mit der minimalen Komplexität, das PSPACE von der Polynom-Hierarchie trennt?
Hintergrund Es ist bekannt, dass es ein Orakel AAA , das .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Es ist sogar bekannt, dass die Trennung relativ zu einem zufälligen Orakel gilt. Informell kann man dies so interpretieren, dass es viele Orakel gibt, für die und getrennt sind.P HPSPACEPSPACEPSPACEPHPHPH Frage Wie kompliziert sind diese Orakel, …

1
Bedeutet PSPACE-Vollständigkeit eine Approximationshärte?
In einem Kommentar in einem anderen cstheorySE-Post wird erwähnt, dass PSPACE-Vollständigkeit APX-Härte impliziert. Kann jemand bitte eine Referenz dafür erklären / teilen? Ist das "eng"? (dh gibt es PSPACE-vollständige Probleme, deren Optimierungsproblem eine konstante Faktorapproximation in Polyzeit zulässt?) Was ist mit der Vollständigkeit für ein bestimmtes PH-Niveau? Bedeutet dies eine …

1
Wurden diese Färbespiele gelöst?
In dem Artikel "Über die Komplexität einiger Malvorlagen" gibt Bodlaender einige offene Fragen zur Komplexität der Entscheidung, ob Spieler 1 oder 2 in einigen Grafik-Malvorlagen eine Gewinnstrategie verfolgt. Weiß jemand, ob sie gelöst wurden? 1) In einem Spiel wählen zwei Spieler abwechselnd einen Scheitelpunkt in einer Grafik aus und färben …



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 …

1
Folgen eines Destillationsalgorithmus für PSPACE
Der folgende Begriff eines Destillationsalgorithmus stammt aus "Über Probleme ohne Polynomkerne". Es sei eine Sprache gegeben. Ein Destillationsalgorithmus für nimmt eine gegebene Liste von Eingabezeichenfolgen und berechnet eine Ausgabezeichenfolge :LLL{ x i } i ∈ [ t ] yLLL{xi}i∈[t]{xi}i∈[t]\{ x_i \}_{i \in [t]}yyy (1) genau dann, wenn es so dassi …

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} ?

1
Savitch verwendet Messbarkeit
In Savitchs Arbeit von 1969 "Beziehungen zwischen nichtdeterministischen und deterministischen Bandkomplexitäten" stellt er fest, dass "alle gängigen Speicherfunktionen L (n)> = lg n messbar sind. Insbesondere ist jedes Polynom in n und lg n messbar." Seine Definition von messbar lautet: "Eine Funktion L (n) gilt als messbar, wenn es eine …
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.