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...
Es ist bekannt, dass das folgende Problem PSPACE-vollständig ist: Ist wenn der reguläre Ausdruck ist ?L ( β ) = Σ *ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Was ist mit der Bestimmung der Äquivalenz zu anderen (festen) regulären Ausdrücken ?αα\alpha Unter normalen Ausdruck , tut ?L ( β ) = L ( α...
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...
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...
Dieses Papier gibt einen Beweis dafür, dass es in einem Spiel mit Türen und Druckplatten PSPACE-schwer ist, zu bestimmen, ob der Avatar (des Spielers) einen bestimmten Ort erreichen kann oder nicht. Dies wird durch eine Reduktion von TQBF bewiesen , und die Länge der resultierenden Lösungen hängt...
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...
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...
Betrachten Sie die vollständigen Informationen zu kombinatorischen Spielen für zwei Spieler, die nach einer Polynomanzahl von Zügen enden. Abwechselnd wählen die Spieler aus einer endlichen Anzahl zulässiger Züge. Die übliche Frage ist, wie schwierig es ist, aus einer bestimmten Position den...
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]\{...
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...
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...